Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Dressing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Dressing Putting) | Mid-level-ontology.kif 6619-6619 | Dressing is a subclass of putting |
| (documentation Dressing EnglishLanguage "The Process of putting on Clothing.") | Mid-level-ontology.kif 6620-6620 | Dressing is a subclass of putting |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DRESS Dressing) (agent ?DRESS ?AGENT) (patient ?DRESS ?CLOTHING)) (and (instance ?CLOTHING Clothing) (holdsDuring (BeginFn (WhenFn ?DRESS)) (not (wears ?AGENT ?CLOTHING))) (holdsDuring (EndFn (WhenFn ?DRESS)) (wears ?AGENT ?CLOTHING)))) |
Mid-level-ontology.kif 6622-6637 | If X is an instance of dressing, Y is an agent of X, and Z is a patient of X, then Z is an instance of clothing, Y doesn't wear Z holds during the beginning of the time of existence of X, and Y wears Z holds during the end of the time of existence of X |
| (=> (and (instance ?D Dressing) (instance ?O Oqal) (instance ?H Hat) (patient ?D ?O) (patient ?D ?H)) (hasPurpose ?O (exists (?A) (and (instance ?A Attaching) (instrument ?A ?O))))) |
ArabicCulture.kif 419-430 | If X is an instance of dressing, Y is an instance of oqal, Z is an instance of hat, Y is a patient of X, and Z is a patient of X, then Y has the purpose there exists W such that W is an instance of attaching and Y is an instrument for W |
| consequent |
|
|
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 HoleRegion) (hole ?H1 ?S) (instance ?H2 HoleRegion) (hole ?H2 ?S) (not (equal ?H1 ?H2)) (hasPurpose ?H1 (exists (?D ?F ?A ?I) (and (instance ?D Dressing) (instance ?F Foot) (agent ?D ?A) (part ?F ?A) (subProcess ?I ?D) (instance ?I Inserting) (patient ?I ?F) (destination ?I ?H1))))))) |
Mid-level-ontology.kif 6307-6327 | If X is an instance of sandal, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of hole (3) Y is a hole in X (4) Z is an instance of hole (5) Z is a hole in X (6) equal Y (7) Z (8) Y has the purpose there exist W, V,, , U (9) T such that W is an instance of dressing (10) V is an instance of foot (11) U is an agent of W (12) V is a part of U (13) T is a subprocess of W (14) T is an instance of inserting (15) V is a patient of T (16) T ends up at Y |
| (=> (instance ?CC ChangingClothing) (exists (?R ?D) (and (instance ?R RemovingClothing) (instance ?D Dressing) (subProcess ?R ?CC) (subProcess ?D ?CC)))) |
Mid-level-ontology.kif 6643-6650 | If X is an instance of changing clothing, then there exist Y, Z such that Y is an instance of removing clothing, Z is an instance of dressing, Y is a subprocess of X, and Z is a subprocess of X |
|