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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandlockedArea

Sigma KEE - LandlockedArea
LandlockedArea(landlocked area)
landlocked

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 900-902
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8566-8566
No TPTP formula. May not be expressible in strict first order. Geography.kif 898-898 Landlocked area is a subclass of land area

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5839-5839 Island is disjoint from landlocked area
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33235-33235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33234-33234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33233-33233

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 924-932
No TPTP formula. May not be expressible in strict first order. Geography.kif 912-916
No TPTP formula. May not be expressible in strict first order. Geography.kif 983-987
No TPTP formula. May not be expressible in strict first order. Geography.kif 952-957
No TPTP formula. May not be expressible in strict first order. Geography.kif 904-910
No TPTP formula. May not be expressible in strict first order. Geography.kif 942-950
No TPTP formula. May not be expressible in strict first order. Geography.kif 934-940

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 918-922


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