Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  trafficableForTrafficType

 Sigma KEE - trafficableForTrafficType
trafficableForTrafficType

appearance as argument number 1
-------------------------


(instance trafficableForTrafficType BinaryPredicate) Transportation.kif 3677-3677 trafficable for traffic type is an instance of binary predicate
(domain trafficableForTrafficType 1 Object) Transportation.kif 3678-3678 The number 1 argument of trafficable for traffic type is an instance of object
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 3679-3679 The number 2 argument of trafficable for traffic type is a subclass of self connected object
(documentation trafficableForTrafficType EnglishLanguage "(trafficableForTrafficType ?WAY ?TYPE) means that Objects of ?TYPE can move along the Transitway ?WAY.") Transportation.kif 3680-3682 The number 2 argument of trafficable for traffic type is a subclass of self connected object

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


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

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


(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))		 Transportation.kif 1838-1843 If X is an instance of river, Y is a trafficable for traffic type of X, and Y is a subclass of water vehicle, then X is an instance of waterway
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))		 Transportation.kif 3684-3689 If X is a trafficable for traffic type of Y, X is a subclass of transportation device, and Z is an instance of X, then transportation capable at location instrument for Z with Y
(=>
    (and
        (trafficableForTrafficType ?place ?type)
        (subclass ?type AutonomousAgent)
        (instance ?mover ?type))
    (capableAtLocation Translocation agent ?mover ?place))		 Transportation.kif 3691-3696 If X is a trafficable for traffic type of Y, X is a subclass of agent, and Z is an instance of X, then translocation capable at location agent for Z with Y

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


(=>
    (instance ?T Taxiway)
    (trafficableForTrafficType ?T Airplane))		 Transportation.kif 1446-1448 If X is an instance of taxiway, then airplane is a trafficable for traffic type of X
(=>
    (instance ?HELO Heliport)
    (trafficableForTrafficType ?HELO Helicopter))		 Transportation.kif 1659-1661 If X is an instance of heliport, then helicopter is a trafficable for traffic type of X
(=>
    (instance ?R RailwayTerminal)
    (trafficableForTrafficType ?R Train))		 Transportation.kif 2253-2255 If X is an instance of railway terminal, then train is a trafficable for traffic type of X
(=>
    (instance ?AIRPORT Airport)
    (trafficableForTrafficType ?AIRPORT Airplane))		 Transportation.kif 3698-3700 If X is an instance of airport, then airplane is a trafficable for traffic type of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners