TreeView Knowledge Base Browser - trafficableForTrafficType

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

trafficableForTrafficType

Sigma KEE - trafficableForTrafficType

trafficableForTrafficType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2639-2641
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2637-2637	O argumento numero 1 de trafficableForTrafficType e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2638-2638	O argumento numero 2 de trafficableForTrafficType e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2636-2636	trafficableForTrafficType e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2531-2531
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2530-2530
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2529-2529
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58756-58756
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58755-58755
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58754-58754

antecedent

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 2643-2648	trafficableForTrafficType Regiao and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de Veiculo de Transporte Objeto e' uma instancia de Objeto auto-conectado capableAtLocation Transporte, instrument, Objeto and Regiao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2650-2655	trafficableForTrafficType Regiao and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de AutonomousAgent Objeto e' uma instancia de Objeto auto-conectado capableAtLocation Translocation, agent, Objeto and Regiao

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2657-2659	Objeto e' uma instancia de Airport trafficableForTrafficType Objeto and Airplane
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1514-1516	Objeto e' uma instancia de Heliport trafficableForTrafficType Objeto and Helicopter

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