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 9492-9502	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 23677-23683	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 3390-3397	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)     (exists (?TRIP ?HUMAN)         (and             (instance ?TRIP Trip)             (agent ?TRIP ?HUMAN)             (hasPurpose ?TRIP                 (exists (?Work)                     (and                         (instance ?Work Working)                         (agent ?Work ?HUMAN)                         (holdsDuring ?Work ?TRIP)))))))	TravelPolicies.kif 349-360	If X is an instance of WorkingTrip, then there exist Y, Z such that Y is an instance of trip, Z is an agent of Y, Y has the purpose there exists W such that W is an instance of working, Z is an agent of W, and Y holds during W
(=>     (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 ?WORK ?TRIP))))             (not                 (and                     (basedIn ?HUMAN ?ORG ?AREA)                     (located ?WORK ?AREA))))))	TravelPolicies.kif 392-408	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 Y holds during U and ~{ basedIn Z, W and V } or ~{ U is located at V }

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