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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RecreationalVehicle
RecreationalVehicle

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


(documentation RecreationalVehicle EnglishLanguage "A RecreationalVehicle is a type of motorized Vehicle that is used for camping or can serve as a Residence that is mobile") Mid-level-ontology.kif 27663-27665
(subclass RecreationalVehicle MobileResidence) Mid-level-ontology.kif 27662-27662 RecreationalVehicle est une sous-classe de MobileResidence
(subclass RecreationalVehicle Vehicle) Mid-level-ontology.kif 27661-27661 RecreationalVehicle est une sous-classe de Vehicle

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


(termFormat EnglishLanguage RecreationalVehicle "RV") Cars.kif 4961-4961
(termFormat EnglishLanguage RecreationalVehicle "camper") Cars.kif 4962-4962
(termFormat EnglishLanguage RecreationalVehicle "caravan") Cars.kif 4960-4960
(termFormat EnglishLanguage RecreationalVehicle "rv") Mid-level-ontology.kif 27666-27666

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


(=>
    (instance ?RV RecreationalVehicle)
    (modalAttribute
        (exists (?BED ?DINING ?KITCHEN)
            (and
                (instance ?BED Bed)
                (instance ?DINING DiningArea)
                (instance ?KITCHEN KitchenArea)
                (located ?BED ?RV)
                (located ?DINING ?RV)
                (located ?KITCHEN ?RV))) Likely))
Mid-level-ontology.kif 27668-27678


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 is open source software produced by Articulate Software and its partners