consequent

(=>     (attribute ?X AeronauticalEngineer)     (exists (?SKILL)         (and             (hasSkill ?SKILL ?X)             (forall (?P)                 (=>                     (instance ?P ?SKILL)                     (or                         (exists (?CONS ?OBJ ?PT)                             (and                                 (instance ?CONS Making)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?CONS ?OBJ)                                 (subProcess ?P ?CONS)))                         (exists (?DESIGN ?PLAN ?OBJ ?PT)                             (and                                 (instance ?DESIGN Designing)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?DESIGN ?PLAN)                                 (represents ?PLAN ?OBJ)                                 (subProcess ?P ?DESIGN)))))))))	Biography.kif 444-473	If aeronautical engineer is an attribute of X, then All of the following hold: (1) there exists Y such that X has the skill to do Y (2) Z Z is an instance of Ythere exist W, V (3) U such that W is an instance of making (4) V is an instance of aircraft or V is an instance of U (5) a U is typically a part of a aircraft (6) V is a result of W (7) Z is a subprocess of W or there exist T, S,, , V (8) U such that T is an instance of designing (9) V is an instance of aircraft or V is an instance of U (10) a U is typically a part of a aircraft (11) S is a result of T (12) S expresses V (13) Z is a subprocess of T
(=>     (attribute ?PERSON Designer)     (hasSkill Designing ?PERSON))	Biography.kif 688-690	If designer is an attribute of X, then X has the skill to do designing
(=>     (attribute ?ROOM ThemeRoom)     (exists (?DESIGN ?PROP)         (and             (instance ?DESIGN Designing)             (result ?DESIGN ?PROP)             (represents ?ROOM ?PROP))))	Hotel.kif 1096-1102	If theme room is an attribute of X, then there exist Y, Z such that Y is an instance of designing, Z is a result of Y, and X expresses Z
(=>     (attribute ?X Florists)     (hasPurpose ?X         (exists (?FLOWER ?PROC)             (and                 (instance ?PROC Designing)                 (instance ?FLOWER Collection)                 (memberType ?FLOWER Flower)                 (patient ?PROC ?FLOWER)                 (agent ?PROC ?X)))))	naics.kif 7773-7782	If florists is an attribute of X, then X has the purpose there exist Y, Z such that Z is an instance of designing, Y is an instance of collection, flower is a member type of Y, Y is a patient of Z, and X is an agent of Z

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

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners