(=>     (instance ?SVC TransportationService)     (exists (?VEHICLE ?AGENT ?TRANS ?CUST)         (and             (agent ?SVC ?AGENT)             (possesses ?AGENT ?VEHICLE)             (customer ?CUST ?AGENT)             (instance ?VEHICLE Vehicle)             (instance ?TRANS Transportation)             (agent ?TRANS ?AGENT)             (patient ?TRANS ?CUST)             (instrument ?TRANS ?VEHICLE)             (subProcess ?TRANS ?SVC))))	Transportation.kif 3340-3352	If a process is an instance of transportation service, then there exist an object, an agent,, , another process and a cognitive agent such that the agent is an agent of the process and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of vehicle and the other process is an instance of transportation and the agent is an agent of the other process and the cognitive agent is a patient of the other process and the object is an instrument for the other process and the other process is a subprocess of the process
(=>     (instance ?Title Title)     (exists (?Property ?Agent)         (containsInformation ?Title             (possesses ?Agent ?Property))))	FinancialOntology.kif 3932-3935	If a content bearing physical is an instance of title, then there exist an entity and another entity such that the content bearing physical contains information the other entity possesses the entity
(=>     (instance ?X CurrencyExchangeService)     (exists (?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST ?M1 ?M2 ?NUM1 ?NUM2)         (and             (agent ?X ?CUST)             (not                 (equal ?CURR1 ?CURR2))             (instance ?AMT1 CurrencyMeasure)             (instance ?AMT2 CurrencyMeasure)             (holdsDuring                 (BeginFn                     (WhenFn ?X))                 (and                     (monetaryValue ?M1 ?AMT1)                     (possesses ?CUST ?M1)                     (equal ?AMT1                         (MeasureFn ?NUM1 ?CURR1))))             (holdsDuring                 (EndFn                     (WhenFn ?X))                 (and                     (monetaryValue ?M2 ?AMT2)                     (possesses ?CUST ?M2)                     (not                         (possesses ?CUST ?M1))                     (equal ?AMT2                         (MeasureFn ?NUM2 ?CURR2)))))))	Hotel.kif 2104-2124	If a process is an instance of currency exchange, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , an agent,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the agent is an agent of the process and the other entity is not equal to the fourth entity and the entity is an instance of currency measure and the third entity is an instance of currency measure and value of the fifth entity is the entity and the agent possesses the fifth entity and the entity is equal to the seventh entity the other entity(s) holds during the beginning of the time of existence of the process and value of the sixth entity is the third entity and the agent possesses the sixth entity and the agent doesn't possess the fifth entity and the third entity is equal to the eighth entity the fourth entity(s) holds during the end of the time of existence of the process
(=>     (instance ?X EducationalFacility)     (exists (?ORG)         (and             (instance ?ORG EducationalOrganization)             (possesses ?ORG ?X))))	Mid-level-ontology.kif 22581-22586	If an object is an instance of educational facility, then there exists an agent such that the agent is an instance of educational organization and the agent possesses the object
(=>     (instance ?X EmbassyBuilding)     (exists (?EGOV ?OTHERGOV)         (and             (instance ?EGOV Nation)             (instance ?OTHERGOV Nation)             (not                 (equal ?EGOV ?OTHERGOV))             (possesses ?EGOV ?X)             (located ?X ?OTHERGOV))))	Mid-level-ontology.kif 22379-22388	If an object is an instance of embassy building, then there exist an agent and another object such that the agent is an instance of nation and the other object is an instance of nation and the agent is not equal to the other object and the agent possesses the object and the object is located at the other object
(=>     (instance ?X GovernmentBuilding)     (exists (?G)         (and             (instance ?G Government)             (possesses ?G ?X))))	Mid-level-ontology.kif 22405-22410	If an object is an instance of government building, then there exists an agent such that the agent is an instance of government and the agent possesses the object
(=>     (instance ?X Hijacking)     (exists (?V ?A)         (and             (agent ?X ?A)             (instance ?V TransportationDevice)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?X))                 (not                     (possesses ?A ?V)))             (holdsDuring                 (WhenFn ?X)                 (possesses ?A ?V)))))	Mid-level-ontology.kif 21904-21917	If a process is an instance of hijacking, then there exist an entity and an agent such that the agent is an agent of the process and the entity is an instance of transportation device and the agent doesn't possess the entity holds during immediately before the time of existence of the process and the agent possesses the entity holds during the time of existence of the process
(=>     (instance ?X RestaurantBuilding)     (hasPurpose ?X         (exists (?OWN ?EMP ?EV ?P ?PAY)             (and                 (employs ?OWN ?EMP)                 (possesses ?OWN ?X)                 (instance ?P Human)                 (instance ?PAY FinancialTransaction)                 (agent ?PAY ?P)                 (patient ?PAY ?EMP)                 (confersRight ?EMP ?EV ?P)                 (instance ?EV Eating)                 (agent ?EV ?P)                 (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22560-22574	If a physical is an instance of restaurant building, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the fourth entityAY such that the entity employs the other entity and the entity possesses the physical and the fourth entity is an instance of human and the fourth entityAY is an instance of financial transaction and the fourth entity is an agent of the fourth entityAY and the other entity is a patient of the fourth entityAY and the third entity allows the fourth entity to perform task of the type the other entity and the third entity is an instance of eating and the fourth entity is an agent of the third entity and the third entity is located at the physical
(=>     (landlord ?L ?U)     (exists (?R ?P)         (and             (possesses ?L ?U)             (tenant ?P ?U)             (agent ?R ?P)             (instance ?R Renting)             (patient ?R ?U))))	Mid-level-ontology.kif 6891-6899	If a permanent residence is a landlord of an agent, then there exist a process and another agent such that the agent possesses the permanent residence and the permanent residence is a tenant of the other agent and the other agent is an agent of the process and the process is an instance of renting and the permanent residence is a patient of the process
(=>     (managedBy ?OBJ ?AGENT)     (exists (?AGENT2 ?MAN)         (and             (possesses ?AGENT2 ?OBJ)             (instance ?MAN Managing)             (patient ?MAN ?OBJ)             (agent ?MAN ?AGENT))))	Hotel.kif 648-655	If an object is managed by an agent, then there exist the agent2 and a process such that the agent2 possesses the object and the process is an instance of managing and the object is a patient of the process and the agent is an agent of the process
(=>     (rents ?CUST ?AGENT ?OBJ ?TI)     (holdsDuring ?TI         (exists (?RENT)             (and                 (instance ?RENT Renting)                 (patient ?RENT ?OBJ)                 (agent ?RENT ?CUST)                 (possesses ?AGENT ?OBJ)))))	Mid-level-ontology.kif 30001-30009	If an agent rents an object to another agent during a time interval, then there exists an entity such that the entity is an instance of renting and the object is a patient of the entity and the other agent is an agent of the entity and the agent possesses the object holds during the time interval
(=>     (shortage ?A ?O ?C ?T ?Q)     (desires ?A         (exists (?I)             (and                 (instance ?I ?O)                 (possesses ?A ?I)))))	Mid-level-ontology.kif 30890-30896	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval, then the cognitive agent desires there exists an entity such that the entity is an instance of a kind of object and the cognitive agent possesses the entity
(=>     (tenant ?P ?U)     (exists (?L ?R)         (and             (instance ?R Renting)             (landlord ?L ?U)             (agent ?R ?P)             (possesses ?L ?U)             (patient ?R ?U))))	Mid-level-ontology.kif 6907-6915	If a permanent residence is a tenant of an agent, then there exist another agent and a process such that the process is an instance of renting and the permanent residence is a landlord of the other agent and the agent is an agent of the process and the other agent possesses the permanent residence and the permanent residence is a patient of the process
(=>     (thirdPartyProduct ?ART ?ORG ?AG)     (possesses ?AG ?ART))	ComputingBrands.kif 3941-3943	If an artifact is a product owned by an agent but not manufactured by an organization, then the agent possesses the artifact
(=>     (visitorParameter ?VISITOR ?FORMULA ?SITE)     (exists (?AGENT)         (and             (instance ?AGENT CognitiveAgent)             (possesses ?AGENT ?SITE)             (knows ?AGENT ?FORMULA))))	UXExperimentalTerms.kif 1179-1185	If a formula is known about an agent who visits a web site, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent possesses the web site and the cognitive agent knows the formula

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