Directory listing for gf-3.5 source tarball

gf-3.5/examples/

RDF/
- RDF.gf
SUMO/
- Basic.gf
- BasicBul.gf
- BasicEng.gf
- BasicFre.gf
- BasicRon.gf
- BasicSwe.gf
- Birds.gf
- BirdsBul.gf
- BirdsEng.gf
- BirdsSwe.gf
- Communications.gf
- CountriesAndRegions.gf
- CountriesAndRegionsEng.gf
- CountriesAndRegionsRon.gf
- Economy.gf
- EconomyEng.gf
- EconomyFre.gf
- EconomyRon.gf
- Elements.gf
- ElementsEng.gf
- Engineering.gf
- EngineeringEng.gf
- EngineeringFre.gf
- EngineeringRon.gf
- FinancialOntology.gf
- Geography.gf
- GeographyEng.gf
- Government.gf
- Merge.gf
- MergeBul.gf
- MergeEng.gf
- MergeFre.gf
- MergeRon.gf
- MergeSwe.gf
- MidLevelOntology.gf
- MidLevelOntologyEng.gf
- MidLevelOntologyFre.gf
- MidLevelOntologyRon.gf
- Military.gf
- Mondial.gf
- MondialEng.gf
- QoSontology.gf
- QoSontologyEng.gf
- QoSontologyFre.gf
- QoSontologyRon.gf
- SUMO.gf
- SUMOBul.gf
- SUMOEng.gf
- SUMOFre.gf
- SUMORon.gf
- SUMOSwe.gf
- Transportation.gf
- WMD.gf
- WorldAirportsA_K.gf
- WorldAirportsL_Z.gf
- RGLExt/
  - DictLang.gf
  - DictLangEng.gf
  - DictLangFre.gf
  - DictLangRon.gf
  - Extension.gf
  - ExtensionEng.gf
  - ExtensionFre.gf
  - ExtensionRon.gf
  - ExtraLexicon.gf
  - ExtraLexiconFre.gf
  - ExtraLexiconRon.gf
  - ParamBasic.gf
- TPTP/
  - CommunicationsAx.p
  - CommunicationsLemAx.p
  - CommunicationsPredAx.p
  - CountriesAndRegionsAx.p
  - CountriesAndRegionsLemAx.p
  - EconomyAx.p
  - EconomyLemAx.p
  - EconomyPredAx.p
  - EconomySubAttAx.p
  - FinancialOntologyAx.p
  - FinancialOntologyLemAx.p
  - GeographyAx.p
  - GeographyLemAx.p
  - GeographyPredAx.p
  - GeographySubAttAx.p
  - GovernmentAx.p
  - GovernmentLemAx.p
  - GovernmentPredAx.p
  - GovernmentSubAttAx.p
  - MergeAx.p
  - MergeLemAx.p
  - MergePredAx.p
  - MergeSubAttAx.p
  - Mid_level_ontologyAx.p
  - Mid_level_ontologyLemAx.p
  - Mid_level_ontologyPredAx.p
  - Mid_level_ontologySubAttAx.p
  - MilitaryAx.p
  - MilitaryLemAx.p
  - MilitaryPredAx.p
  - QoSOntologyAx.p
  - QoSOntologyLemAx.p
  - TransportationAx.p
  - TransportationLemAx.p
  - TransportationPredAx.p
  - WMDAx.p
  - WMDLemAx.p
  - WMDPredAx.p
  - WMDSubAttAx.p
  - WorldAirportsA_KAx.p
  - WorldAirportsA_KPredAx.p
  - WorldAirportsL_ZAx.p
  - WorldAirportsL_ZPredAx.p
  - elementsAx.p
  - elementsLemAx.p
  - elementsPredAx.p
  - engineeringAx.p
  - engineeringLemAx.p
  - mondialAx.p
  - mondialPredAx.p
  - test1.p
  - test2.p
  - test3.p
