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 Le nombre 1 argument de trafficableForTrafficType est une instance de objet
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2605-2605 Le nombre 2 argument de trafficableForTrafficType est une sous-classe de objet en une partie
(instance trafficableForTrafficType BinaryPredicate) Transportation.kif 2603-2603 trafficableForTrafficType est une instance de pr�dicat binaire

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

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