Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VehicleRoofRack(cargo rack) |  | luggage_rack, roof_rack |
| appearance as argument number 1 |
|
|
| (subclass VehicleRoofRack Device) | Cars.kif 4556-4556 | Cargo rack is a subclass of device |
| (documentation VehicleRoofRack EnglishLanguage "A structure designed to be attached to, or made as part of a RoadVehicle, to which cargo, or cargo_carrying Containers may be temporarily attached.") | Cars.kif 4557-4559 | Cargo rack is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VehicleRoofRack "roof bars") | Cars.kif 4553-4553 | |
| (termFormat EnglishLanguage VehicleRoofRack "roof rack") | Cars.kif 4554-4554 | |
| (termFormat EnglishLanguage VehicleRoofRack "cargo rack") | Cars.kif 4555-4555 |
| antecedent |
|
|
| (=> (instance ?VRR VehicleRoofRack) (hasPurpose ?VRR (exists (?T ?A ?C) (and (instance ?T Transfer) (patient ?T ?C) (instance ?A Automobile) (orientation ?VRR ?A Outside) (meetsSpatially ?C ?VRR) (part ?VRR ?A) (instrument ?T ?A))))) |
Cars.kif 4561-4572 | If X is an instance of cargo rack, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) W is a patient of Y (4) Z is an instance of automobile (5) X is outside of to Z (6) W meets X (7) X is a part of Z (8) Z is an instrument for Y |
|