- axioms/
  - Communications.gft
  - CountriesAndRegions.gft
  - CountriesAndRegionsP.gft
  - Economy.gft
  - EconomyHiO.gft
  - EconomyP.gft
  - EconomySubAtt.gft
  - EconomySubRel.gft
  - Either.gft
  - ExtraLem.gft
  - FinancialOntology.gft
  - FinancialOntologyHiO.gft
  - FinancialOntologySubRel.gft
  - Geography.gft
  - GeographyHiO.gft
  - GeographyP.gft
  - GeographySubAtt.gft
  - GeographySubRel.gft
  - Government.gft
  - GovernmentHiO.gft
  - GovernmentP.gft
  - GovernmentSubAtt.gft
  - GovernmentSubRel.gft
  - Merge.gft
  - MergeHiO.gft
  - MergeP.gft
  - MergeSubAtt.gft
  - MergeSubRel.gft
  - Mid_level_ontology.gft
  - Mid_level_ontologyHiO.gft
  - Mid_level_ontologyP.gft
  - Mid_level_ontologySubAtt.gft
  - Mid_level_ontologySubRel.gft
  - Military.gft
  - MilitaryP.gft
  - QoSOntology.gft
  - QoSOntologySubRel.gft
  - Transportation.gft
  - TransportationP.gft
  - TransportationSubRel.gft
  - WMD.gft
  - WMDP.gft
  - WMDSubAtt.gft
  - WorldAirportsA-KP.gft
  - WorldAirportsL-ZP.gft
  - elements.gft
  - elementsP.gft
  - engineering.gft
  - engineeringHiO.gft
  - engineeringP.gft
  - mondialP.gft
animals/
- Animals.gf
- AnimalsEng.gf
- AnimalsFre.gf
- AnimalsSwe.gf
- OldQuestionsI.gfe
- Questions.gf
- QuestionsEng.gf
- QuestionsFre.gf
- QuestionsI.gf
- QuestionsI.gfe
- QuestionsSwe.gf
attempto/
- Attempto.gf
- Attempto1.gf
- AttemptoEng.gf
- AttemptoFin.gf
- AttemptoFre.gf
- AttemptoGer.gf
- AttemptoI.gf
- AttemptoIta.gf
- AttemptoSwe.gf
- AttemptoUrd.gf
- LexAttempto.gf
- LexAttemptoEng.gf
- LexAttemptoFin.gf
- LexAttemptoFre.gf
- LexAttemptoGer.gf
- LexAttemptoIta.gf
- LexAttemptoSwe.gf
- LexAttemptoUrd.gf
- Symbols.gf
- SymbolsC.gf
- TestAttempto.gf
- TestAttemptoEng.gf
- TestAttemptoFin.gf
- TestAttemptoFre.gf
- TestAttemptoGer.gf
- TestAttemptoIta.gf
- TestAttemptoSwe.gf
- TestAttemptoUrd.gf
- attempto
bronzeage/
- Bronzeage.gf
- BronzeageAra.gf
- BronzeageBul.gf
- BronzeageCat.gf
- BronzeageDan.gf
- BronzeageEng.gf
- BronzeageFin.gf
- BronzeageFre.gf
- BronzeageGer.gf
- BronzeageI.gf
- BronzeageIta.gf
- BronzeageNor.gf
- BronzeagePol.gf
- BronzeageRon.gf
- BronzeageRus.gf
- BronzeageSpa.gf
- BronzeageSwe.gf
- BronzeageUrd.gf
- Makefile
- Swadesh.gf
- SwadeshAra.gf
- SwadeshBul.gf
- SwadeshCat.gf
- SwadeshDan.gf
- SwadeshEng.gf
- SwadeshFin.gf
- SwadeshFre.gf
- SwadeshGer.gf
- SwadeshI.gf
- SwadeshIta.gf
- SwadeshNor.gf
- SwadeshPol.gf
- SwadeshRon.gf
- SwadeshRus.gf
- SwadeshSpa.gf
- SwadeshSwe.gf
- SwadeshUrd.gf
category-theory/
- Adjoints.gf
- Categories.gf
- CategoryTheory.gf
- Equalizer.gf
- Functor.gf
- InitialAndTerminal.gf
- Monad.gf
- Morphisms.gf
- NaturalTransform.gf
computer/
- Computer.gf
- ComputerEng.gf
- ComputerFin.gf
- ComputerSwe.gf
- Dator.gf
- DatorEng.gf
- DatorFin.gf
- DatorSwe.gf
dates/
- Dates.gf
- DatesEng.gf
- DatesFin.gf
- DatesFre.gf
- DatesSwe.gf
discourse/
- Discourse.gf
- DiscourseEng.gf
- DiscourseFin.gf
- particles.txt
experiments/
- Dep.gf
- Dep.labels
- DepEng.gf
extmini/
- Grammar.gf
- GrammarCmn.gf
- GrammarEng.gf
- GrammarIta.gf
- Lang.gf
- LangCmn.gf
- LangEng.gf
- LangIta.gf
- Lexicon.gf
- LexiconCmn.gf
- LexiconEng.gf
- LexiconIta.gf
- ParadigmsCmn.gf
- ParadigmsEng.gf
- ParadigmsIta.gf
- README
- ResCmn.gf
- ResEng.gf
- ResIta.gf
- Syntax.gf
- SyntaxCmn.gf
- SyntaxEng.gf
- SyntaxIta.gf
- compsyntax-test-Ita.txt
- compsyntax.gfs
fracas/
- COPYING.txt
- FeedGF.hs
- Makefile
- README.html
- README.txt
- ToHTML.hs
- build_fracasbank.py
- prefix.html
- build/
  - FraCaSBank.pl
  - FraCaSBank.xml
