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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 3137-3139
(domain trafficableForTrafficType 1 Object) Transportation.kif 3135-3135
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 3136-3136
(instance trafficableForTrafficType BinaryPredicate) Transportation.kif 3134-3134

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


(format ChineseLanguage trafficableForTrafficType "%2 %n 是 对于交通类别 %1 的 trafficable ") domainEnglishFormat.kif 2535-2535
(format ChineseTraditionalLanguage trafficableForTrafficType "%2 %n 是 對於交通類別 %1 的 trafficable ") domainEnglishFormat.kif 2534-2534
(format EnglishLanguage trafficableForTrafficType "%2 is %n a trafficable for traffic type of %1") domainEnglishFormat.kif 2533-2533
(termFormat ChineseLanguage trafficableForTrafficType "可通行的交通类型") domainEnglishFormat.kif 58762-58762
(termFormat ChineseTraditionalLanguage trafficableForTrafficType "可通行的交通類型") domainEnglishFormat.kif 58761-58761
(termFormat EnglishLanguage trafficableForTrafficType "trafficable for traffic type") domainEnglishFormat.kif 58760-58760

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


(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1823-1828
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))
Transportation.kif 3141-3146
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type AutonomousAgent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))
Transportation.kif 3148-3153

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


(=>
    (instance ?AIRPORT Airport)
    (trafficableForTrafficType ?AIRPORT Airplane))
Transportation.kif 3155-3157
(=>
    (instance ?HELO Heliport)
    (trafficableForTrafficType ?HELO Helicopter))
Transportation.kif 1643-1645
(=>
    (instance ?R RailwayTerminal)
    (trafficableForTrafficType ?R Train))
Transportation.kif 2233-2235
(=>
    (instance ?T Taxiway)
    (trafficableForTrafficType ?T Airplane))
Transportation.kif 1430-1432


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