Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HairIron(hair iron) |
| appearance as argument number 1 |
|
| (subclass HairIron BodyCareAppliance) | HouseholdAppliances.kif 227-227 | Hair iron is a subclass of body care appliance |
| (subclass HairIron ElectricDevice) | HouseholdAppliances.kif 228-228 | Hair iron is a subclass of electric device |
| (subclass HairIron HeatingDevice) | HouseholdAppliances.kif 229-229 | Hair iron is a subclass of heating device |
| (documentation HairIron EnglishLanguage "A device that can be used to change the hair structure with use of heat. Can be partitioned into Curling, Straightening, and Crimping iron.") | HouseholdAppliances.kif 231-233 | Hair iron is a subclass of heating device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HairIron "hair iron") | HouseholdAppliances.kif 235-235 |
| antecedent |
|
|
| (=> (instance ?DEVICE HairIron) (hasPurpose ?DEVICE (exists (?PURPOSE ?AGENT ?HAIR) (and (instance ?PURPOSE ShapeChange) (instance ?AGENT Human) (instance ?HAIR Hair) (agent ?PURPOSE Human) (patient ?PURPOSE ?HAIR))))) |
HouseholdAppliances.kif 237-246 | If X is an instance of hair iron, then X has the purpose there exist Y, Z, W such that Y is an instance of shape change, Z is an instance of human, W is an instance of hair, human is an agent of Y, and W is a patient of Y |
|