consequent

(=>     (attribute ?HUMAN         (ProfessionalFn ?SOCIALROLE))     (exists (?WORK ?PROC)         (and             (instance ?WORK Working)             (agent ?WORK ?HUMAN)             (subProcess ?PROC ?WORK)             (instance ?PROC ?CLASS)             (subclass ?CLASS IntentionalProcess)             (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN))))	Mid-level-ontology.kif 9447-9457	If profession a social role is an attribute of an agent, then there exist a process and another process such that the process is an instance of working and the agent is an agent of the process and the other process is a subprocess of the process and the other process is an instance of a third kind of process and a third kind of process is a subclass of intentional process and the agent has the skill to do the third kind of process in their role as the social role
(=>     (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 a human compensation package a currency measure for a time interval, then there exists an organizational process such that the organizational process is an instance of working and the human is an agent of the organizational process and equal the time interval and the time of existence of the organizational process and the human is income earned the currency measure for the organizational process
(=>     (hasOccupation ?PERSON ?WORK)     (exists (?INST)         (and             (instance ?INST ?WORK)             (instance ?INST Working)             (agent ?INST ?PERSON))))	Mid-level-ontology.kif 22974-22980	If a kind of intentional process has an occupation of a human, then there exists a process such that the process is an instance of a kind of intentional process and the process is an instance of working and the human is an agent of the process
(=>     (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 a physical is an instance of business center, then the physical has the purpose there exist an entity, another entity and a third entity such that business person is an attribute of the entity and the other entity is an instance of working and the third entity is an instance of object and the third entity is located at the physical and the entity is an agent of the other entity and the third entity is an instrument for the other entity or the third entity is a resource for the other entity or the third entity is a patient of the other entity

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