Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RollawayBed(rollaway bed) |
| appearance as argument number 1 |
|
| (subclass RollawayBed Bed) | Mid-level-ontology.kif 4555-4555 | Rollaway bed is a subclass of bed |
| (documentation RollawayBed EnglishLanguage "A RollawayBed is a type of Bed that is mounted on rollers so that it can be easily moved") | Mid-level-ontology.kif 4556-4557 | Rollaway bed is a subclass of bed |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RollawayBed "rollaway bed") | Mid-level-ontology.kif 4558-4558 |
| antecedent |
|
|
| (=> (instance ?X RollawayBed) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?X)))) |
Mid-level-ontology.kif 4560-4565 | If X is an instance of rollaway bed, then there exists Y such that Y is an instance of wheel and Y is a part of X |
|