Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   KnockLight
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage KnockLight "knock light") | Mid-level-ontology.kif 28387-28387 |
| antecedent |
|
|
| (=> (and (instance ?KL KnockLight) (located ?KL ?ROOM) (instance ?ROOM Room) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?KNOCK ?SOUND ?LIGHT) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (causes ?KNOCK ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingVisibleLight) (instrument ?LIGHT ?KL))))) |
Mid-level-ontology.kif 28389-28406 | If X is an instance of knock light, X is located at Y, Y is an instance of room, Z is an instance of door, and Z is a part of Y, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of impacting (3) Z is a patient of W (4) W causes V (5) V is an instance of radiating sound (6) Z is an agent of V (7) V causes U (8) U is an instance of radiating visible light (9) X is an instrument for U |
| (=> (and (instance ?KL KnockLight) (instance ?A Human) (attribute ?A Deaf) (uses ?KL ?A)) (hasPurpose ?KL (exists (?KNOCK ?DOOR) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door) (knows ?A (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (instance ?DOOR Door))))))) |
Mid-level-ontology.kif 28408-28424 | If X is an instance of knock light, Y is an instance of human, deafness is an attribute of Y, and Y uses X, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of impacting (3) W is a patient of Z (4) W is an instance of door (5) Y knows Z is an instance of impacting (6) W is a patient of Z (7) W is an instance of door |
|