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 3303-3303 Tropical timber94 agreement is an instance of agreement

appearance as argument number 2

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

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