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 2639-2641
(domain trafficableForTrafficType 1 Object) Transportation.kif 2637-2637
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2638-2638
(instance trafficableForTrafficType BinaryPredicate) Transportation.kif 2636-2636

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 58756-58756
(termFormat ChineseTraditionalLanguage trafficableForTrafficType "可通行的交通類型") domainEnglishFormat.kif 58755-58755
(termFormat EnglishLanguage trafficableForTrafficType "trafficable for traffic type") domainEnglishFormat.kif 58754-58754

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 2643-2648
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type AutonomousAgent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))		 Transportation.kif 2650-2655

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


(=>
    (instance ?AIRPORT Airport)
    (trafficableForTrafficType ?AIRPORT Airplane))		 Transportation.kif 2657-2659
(=>
    (instance ?HELO Heliport)
    (trafficableForTrafficType ?HELO Helicopter))		 Transportation.kif 1514-1516


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