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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WorldCustomsOrganization

 Sigma KEE - WorldCustomsOrganization
WorldCustomsOrganization

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3019-3019 dateEstablished WorldCustomsOrganization and o dia 15
No TPTP formula. May not be expressible in strict first order. Government.kif 3014-3014 WorldCustomsOrganization e' uma instancia de OrganizationOfNations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3017-3017 abbreviation "CCC" and WorldCustomsOrganization
No TPTP formula. May not be expressible in strict first order. Government.kif 3018-3018 abbreviation "WCO" and WorldCustomsOrganization
No TPTP formula. May not be expressible in strict first order. Government.kif 3015-3015 conventionalLongName "Customs Cooperation Council" and WorldCustomsOrganization
No TPTP formula. May not be expressible in strict first order. Government.kif 3016-3016 conventionalLongName "World Customs Organization" and WorldCustomsOrganization
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63497-63497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63496-63496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63495-63495


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

Show without tree


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