Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Transportation.kif 2287-2292
No TPTP formula. May not be expressible in strict first order. Merge.kif 14142-14142 Water area is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order. Weather.kif 1374-1374 Surf zone is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 917-917 Harbor is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 921-921 Anchorage is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2937-2937 Ship berth is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9031-9031 Stream water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9038-9038 Static water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14155-14155 Salt water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14160-14160 Fresh water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 2028-2028 Hydropower water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4491-4491 Body of water is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4932-4932 Water current is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5341-5341 Inland water system is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5484-5484 Stream water confluence is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5509-5509 River system is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5577-5577 Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5655-5655 River mouth is a subclass of water area


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