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

(documentation trafficableForTrafficType EnglishLanguage "(trafficableForTrafficType ?WAY ?TYPE) means that Objects of ?TYPE can move along the Transitway ?WAY.")	Transportation.kif 2606-2608
(domain trafficableForTrafficType 1 Object)	Transportation.kif 2604-2604	O argumento numero 1 de trafficableForTrafficType e' uma instancia de Objeto
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject)	Transportation.kif 2605-2605	O argumento numero 2 de trafficableForTrafficType e' uma sub-classe de Objeto auto-conectado
(instance trafficableForTrafficType BinaryPredicate)	Transportation.kif 2603-2603	trafficableForTrafficType e' uma instancia de Predicado Binario

appearance as argument number 2

(format ChineseLanguage trafficableForTrafficType "%2 %n 是对于交通类别 %1 的 trafficable ")	domainEnglishFormat.kif 2531-2531
(format ChineseTraditionalLanguage trafficableForTrafficType "%2 %n 是對於交通類別 %1 的 trafficable ")	domainEnglishFormat.kif 2530-2530
(format EnglishLanguage trafficableForTrafficType "%2 is %n a trafficable for traffic type of %1")	domainEnglishFormat.kif 2529-2529
(termFormat ChineseLanguage trafficableForTrafficType "可通行的交通类型")	domainEnglishFormat.kif 58754-58754
(termFormat ChineseTraditionalLanguage trafficableForTrafficType "可通行的交通類型")	domainEnglishFormat.kif 58753-58753
(termFormat EnglishLanguage trafficableForTrafficType "trafficable for traffic type")	domainEnglishFormat.kif 58752-58752

antecedent

(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	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
(=> (and (trafficableForTrafficType ?PLACE ?TYPE) (subclass ?TYPE TransportationDevice) (instance ?MOVER ?TYPE)) (capableAtLocation Transportation instrument ?MOVER ?PLACE))	Transportation.kif 2610-2615	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
(=> (and (trafficableForTrafficType ?place ?type) (subclass ?type AutonomousAgent) (instance ?mover ?type)) (capableAtLocation Translocation agent ?mover ?place))	Transportation.kif 2617-2622	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

(=> (instance ?AIRPORT Airport) (trafficableForTrafficType ?AIRPORT Airplane))	Transportation.kif 2624-2626	Objeto e' uma instancia de Airport trafficableForTrafficType Objeto and Airplane
(=> (instance ?HELO Heliport) (trafficableForTrafficType ?HELO Helicopter))	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