- dist/
  - FraCaSBank-0.2.zip
- doc/
- src/
gadt-transfer/
- Foods.gf
- FoodsDut.gf
- FoodsEng.gf
- Makefile
- README
- VeryFoods.hs
gfcc/
- CleanJVM.hs
- Imper.gf
- ImperC.gf
- ImperJVM.gf
- Makefile
- README
- ResImper.gf
- abs.c
- complin.bbl
- complin.tex
- factorial.c
- fibonacci.c
- gfcc
- runtime.j
gfm-format/
- Food.gfm
- Words.gfm
graftals/
- Cantor.gf
- Dragon.gf
- Graftal.gf
- Koch.gf
- Sierpinski.gf
grammar-terms/
- GrammarTerms.gf
- GrammarTermsEng.gf
- GrammarTermsGF.gf
- MkTerms.hs
jem-math/
- LexMath.gf
- LexMathFre.gf
- LexMathSpa.gf
- LexMathSwe.gf
- Math.gf
- MathEng.gf
- MathFre.gf
- MathI.gf
- MathIta.gf
- MathIta1.gf
- MathSpa.gf
- MathSwe.gf
letter/
- Letter.gf
- LetterEng.gf
- LetterFin.gf
- LetterFre.gf
- LetterHeb.gf
- LetterRus.gf
- LetterSwe.gf
- README
- editor/
  - editor.html
lrec-tutorial/
- Ara.gf
- AraAra.gf
- Arabic.gf
- Grammar.gf
- GrammarIta.gf
- GrammarIta0.gf
- Lang.gf
- LangIta.gf
- LexFaceIta.gf
- Morpho.gf
- One.gf
- ResIta.gf
- Zero.gf
- ZeroDut.gf
- ZeroEng.gf
- ZeroFre.gf
- ZeroGer.gf
- ZeroHeb.gf
- ZeroHebTr.gf
- ZeroIta.gf
- ZeroLat.gf
- face/
  - Face.gf
  - FaceEn0.gf
  - FaceEng.gf
  - FaceFin.gf
  - FaceI.gf
  - FaceIta.gf
  - LexFace.gf
  - LexFaceEng.gf
  - LexFaceFin.gf
  - LexFaceIta.gf
