| Hair
| |
| appearance as argument number 1 |
|
|
| (documentation Hair EnglishLanguage "A filament that covers part of the body of many Mammals.") | Mid-level-ontology.kif 9955-9956 | |
| (externalImage Hair "http://upload.wikimedia.org/wikipedia/commons/0/08/ Hair.jpg") | pictureList.kif 107-107 | |
| (initialPart Hair Animal) | Mid-level-ontology.kif 9957-9957 | |
| (subclass Hair AnimalAnatomicalStructure) | Mid-level-ontology.kif 9954-9954 |
| appearance as argument number 2 |
|
|
| (subclass FacialHair Hair) | Mid-level-ontology.kif 9967-9967 | |
| (termFormat ChineseLanguage Hair "头发") | domainEnglishFormat.kif 27133-27133 | |
| (termFormat ChineseTraditionalLanguage Hair "頭髮") | domainEnglishFormat.kif 27132-27132 | |
| (termFormat EnglishLanguage Hair "hair") | domainEnglishFormat.kif 27131-27131 |
| antecedent |
|
|
| (=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL))))) |
Mid-level-ontology.kif 9959-9965 |
| consequent |
|
|
| (=> (and (instance ?REMOVE HairRemoval) (resource ?REMOVE ?HAIR)) (instance ?HAIR Hair)) |
Mid-level-ontology.kif 9982-9986 | |
| (=> (attribute ?X BarberShops) (hasPurpose ?X (exists (?HAIR ?HUMAN ?CUT ?STYLIST) (and (instance ?HAIR Hair) (part ?HAIR ?HUMAN) (instance ?HUMAN Human) (instance ?CUT Cutting) (patient ?CUT ?HAIR) (eventLocated ?CUT ?X) (agent ?CUT ?STYLIST) (employs ?X ?STYLIST))))) |
naics.kif 11857-11869 | |
| (=> (instance ?HD HairDryer) (hasPurpose ?HD (exists (?HAIR ?DRYING) (and (instance ?HAIR Hair) (instance ?DRYING Drying) (patient ?DRYING ?HAIR) (instrument ?DRYING ?HD))))) |
Mid-level-ontology.kif 23277-23285 | |
| (=> (instance ?V Veil) (hasPurpose ?V (exists (?F ?H) (or (and (instance ?F Face) (meetsSpatially ?V ?F)) (and (instance ?H Hair) (meetsSpatially ?V ?H)))))) |
Mid-level-ontology.kif 5715-5725 | |
| (=> (instance ?W Wool) (exists (?M ?H ?S) (and (instance ?M Making) (result ?M ?W) (resource ?M ?H) (part ?H ?S) (instance ?H Hair) (instance ?S Sheep)))) |
Mid-level-ontology.kif 5650-5659 |
|
|
|