consequent

(=>     (and         (instance ?ACT OrganizationalProcess)         (agent ?ACT ?AGENT))     (or         (instance ?AGENT Organization)         (exists (?ORG)             (and                 (instance ?ORG Organization)                 (member ?AGENT ?ORG)))))	Merge.kif 10675-10684	If a process is an instance of organizational process and an agent is an agent of the process, then the agent is an instance of organization or there exists a collection such that the collection is an instance of organization and the agent is a member of the collection
(=>     (and         (instance ?AGENT AutonomousAgent)         (subclass             (ElectionFn ?AGENT) Election))     (or         (instance ?AGENT Organization)         (instance ?AGENT GeopoliticalArea)))	Government.kif 1654-1660	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=>     (and         (instance ?ATTR IndustryAttribute)         (attribute ?OBJ ?ATTR))     (instance ?OBJ Organization))	Media.kif 1884-1888	If an attribute is an instance of industry attribute and the attribute is an attribute of an object, then the object is an instance of organization
(=>     (and         (instance ?UNIT CommercialUnit)         (instance ?ORG Organization)         (located ?ORG ?UNIT))     (not         (exists (?OTHER)             (and                 (instance ?OTHER Organization)                 (located ?OTHER ?UNIT)                 (not                     (equal ?OTHER ?ORG))))))	Mid-level-ontology.kif 8225-8234	If an object is an instance of commercial unit and a physical is an instance of organization and the physical is located at the object, then there doesn't exist another physical such that the other physical is an instance of organization and the other physical is located at the object and equal the other physical and the physical
(=>     (and         (instance ?WAR War)         (agent ?WAR ?AGENT))     (or         (instance ?AGENT GeopoliticalArea)         (and             (instance ?AGENT Organization)             (forall (?MEMBER)                 (=>                     (member ?MEMBER ?AGENT)                     (instance ?MEMBER GeopoliticalArea))))))	Merge.kif 13489-13500	If a process is an instance of war and an agent is an agent of the process, then the agent is an instance of geopolitical area or the agent is an instance of organization and for all a physical if the physical is a member of the agent, then the physical is an instance of geopolitical area
(=>     (attribute ?X BusinessExecutive)     (exists (?BUSINESS ?MANAGE)         (and             (instance ?MANAGE Managing)             (instance ?BUSINESS Organization)             (patient ?MANAGE ?BUSINESS)             (agent ?MANAGE ?X))))	Mid-level-ontology.kif 23791-23798	If business executive is an attribute of an agent, then there exist an entity and a process such that the process is an instance of managing and the entity is an instance of organization and the entity is a patient of the process and the agent is an agent of the process
(=>     (directed ?DIRECTOR ?MOVIE)     (exists (?FILMMAKING ?FILMCREW)         (and             (instance ?FILMMAKING FilmMaking)             (instance ?FILMCREW Organization)             (leader ?FILMCREW ?DIRECTOR)             (agent ?FILMMAKING ?FILMCREW)             (result ?FILMMAKING ?MOVIE))))	Mid-level-ontology.kif 22329-22337	If a human directed a motion picture, then there exist a process and an agent such that the process is an instance of film making and the agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process
(=>     (economyType ?AGENT ?ATTRIBUTE)     (or         (instance ?AGENT GeopoliticalArea)         (instance ?AGENT Organization)))	Economy.kif 91-95	If an economic attribute is an economy type of an agent, then the agent is an instance of geopolitical area or the agent is an instance of organization
(=>     (equal ?FY         (FiscalYearFn ?PLACE))     (or         (instance ?PLACE GeopoliticalArea)         (instance ?PLACE Organization)))	Economy.kif 4041-4045	If equal a kind of time interval and the fiscal year of an agent, then the agent is an instance of geopolitical area or the agent is an instance of organization
(=>     (equal ?FY         (FiscalYearStartingFn ?PLACE ?YEAR))     (or         (instance ?PLACE GeopoliticalArea)         (instance ?PLACE Organization)))	Economy.kif 4069-4073	If equal a time interval and the fiscal year starting of an agent and a kind of year, then the agent is an instance of geopolitical area or the agent is an instance of organization
(=>     (executiveBranch ?BRANCH ?AGENT)     (or         (instance ?BRANCH GeopoliticalArea)         (instance ?BRANCH Organization)))	Government.kif 1251-1255	If an agent is an executive branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
(=>     (governmentType ?AGENT ?TYPE)     (or         (instance ?AGENT Organization)         (instance ?AGENT GeopoliticalArea)))	Government.kif 136-140	If a form of government is a government type of an agent, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=>     (holdsDuring ?T1         (coworker ?H1 ?H2))     (exists (?ORG)         (and             (instance ?ORG Organization)             (holdsDuring ?T1                 (and                     (employs ?ORG ?H1)                     (employs ?ORG ?H2))))))	Mid-level-ontology.kif 24594-24603	If an entity is a coworker of another entity holds during a time position, then there exists a third entity such that the third entity is an instance of organization and the third entity employs the other entity and the third entity employs the entity holds during the time position
(=>     (instance ?BU BuildingUnit)     (exists (?O ?B)         (and             (instance ?B Building)             (instance ?O Organization)             (part ?BU ?B)             (workLocation ?O ?BU))))	Mid-level-ontology.kif 22157-22164	If a stationary artifact is an instance of building unit, then there exist an organization and an object such that the object is an instance of building and the organization is an instance of organization and the stationary artifact is a part of the object and members of the organization work at the stationary artifact
(=>     (instance ?CS CustomerSupport)     (exists (?ORG)         (and             (instance ?ORG Organization)             (businessUnit ?CS ?ORG))))	UXExperimentalTerms.kif 2788-2793	If an organization is an instance of customer support, then there exists a business such that the business is an instance of organization and the organization is a business unit of the business
(=>     (instance ?CS CustomerSupport)     (hasPurpose ?CS         (exists (?MEMBER ?CUSTOMER ?ORG)             (and                 (instance ?MEMBER CognitiveAgent)                 (instance ?CUSTOMER CognitiveAgent)                 (instance ?ORG Organization)                 (businessUnit ?CS ?ORG)                 (member ?MEMBER ?CS)                 (customerRepresentative ?MEMBER ?CUSTOMER ?ORG)))))	UXExperimentalTerms.kif 2795-2805	If a physical is an instance of customer support, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of cognitive agent and the other entity is an instance of cognitive agent and the third entity is an instance of organization and the physical is a business unit of the third entity and the entity is a member of the physical and the entity customer representative the other entity for the third entity
(=>     (instance ?DC DrugCandidate)     (exists (?O)         (and             (instance ?O Organization)             (hasPurposeForAgent ?DC                 (instance ?DC Medicine) ?O))))	Medicine.kif 3090-3097	If a physical is an instance of drug candidate, then there exists an agent such that the agent is an instance of organization and the physical has the purpose the physical is an instance of medicine for the agent
(=>     (instance ?FOUND Founding)     (exists (?ORG)         (and             (instance ?ORG Organization)             (result ?FOUND ?ORG))))	Mid-level-ontology.kif 928-933	If a process is an instance of founding, then there exists an entity such that the entity is an instance of organization and the entity is a result of the process
(=>     (instance ?N BroadcastNetwork)     (exists (?O)         (and             (instance ?O Organization)             (forall (?M)                 (=>                     (member ?M ?N)                     (possesses ?O ?M))))))	Communications.kif 414-422	If a collection is an instance of broadcast network, then there exists an agent such that the agent is an instance of organization and for all an object if the object is a member of the collection, then the agent possesses the object
(=>     (instance ?RESOLUTION Resolution)     (exists (?AGENT ?MEETING)         (and             (instance ?AGENT Organization)             (agent ?RESOLUTION ?AGENT)             (subProcess ?RESOLUTION ?MEETING)             (instance ?MEETING FormalMeeting))))	Mid-level-ontology.kif 17431-17438	If a process is an instance of resolution, then there exist an agent and another process such that the agent is an instance of organization and the agent is an agent of the process and the process is a subprocess of the other process and the other process is an instance of formal meeting
(=>     (judicialBranch ?BRANCH ?AGENT)     (or         (instance ?BRANCH GeopoliticalArea)         (instance ?BRANCH Organization)))	Government.kif 2064-2068	If an agent is a judicial branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
(=>     (legislativeBranch ?ORG ?AGENT)     (or         (instance ?AGENT Organization)         (instance ?AGENT GeopoliticalArea)))	Government.kif 1969-1973	If an agent is a legislative branch of an organization, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=>     (suffrageAgeMaximum ?AGENT ?AGE)     (or         (instance ?AGENT Organization)         (instance ?AGENT GeopoliticalArea)))	Government.kif 985-989	If a time duration is a suffrage age maximum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area
(=>     (suffrageAgeMinimum ?AGENT ?AGE)     (or         (instance ?AGENT Organization)         (instance ?AGENT GeopoliticalArea)))	Government.kif 913-917	If a time duration is a suffrage age minimum of the time durationNT, then the time durationNT is an instance of organization or the time durationNT is an instance of geopolitical area

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