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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnincorporatedUnitedStatesTerritory

Sigma KEE - UnincorporatedUnitedStatesTerritory
UnincorporatedUnitedStatesTerritory
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 12113-12113
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12109-12109
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10320-10320
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12110-12110
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12112-12112
No TPTP formula. May not be expressible in strict first order. Government.kif 477-477 UnincorporatedUnitedStatesTerritory e' uma sub-classe de OverseasArea

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59992-59992
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59991-59991
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59990-59990

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 479-481


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