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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterTransportation
WaterTransportation(water transportation)
boat, drift, float, maiden_voyage, ocean_trip, passage, reship, sail, transit, tube, voyage

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17740-17741
No TPTP formula. May not be expressible in strict first order. pictureList.kif 833-833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17739-17739 Water transportation is a subclass of transportation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17756-17756 Rowing is a subclass of water transportation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62487-62487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62486-62486
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62485-62485

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17743-17750

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8184-8197
No TPTP formula. May not be expressible in strict first order. naics.kif 8207-8225
No TPTP formula. May not be expressible in strict first order. naics.kif 8139-8150
No TPTP formula. May not be expressible in strict first order. naics.kif 8159-8175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17752-17754
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 811-818
No TPTP formula. May not be expressible in strict first order. Geography.kif 5582-5588
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3385-3392
No TPTP formula. May not be expressible in strict first order. Geography.kif 5897-5905


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