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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LandVehicle
LandVehicle
รถขนเงิน, รถบรรทุกเงิน, รถตีนตะขาบ, รถบรรทุกศพ, รถม้าไปรษณีย์, รถบดถนน, พาหนะที่มีล้อ,

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


(documentation LandVehicle EnglishLanguage "LandVehicle is the class of TransportationDevices that travel on land. The two main types of LandVehicle are RoadVehicle and RailVehicle. Note that this includes vehicles which travel on any solid surface, including a frozen body of water or snow.") Mid-level-ontology.kif 4003-4007
(externalImage LandVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 56/ 2002-2003_Land_Rover_Freelander.jpg/ 800px-2002-2003_Land_Rover_Freelander.jpg") pictureList.kif 1440-1440
(subclass LandVehicle Vehicle) Mid-level-ontology.kif 4002-4002

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


(subclass APC LandVehicle) MilitaryDevices.kif 1572-1572
(subclass AllTerrainVehicle LandVehicle) Cars.kif 4732-4732
(subclass AmphibiousVehicle LandVehicle) MilitaryDevices.kif 2018-2018
(subclass Cycle LandVehicle) Transportation.kif 1860-1860
(subclass FourWheelDriveVehicle LandVehicle) Cars.kif 4554-4554
(subclass RailVehicle LandVehicle) Transportation.kif 1970-1970
(subclass RoadVehicle LandVehicle) Mid-level-ontology.kif 4045-4045
(subclass Scooter LandVehicle) Transportation.kif 1881-1881
(subclass TwoWheelDriveVehicle LandVehicle) Cars.kif 4577-4577
(subclass Wagon LandVehicle) Transportation.kif 1783-1783
(termFormat EnglishLanguage LandVehicle "land vehicle") domainEnglishFormat.kif 5969-5969

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


(=>
    (instance ?VEHICLE LandVehicle)
    (capability LandTransportation instrument ?VEHICLE))
Mid-level-ontology.kif 15371-15373
(=>
    (instance ?VEHICLE LandVehicle)
    (exists (?WHEEL)
        (and
            (instance ?WHEEL Wheel)
            (part ?WHEEL ?VEHICLE))))
Mid-level-ontology.kif 3914-3919
(=>
    (instance ?X LandVehicle)
    (hasPurpose ?X
        (exists (?EV ?SURF)
            (and
                (surface ?SURF GeographicArea)
                (instance ?EV Transportation)
                (holdsDuring
                    (WhenFn ?EV)
                    (meetsSpatially ?X ?SURF))))))
Mid-level-ontology.kif 4008-4017

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TransitAndGroundPassengerTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (patient ?T ?P)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))
naics.kif 8269-8289
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TruckTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Object)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))
naics.kif 8178-8200
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 15362-15369
(=>
    (instance ?SERVICE LandTransportationService)
    (exists (?LAND ?VEHICLE)
        (and
            (instance ?LAND LandTransportation)
            (instance ?VEHICLE LandVehicle)
            (instrument ?LAND ?VEHICLE)
            (subProcess ?LAND ?SERVICE))))
Transportation.kif 3289-3296
(=>
    (instance ?X Road)
    (hasPurpose ?X
        (exists (?EV ?VEH)
            (and
                (instance ?EV Transportation)
                (eventLocated ?EV ?X)
                (instance ?VEH LandVehicle)
                (instrument ?EV ?VEH)))))
Mid-level-ontology.kif 19991-19999


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners