Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SofaBed
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SofaBed Bed) | Mid-level-ontology.kif 4567-4567 | Sofa bed is a subclass of bed |
| (documentation SofaBed EnglishLanguage "A SofaBed is a Bed that can be kept inside a compartment in a Sofa") | Mid-level-ontology.kif 4568-4569 | Sofa bed is a subclass of bed |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SofaBed "sofa bed") | Mid-level-ontology.kif 4570-4570 |
| antecedent |
|
|
| (=> (instance ?X SofaBed) (exists (?SOFA ?STORAGE) (and (instance ?STORAGE Compartment) (part ?STORAGE ?SOFA) (instance ?SOFA Sofa) (hasPurpose ?STORAGE (exists (?K) (and (instance ?K Keeping) (patient ?K ?X) (destination ?K ?STORAGE))))))) |
Mid-level-ontology.kif 4572-4584 | If X is an instance of sofa bed, then All of the following hold: (1) there exist Y (2) Z such that Z is an instance of compartment (3) Z is a part of Y (4) Y is an instance of sofa (5) Z has the purpose there exists W such that W is an instance of keeping (6) X is a patient of W (7) W ends up at Z |
|