Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TropicalTimber94Agreement
TropicalTimber94Agreement(tropical timber94 agreement)

appearance as argument number 1
-------------------------


(instance TropicalTimber94Agreement Agreement) Geography.kif 3225-3225 Tropical timber94 agreement is an instance of agreement

appearance as argument number 2
-------------------------


(conventionalLongName "International Tropical Timber Agreement, 1994" TropicalTimber94Agreement) Geography.kif 3227-3227 Tropical timber94 agreement is a conventional long name of "International Tropical Timber Agreement, 1994"
(conventionalShortName "Tropical Timber 94" TropicalTimber94Agreement) Geography.kif 3229-3229 Tropical timber94 agreement is a conventional short name of "Tropical Timber 94"
(termFormat ChineseLanguage TropicalTimber94Agreement "热带木材94协议") domainEnglishFormat.kif 59237-59237
(termFormat ChineseTraditionalLanguage TropicalTimber94Agreement "熱帶木材94協議") domainEnglishFormat.kif 59236-59236
(termFormat EnglishLanguage TropicalTimber94Agreement "tropical timber94 agreement") domainEnglishFormat.kif 59235-59235


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners