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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExclusiveFishingZone
ExclusiveFishingZone(exclusive fishing zone)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1135-1139
No TPTP formula. May not be expressible in strict first order. Geography.kif 1132-1132 Exclusive fishing zone is a subclass of maritime claim area
No TPTP formula. May not be expressible in strict first order. Geography.kif 1133-1133 Exclusive fishing zone is a subclass of salt water area

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1150-1150 The range of exclusive fishing zone is an instance of exclusive fishing zone
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22672-22672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22671-22671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22670-22670

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1157-1161
No TPTP formula. May not be expressible in strict first order. Geography.kif 1141-1146


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