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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyOfWater
BodyOfWater(body of water)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4393-4395
No TPTP formula. May not be expressible in strict first order. Geography.kif 4391-4391 Body of water is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 4390-4390 Body of water is a subclass of water area

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4439-4439 North atlantic ocean is an instance of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4471-4471 North pacific ocean is an instance of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4485-4485 NortheasternPacificOcean is an instance of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4498-4498 NorthwesternPacificOcean is an instance of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4452-4452 South atlantic ocean is an instance of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4511-4511 South pacific ocean is an instance of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4398-4398 World ocean is an instance of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5214-5214 Channel is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5569-5569 Creek is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5077-5077 Estuary is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5020-5020 Gulf is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5116-5116 Inlet is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4976-4976 Landlocked water is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4412-4412 Ocean is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5372-5372 River is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4656-4656 Sea is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5176-5176 Sound is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 5190-5190 Strait is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11486-11486
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11485-11485
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11484-11484

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5228-5233
No TPTP formula. May not be expressible in strict first order. Geography.kif 5558-5567
No TPTP formula. May not be expressible in strict first order. Geography.kif 4422-4427
No TPTP formula. May not be expressible in strict first order. Geography.kif 5203-5208

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


No TPTP formula. May not be expressible in strict first order. Food.kif 256-265
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20471-20500
No TPTP formula. May not be expressible in strict first order. Geography.kif 4640-4647
No TPTP formula. May not be expressible in strict first order. Weather.kif 1352-1372
No TPTP formula. May not be expressible in strict first order. Geography.kif 5817-5824
No TPTP formula. May not be expressible in strict first order. Geography.kif 5313-5319
No TPTP formula. May not be expressible in strict first order. Geography.kif 5246-5254
No TPTP formula. May not be expressible in strict first order. Geography.kif 5195-5201
No TPTP formula. May not be expressible in strict first order. Weather.kif 1419-1439


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