consequent

(=>     (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 6524-6533	If X is an instance of wool, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) X is a result of Y (4) Z is a resource for Y (5) Z is a part of W (6) Z is an instance of hair (7) W is an instance of sheep
(=>     (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 6592-6602	If X is an instance of veil, then X has the purpose there exist Y, Z such that Y is an instance of face, X meets Y or Z is an instance of hair, and X meets Z
(=>     (and         (instance ?REMOVE HairRemoval)         (resource ?REMOVE ?HAIR))     (instance ?HAIR Hair))	Mid-level-ontology.kif 13310-13314	If X is an instance of hair removal and Y is a resource for X, then Y is an instance of hair
(=>     (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 27689-27697	If X is an instance of hair dryer, then X has the purpose there exist Y, Z such that Y is an instance of hair, Z is an instance of drying, Y is a patient of Z, and X is an instrument for Z
(=>     (and         (instance ?E Eyebrow)         (attribute ?H Healthy)         (part ?E ?H)         (member ?C ?E))     (exists (?HAIR)         (and             (instance ?HAIR Hair)             (part ?HAIR ?E))))	Anatomy.kif 1480-1489	If X is an instance of eyebrow, healthy is an attribute of Y, X is a part of Y, and Z is a member of X, then there exists W such that W is an instance of hair and W is a part of X
(=>     (and         (instance ?C DomesticCat)         (sheddingBodyPart ?C ?H))     (instance ?H Hair))	Geography.kif 8086-8090	If X is an instance of domestic cat and X is Removing Y from its body, then Y is an instance of hair
(=>     (instance ?DEVICE HairIron)     (hasPurpose ?DEVICE         (exists (?PURPOSE ?AGENT ?HAIR)             (and                 (instance ?PURPOSE ShapeChange)                 (instance ?AGENT Human)                 (instance ?HAIR Hair)                 (agent ?PURPOSE Human)                 (patient ?PURPOSE ?HAIR)))))	HouseholdAppliances.kif 237-246	If X is an instance of hair iron, then X has the purpose there exist Y, Z, W such that Y is an instance of shape change, Z is an instance of human, W is an instance of hair, human is an agent of Y, and W is a patient of Y
(=>     (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 11931-11943	If barber shops is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of hair (3) Y is a part of Z (4) Z is an instance of human (5) W is an instance of cutting (6) Y is a patient of W (7) W is located at X (8) V is an agent of W (9) X employs V

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners