Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BedLinen
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BedLinen Artifact) | Mid-level-ontology.kif 4768-4768 | Bed linen is a subclass of artifact |
| (documentation BedLinen EnglishLanguage "BedLinen is an Artifact made of Fabric that is used to Covering a Bed") | Mid-level-ontology.kif 4769-4770 | Bed linen is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BedLinen "bed linen") | Mid-level-ontology.kif 4771-4771 |
| antecedent |
|
|
| (=> (instance ?X BedLinen) (material Fabric ?X)) |
Mid-level-ontology.kif 4773-4775 | If X is an instance of bed linen, then X is made of fabric |
| (=> (instance ?X BedLinen) (hasPurpose ?X (exists (?COVER ?BED) (and (instance ?COVER Covering) (patient ?COVER ?BED) (instance ?BED Bed) (instrument ?COVER ?X))))) |
Mid-level-ontology.kif 4777-4785 | If X is an instance of bed linen, then X has the purpose there exist Y, Z such that Y is an instance of covering, Z is a patient of Y, Z is an instance of bed, and X is an instrument for Y |
| consequent |
|
|
| (=> (instance ?X TurndownService) (exists (?FOLD ?BED ?SHEET) (and (instance ?FOLD Folding) (instance ?SHEET BedLinen) (instance ?BED Bed) (located ?SHEET ?BED) (patient ?FOLD ?SHEET) (subProcess ?FOLD ?X)))) |
Hotel.kif 1971-1980 | If X is an instance of turndown service, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of folding (3) W is an instance of bed linen (4) Z is an instance of bed (5) W is located at Z (6) W is a patient of Y (7) Y is a subprocess of X |
|