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


KB Term:  Term intersection
English Word: 

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