mathtext/
- Geometry.gf
- GeometryEng.gf
- GeometryFre.gf
- GeometryGer.gf
- LexLogic.gf
- LexLogicEng.gf
- LexLogicFre.gf
- LexLogicGer.gf
- Logic.gf
- LogicEng.gf
- LogicFre.gf
- LogicGer.gf
- LogicI.gf
- MathGeom.gf
- MathGeomEng.gf
- MathGeomFre.gf
- MathGeomGer.gf
- MathText.gf
- MathTextEng.gf
- MathTextFre.gf
- MathTextGer.gf
- MathTextI.gf
- Symbols.gf
- SymbolsX.gf
messages/
- Messages.gf
- MessagesEng.gf
- MessagesFre.gf
miniresource/
- Miniresource.gf
- MiniresourceChi.gf
- MiniresourceEng.gf
- MiniresourceFin.gf
- MiniresourceFre.gf
- MiniresourceI.gf
- MiniresourceIChi.gf
- MiniresourceIEng.gf
- MiniresourceIta.gf
- MiniresourceSan.gf
- MiniresourceSwe.gf
morpho/
- Eng.gf
- EngDescr.gf
- EngReal.gf
- Fre.gf
- FreDescr.gf
- FreReal.gf
- README.txt
nlg/
- Logic.gf
- LogicCnc.gf
- NLG.gf
- NLGEng.gf
nqueens/
- NQueens.gf
- NQueensAscii.gf
- Nat.gf
- NatAscii.gf
numerals/
- Numerals.gf
- af_tunni.gf
- albanian.gf
- amharic.gf
- arabic_classical.gf
- arabic_modern.gf
- basque.gf
- bearlake_slave.gf
- bulgarian.gf
- catalan.gf
- chinese.gf
- croatian.gf
- czech.gf
- dagur.gf
- danish.gf
- decimal.gf
- dutch.gf
- english.gf
- finnish.gf
- french.gf
- french_belgian.gf
- french_swiss.gf
- fulfulde.gf
- geez.gf
- german.gf
- greek_classical.gf
- greek_modern.gf
- guahibo.gf
- guarani.gf
- hebrew_biblical.gf
- hindi.gf
- hungarian.gf
- icelandic.gf
- interlingua.gf
- irish.gf
- italian.gf
- japanese.gf
- kabardian.gf
- kambera.gf
- kawaiisu.gf
- khmer.gf
- khowar.gf
- kolyma_yukaghir.gf
- korean.gf
- kulung.gf
- kwami.gf
- kwaza.gf
- lalo.gf
- lamani.gf
- latvian.gf
- lithuanian.gf
- lotuxo.gf
- maale.gf
- malay.gf
- maltese.gf
- mapuche.gf
- margi.gf
- maybrat.gf
- miya.gf
- mongolian.gf
- nenets.gf
- norwegian_book.gf
- old_church_slavonic.gf
- oromo.gf
- pashto.gf
- polish.gf
- portuguese.gf
- quechua.gf
- romanian.gf
- russian.gf
- sango.gf
- slovak.gf
- sorani.gf
- spanish.gf
- stieng.gf
- swahili.gf
- swedish.gf
- tamil.gf
- tampere.gf
- thai.gf
- tibetan.gf
- totonac.gf
- tuda_daza.gf
- tukang_besi.gf
- turkish.gf
- votic.gf
- yasin_burushaski.gf
- zaiwa.gf
- todo/
  - irula.gf
  - kodagu.gf
  - sanskrit.gf
  - sanskritTranslit.gf
  - thai.gf
  - thaiDU.gf
  - thaiP.gf
  - welsh.gf
peacekeeping/
- EXAMPLES
- Makefile
- Peace.gf
- PeaceCat.gf
- PeaceCatI.gf
- PeaceLexCommon.gf
- PeaceLexCommonI.gf
- PeaceLexExt.gf
- PeacePhrases.gf
- PeaceRes.gf
- PeaceSpoken.gf
- PeaceSyntax.gf
- PeaceSyntaxI.gf
- README
- english/
- finnish/
- swedish/
phrasebook/
- Clone.hs
- Compile.hs
- DisambPhrasebookEng.gf
- DisambPhrasebookRon.gf
- Greetings.gf
- GreetingsBul.gf
- GreetingsCat.gf
- GreetingsDan.gf
- GreetingsDut.gf
- GreetingsEng.gf
- GreetingsFin.gf
- GreetingsFre.gf
- GreetingsGer.gf
- GreetingsHin.gf
- GreetingsIta.gf
- GreetingsLav.gf
- GreetingsNor.gf
- GreetingsPes.gf
- GreetingsPol.gf
- GreetingsRon.gf
- GreetingsRus.gf
- GreetingsSnd.gf
- GreetingsSpa.gf
- GreetingsSwe.gf
- GreetingsTha.gf
- GreetingsUrd.gf
- Implementation.html
- Makefile
- Ontology.html
- Phrasebook.gf
- PhrasebookBul.gf
- PhrasebookCat.gf
- PhrasebookDan.gf
- PhrasebookDut.gf
- PhrasebookEng.gf
- PhrasebookFin.gf
- PhrasebookFre.gf
- PhrasebookGer.gf
- PhrasebookHin.gf
- PhrasebookIta.gf
- PhrasebookLav.gf
- PhrasebookNor.gf
- PhrasebookPes.gf
- PhrasebookPol.gf
- PhrasebookRon.gf
- PhrasebookRus.gf
- PhrasebookSnd.gf
- PhrasebookSpa.gf
- PhrasebookSwe.gf
- PhrasebookTha.gf
- PhrasebookUrd.gf
- Sentences.gf
- SentencesBul.gf
- SentencesCat.gf
- SentencesDan.gf
- SentencesDut.gf
- SentencesEng.gf
- SentencesFin.gf
- SentencesFre.gf
- SentencesGer.gf
- SentencesHin.gf
- SentencesI.gf
- SentencesIta.gf
- SentencesLav.gf
- SentencesNor.gf
- SentencesPes.gf
- SentencesPol.gf
- SentencesRon.gf
- SentencesRus.gf
- SentencesSnd.gf
- SentencesSpa.gf
- SentencesSwe.gf
- SentencesTha.gf
- SentencesUrd.gf
- Update.hs
- Words.gf
- WordsBul.gf
- WordsCat.gf
- WordsDan.gf
- WordsDut.gf
- WordsEng.gf
- WordsFin.gf
- WordsFre.gf
- WordsGer.gf
- WordsHin.gf
- WordsIta.gf
- WordsLav.gf
- WordsNor.gf
- WordsPes.gf
- WordsPol.gf
- WordsRon.gf
- WordsRus.gf
- WordsSnd.gf
- WordsSpa.gf
- WordsSwe.gf
- WordsTha.gf
- WordsUrd.gf
- add_greetings.gfupdate
- doc-phrasebook.html
- doc-phrasebook.txt
- help-phrasebook.html
- help-phrasebook.txt
- missing.txt
- pgraph.png
- picpic.jpg
- src
- testScript.gfs
- thai.png
- www/
  - old-phrasebook.html
  - phrasebook.css
  - phrasebook.js
  - support.js
query/
- LexQuery.gf
- LexQueryEng.gf
- LexQueryFre.gf
- LexQuerySwe.gf
- Query.gf
- QueryEng.gf
- QueryFre.gf
- QueryI.gf
- QuerySwe.gf
- README
- TestQuery.gf
- TestQueryEng.gf
- TestQuerySwe.gf
- test.gfs
- test.txt
- small/
sammie/
- ExtSammie.gf
- ParamSammie.gf
- ParamSammieEng.gf
- ParamSammieFin.gf
- ParamSammieFre.gf
- ParamSammieGer.gf
- ParamSammieSpa.gf
- ParamSammieSwe.gf
- Sammie.gf
- SammieEng.gf
- SammieEng1.gf
- SammieFin.gf
- SammieFre.gf
- SammieGer.gf
- SammieGer2.gf
- SammieI.gf
- SammieSpa.gf
- SammieSwe.gf
trigram/
- Shaw.gf
- ShawCnc.gf
- Trigram.gf
- TrigramCnc.gf
tutorial/
- calculator/
- embedded/
- food/
- foods/
- hello/
- old/
  - semantics/
- resource-foods/
- smart/
- syntax/
typetheory/
- Donkey.gf
- DonkeyEng.gf
- README
- Types.gf
- TypesSymb.gf