Hair![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Hair EnglishLanguage "A filament that covers part of the body of many Mammals.") | Mid-level-ontology.kif 13131-13132 | |
(externalImage Hair "http://upload.wikimedia.org/wikipedia/commons/0/08/ Hair.jpg") | pictureList.kif 107-107 | |
(initialPart Hair Animal) | Mid-level-ontology.kif 13133-13133 | |
(subclass Hair AnimalAnatomicalStructure) | Mid-level-ontology.kif 13130-13130 |
appearance as argument number 2 |
![]() |
(subclass FacialHair Hair) | Mid-level-ontology.kif 13143-13143 | |
(termFormat ChineseLanguage Hair "头发") | domainEnglishFormat.kif 27232-27232 | |
(termFormat ChineseTraditionalLanguage Hair "頭髮") | domainEnglishFormat.kif 27231-27231 | |
(termFormat EnglishLanguage Hair "hair") | domainEnglishFormat.kif 27230-27230 |
antecedent |
![]() |
(=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL))))) |
Mid-level-ontology.kif 13135-13141 |
consequent |
![]() |
(=> (and (instance ?C DomesticCat) (sheddingBodyPart ?C ?H)) (instance ?H Hair)) |
Geography.kif 6530-6534 | |
(=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (exists (?HAIR) (and (instance ?HAIR Hair) (part ?HAIR ?E)))) |
Anatomy.kif 1457-1466 | |
(=> (and (instance ?REMOVE HairRemoval) (resource ?REMOVE ?HAIR)) (instance ?HAIR Hair)) |
Mid-level-ontology.kif 13159-13163 | |
(=> (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 11934-11946 | |
(=> (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 27055-27063 | |
(=> (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 6436-6446 | |
(=> (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 6368-6377 |
![]() |
![]() |