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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TropicalTimber83Agreement
TropicalTimber83Agreement(tropical timber83 agreement)

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


(instance TropicalTimber83Agreement Agreement) Geography.kif 3297-3297 Tropical timber83 agreement is an instance of agreement

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


(conventionalLongName "International Tropical Timber Agreement, 1983" TropicalTimber83Agreement) Geography.kif 3299-3299 Tropical timber83 agreement is a conventional long name of "International Tropical Timber Agreement, 1983"
(conventionalShortName "Tropical Timber 83" TropicalTimber83Agreement) Geography.kif 3301-3301 Tropical timber83 agreement is a conventional short name of "Tropical Timber 83"
(termFormat ChineseLanguage TropicalTimber83Agreement "热带木材83协议") domainEnglishFormat.kif 59264-59264
(termFormat ChineseTraditionalLanguage TropicalTimber83Agreement "熱帶木材83協議") domainEnglishFormat.kif 59263-59263
(termFormat EnglishLanguage TropicalTimber83Agreement "tropical timber83 agreement") domainEnglishFormat.kif 59262-59262


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