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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtendedFishingZoneFn

Sigma KEE - ExtendedFishingZoneFn
ExtendedFishingZoneFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1184-1187
No TPTP formula. May not be expressible in strict first order. Geography.kif 1181-1181 The number 1 argument of extended fishing zone is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Geography.kif 1180-1180 Extended fishing zone is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 1182-1182 The range of extended fishing zone is an instance of extended fishing zone

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 979-979
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 978-978
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 977-977
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22984-22984
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22983-22983
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22982-22982

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1189-1193

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1189-1193


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