Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ButterflySpread
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RecreationalVehicle Vehicle) | Mid-level-ontology.kif 28331-28331 | Rv is a subclass of vehicle |
| (subclass RecreationalVehicle MobileResidence) | Mid-level-ontology.kif 28332-28332 | Rv is a subclass of mobile residence |
| (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 28333-28335 | Rv is a subclass of mobile residence |
| appearance as argument number 2 |
|
|
| 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 28338-28348 | If X is an instance of rv, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of bed (3) Z is an instance of dining area (4) W is an instance of kitchen area (5) Y is located at X (6) Z is located at X (7) W is located at X has the modal force of likely |
|