| RecreationalVehicle(camper) | | R.V., RV, recreational_vehicle |
| 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 26860-26862 | |
| (subclass RecreationalVehicle MobileResidence) | Mid-level-ontology.kif 26859-26859 | Camper is a subclass of mobile residence |
| (subclass RecreationalVehicle Vehicle) | Mid-level-ontology.kif 26858-26858 | Camper is a subclass of 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 26863-26863 |
| 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 26865-26875 |
|
|
|
|