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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubmergedLandArea

 Sigma KEE - SubmergedLandArea
SubmergedLandArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6069-6070
No TPTP formula. May not be expressible in strict first order. Geography.kif 6067-6067 SubmergedLandArea e' uma sub-classe de Area Geografica

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6088-6088 ContinentalMargin e' uma sub-classe de SubmergedLandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6081-6081 ContinentalShelf e' uma sub-classe de SubmergedLandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 1058-1058 MaritimeShelfArea e' uma sub-classe de SubmergedLandArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6104-6104 SeabedArea e' uma sub-classe de SubmergedLandArea
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55746-55746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55745-55745
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55744-55744

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6072-6079

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1598-1608


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