(=>
(and
(instance ?C DomesticCat)
(sheddingBodyPart ?C ?H))
(instance ?H Hair)) |
Geography.kif 6529-6533 |
|
(=>
(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 12706-12710 |
|
(=>
(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 26505-26513 |
|
(=>
(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 6022-6032 |
|
(=>
(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 5954-5963 |
|