|
|
   Execution
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Hair EnglishLanguage "A filament that covers part of the body of many Mammals.") | Mid-level-ontology.kif 11809-11810 | |
| (externalImage Hair "http://upload.wikimedia.org/wikipedia/commons/0/08/ Hair.jpg") | pictureList.kif 107-107 | |
| (initialPart Hair Animal) | Mid-level-ontology.kif 11811-11811 | initialPart Hair and Animal |
| (subclass Hair AnimalAnatomicalStructure) | Mid-level-ontology.kif 11808-11808 | Hair e' uma sub-classe de AnimalAnatomicalStructure |
| appearance as argument number 2 |
|
|
| (subclass FacialHair Hair) | Mid-level-ontology.kif 11821-11821 | FacialHair e' uma sub-classe de Hair |
| (termFormat ChineseLanguage Hair "头发") | domainEnglishFormat.kif 27204-27204 | |
| (termFormat ChineseTraditionalLanguage Hair "頭髮") | domainEnglishFormat.kif 27203-27203 | |
| (termFormat EnglishLanguage Hair "hair") | domainEnglishFormat.kif 27202-27202 |
| antecedent |
|
|
| (=> (instance ?HAIR Hair) (exists (?MAMMAL ?TIME) (and (instance ?MAMMAL Mammal) (holdsDuring ?TIME (part ?HAIR ?MAMMAL))))) |
Mid-level-ontology.kif 11813-11819 |
| consequent |
|
|
| (=> (and (instance ?C DomesticCat) (sheddingBodyPart ?C ?H)) (instance ?H Hair)) |
Geography.kif 6461-6465 |
|
| (=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (exists (?HAIR) (and (instance ?HAIR Hair) (part ?HAIR ?E)))) |
Anatomy.kif 1458-1467 | |
| (=> (and (instance ?REMOVE HairRemoval) (resource ?REMOVE ?HAIR)) (instance ?HAIR Hair)) |
Mid-level-ontology.kif 11837-11841 | |
| (=> (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 25443-25451 | |
| (=> (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 5467-5477 | |
| (=> (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 5399-5408 |
|
|
|
