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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntarcticTreaty

 Sigma KEE - AntarcticTreaty
AntarcticTreaty

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3192-3192 agreementAdoptionDate AntarcticTreaty and le jour 1
No TPTP formula. May not be expressible in strict first order. Geography.kif 3193-3193 agreementEffectiveDate AntarcticTreaty and ?D est une instance de le jour 23
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6097-6097
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6099-6099
No TPTP formula. May not be expressible in strict first order. Geography.kif 3190-3190 AntarcticTreaty est une instance de Agreement

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3191-3191 conventionalLongName "Antarctic Treaty" and AntarcticTreaty
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7776-7776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7775-7775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7774-7774


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