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 25753-25755 | |
(subclass RecreationalVehicle MobileResidence) | Mid-level-ontology.kif 25752-25752 | 子類 RecreationalVehicle and 移動住宅 |
(subclass RecreationalVehicle Vehicle) | Mid-level-ontology.kif 25751-25751 | 子類 RecreationalVehicle and 車輛 |
appearance as argument number 2 |
(termFormat EnglishLanguage RecreationalVehicle "RV") | Cars.kif 4908-4908 | |
(termFormat EnglishLanguage RecreationalVehicle "camper") | Cars.kif 4909-4909 | |
(termFormat EnglishLanguage RecreationalVehicle "caravan") | Cars.kif 4907-4907 | |
(termFormat EnglishLanguage RecreationalVehicle "rv") | Mid-level-ontology.kif 25756-25756 |
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 25758-25768 |