| Hair
| |
| appearance as argument number 1 |
|
|
| (documentation Hair EnglishLanguage "A filament that covers part of the body of many Mammals.") | Mid-level-ontology.kif 9952-9953 | |
| (externalImage Hair "http://upload.wikimedia.org/wikipedia/commons/0/08/ Hair.jpg") | pictureList.kif 107-107 | |
| (initialPart Hair Animal) | Mid-level-ontology.kif 9954-9954 | |
| (subclass Hair AnimalAnatomicalStructure) | Mid-level-ontology.kif 9951-9951 |
| appearance as argument number 2 |
|
|
| (subclass FacialHair Hair) | Mid-level-ontology.kif 9964-9964 | |
| (termFormat ChineseLanguage Hair "头发") | domainEnglishFormat.kif 27202-27202 | |
| (termFormat ChineseTraditionalLanguage Hair "頭髮") | domainEnglishFormat.kif 27201-27201 | |
| (termFormat EnglishLanguage Hair "hair") | domainEnglishFormat.kif 27200-27200 |
| antecedent |
|
|
| (=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL))))) |
Mid-level-ontology.kif 9956-9962 |
| consequent |
|
|
| (=> (and (instance ?REMOVE HairRemoval) (resource ?REMOVE ?HAIR)) (instance ?HAIR Hair)) |
Mid-level-ontology.kif 9979-9983 | |
| (=> (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 23320-23328 | |
| (=> (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 5721-5731 | |
| (=> (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 5656-5665 |
|
|
|