Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Mattress(mattress) |  | mattress |
| appearance as argument number 1 |
|
|
| (subclass Mattress Artifact) | Mid-level-ontology.kif 4675-4675 | Mattress is a subclass of artifact |
| (documentation Mattress EnglishLanguage "A Mattress is a component of a Bed that is a cushion to make it more comfortable") | Mid-level-ontology.kif 4676-4677 | Mattress is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Mattress "mattress") | Mid-level-ontology.kif 4678-4678 |
| antecedent |
|
|
| (=> (instance ?X Mattress) (exists (?BED) (and (instance ?BED Bed) (component ?X ?BED)))) |
Mid-level-ontology.kif 4680-4685 | If X is an instance of mattress, then there exists Y such that Y is an instance of bed and X is a component of Y |
| (=> (instance ?X Mattress) (hasPurpose ?X (exists (?PERSON) (and (attribute ?PERSON Asleep) (orientation ?PERSON ?X On))))) |
Mid-level-ontology.kif 4687-4693 | If X is an instance of mattress, then X has the purpose there exists Y such that asleep is an attribute of Y and Y is on to X |
| (=> (and (instance ?X Bed) (component ?BEDFRAME ?X) (instance ?BEDFRAME BedFrame) (component ?MATTRESS ?X) (instance ?MATTRESS Mattress)) (orientation ?MATTRESS ?BEDFRAME On)) |
Mid-level-ontology.kif 4700-4707 | If X is an instance of bed, Y is a component of X, Y is an instance of bed frame, Z is a component of X, and Z is an instance of mattress, then Z is on to Y |
|