consequent

(=>     (attribute ?HUMAN         (ProfessionalFn ?SOCIALROLE))     (exists (?WORK ?PROC ?CLASS)         (and             (instance ?WORK Working)             (agent ?WORK ?HUMAN)             (subProcess ?PROC ?WORK)             (instance ?PROC ?CLASS)             (subclass ?CLASS IntentionalProcess)             (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN))))	Mid-level-ontology.kif 9606-9616	If profession X is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of working (3) Y is an agent of Z (4) W is a subprocess of Z (5) W is an instance of V (6) V is a subclass of intentional process (7) Y has the skill to do V in their role as X
(=>     (hasOccupation ?PERSON ?WORK)     (exists (?INST)         (and             (instance ?INST ?WORK)             (instance ?INST Working)             (agent ?INST ?PERSON))))	Mid-level-ontology.kif 23574-23580	If X has an occupation of Y, then there exists Z such that Z is an instance of X, Z is an instance of working, and Y is an agent of Z
(=>     (compensationPackage ?Agent ?Money ?Period)     (exists (?Activity)         (and             (instance ?Activity Working)             (agent ?Activity ?Agent)             (equal ?Period                 (WhenFn ?Activity))             (incomeEarned ?Agent ?Money ?Activity))))	FinancialOntology.kif 3430-3437	If X compensation package Y for Z, then there exists W such that W is an instance of working, X is an agent of W, equal Z, the time of existence of W, and X is income earned Y for W
(=>     (instance ?X BusinessCenter)     (hasPurpose ?X         (exists (?PERSON ?WORK ?OBJ)             (and                 (attribute ?PERSON BusinessPerson)                 (instance ?WORK Working)                 (instance ?OBJ Object)                 (located ?OBJ ?X)                 (agent ?WORK ?PERSON)                 (or                     (instrument ?WORK ?OBJ)                     (resource ?WORK ?OBJ)                     (patient ?WORK ?OBJ))))))	Hotel.kif 1666-1679	If X is an instance of business center, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that business person is an attribute of Y (3) Z is an instance of working (4) W is an instance of object (5) W is located at X (6) Y is an agent of Z (7) W is an instrument for Z or W is a resource for Z or W is a patient of Z
(=>     (instance ?T WorkingTrip)     (hasPurpose ?T         (exists (?Work)             (and                 (instance ?Work Working)                 (subProcess ?Work ?T)))))	TravelPolicies.kif 346-352	If X is an instance of WorkingTrip, then X has the purpose there exists Y such that Y is an instance of working and Y is a subprocess of X
(=>     (instance ?T BusinessTrip)     (exists (?TRIP ?HUMAN ?ORG ?AREA)         (and             (instance ?TRIP Trip)             (agent ?TRIP ?HUMAN)             (organizationRepresentative ?HUMAN ?ORG)             (hasPurpose ?TRIP                 (exists (?WORK)                     (and                         (instance ?WORK Working)                         (agent ?WORK ?HUMAN)                         (holdsDuring                             (WhenFn ?WORK)                             (not                                 (and                                     (basedIn ?HUMAN ?ORG ?AREA)                                     (located ?WORK ?AREA))))))))))	TravelPolicies.kif 384-401	If X is an instance of BusinessTrip, then there exist Y, Z,, , W and V such that Y is an instance of trip and Z is an agent of Y and an agent that is an organization representative (in some transaction) Z and W and Y has the purpose there exists U such that U is an instance of working and Z is an agent of U and ~{ basedIn Z, W and V } or ~{ U is located at V } holds during the time of existence of U

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