TreeView Knowledge Base Browser - Waterway

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Waterway

Waterway

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5578-5580
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5576-5576	Waterway e' uma sub-classe de Transitway
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5577-5577	Waterway e' uma sub-classe de Area Aquatica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1669-1669	NorthernSeaRoute e' uma instancia de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1660-1660	NorthwestPassage e' uma instancia de Waterway
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5593-5593	Canal e' uma sub-classe de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1691-1691	CanalLock e' uma sub-classe de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1690-1690	Channel e' uma sub-classe de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1693-1693	Harbor e' uma sub-classe de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1680-1680	SeaLane e' uma sub-classe de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1679-1679	ShippingChannel e' uma sub-classe de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1678-1678	ShippingLane e' uma sub-classe de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2983-2983	WaterJunction e' uma sub-classe de Waterway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62517-62517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62516-62516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62515-62515

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2667-2673	Area Aquatica e' uma instancia de Waterway depth Fisico, Area Aquatica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' menos que Numero Real navigableForDraft Area Aquatica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5582-5588	Fisico e' uma instancia de Waterway Fisico tem por fim Entidade Entidade e' uma instancia de WaterTransportation Fisico e' o caminho ao longo do qual Entidade ocorre

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 656-663	totalLengthOfWaterways Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	Objeto e' uma instancia de River trafficableForTrafficType Objeto and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de WaterVehicle Objeto e' uma instancia de Waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 665-673	totalLengthOfWaterways Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' maior que 0 Fisico Fisico e' uma instancia de Waterway Fisico e' situado em Area Geografica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 856-862	Objeto e' uma instancia de RiverPort Objeto Objeto e' uma instancia de River Objeto e' uma instancia de Waterway Objeto encontra Objeto

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