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 3178-3178 Tropical timber83 agreement is an instance of agreement

appearance as argument number 2

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

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