consequent

(=>     (and         (attribute ?X DutyFree)         (instance ?X Store))     (exists (?AREA ?OBJ ?O ?SELL)         (and             (instance ?AREA GeopoliticalArea)             (located ?X ?AREA)             (subclass ?O Object)             (importCommodityType ?AREA ?O)             (instance ?OBJ ?O)             (instance ?SELL Selling)             (patient ?SELL ?OBJ)             (located ?SELL ?X))))	Hotel.kif 1489-1502	If DutyFree is an attribute of an object and the object is an instance of Store, then there exist a geopolitical area, an entity,, , another kind of object and a process such that the geopolitical area is an instance of geopolitical area and the object is located at the geopolitical area and another kind of object is a subclass of object and importCommodityType the geopolitical area and the other kind of object and the entity is an instance of the other kind of object and the process is an instance of selling and the entity is a patient of the process and the process is located at the object
(=>     (and         (holdsDuring ?T1             (and                 (attribute ?PERSON DislocatedCivilian)                 (inhabits ?PERSON ?RESIDENCE)                 (located ?RESIDENCE ?PLACE)))         (instance ?PLACE GeographicArea)         (instance ?T1 TimeInterval))     (exists (?T0 ?PRIOR_PLACE ?PRIOR_RES)         (and             (instance ?T0 TimeInterval)             (earlier ?T0 ?T1)             (instance ?PRIOR_RES Object)             (instance ?PRIOR_PLACE GeopoliticalArea)             (located ?PRIOR_RES ?PRIOR_PLACE)             (not                 (equal ?PLACE ?PRIOR_PLACE))             (not                 (equal ?RESIDENCE ?PRIOR_RES))             (not                 (geographicSubregion ?PLACE ?PRIOR_PLACE))             (not                 (geographicSubregion ?PRIOR_PLACE ?PLACE))             (holdsDuring ?T0                 (inhabits ?PERSON ?PRIOR_RES)))))	MilitaryPersons.kif 26-47	If DislocatedCivilian is an attribute of an entity and the entity lives in another entity and the other entity is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, a third entity_PLACE and the third entity_RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the third entity_RES is an instance of object and the third entity_PLACE is an instance of geopolitical area and the third entity_RES is located at the third entity_PLACE and equal the geographic area and the third entity_PLACE and equal the other entity and the third entity_RES and geographicSubregion the geographic area and the third entity_PLACE and geographicSubregion the third entity_PLACE and the geographic area and the entity lives in the third entity_RES holds during the other time interval
(=>     (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 ElectionFn 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 ?EXPORT Exporting)         (patient ?EXPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?EXPORT))             (located ?ITEM ?AREA1)))     (exists (?AREA2)         (and             (instance ?AREA2 GeopoliticalArea)             (not                 (geopoliticalSubdivision ?AREA1 ?AREA2))             (not                 (geopoliticalSubdivision ?AREA2 ?AREA1))             (holdsDuring                 (EndFn                     (WhenFn ?EXPORT))                 (located ?ITEM ?AREA2)))))	Economy.kif 2667-2680	If a process is an instance of Exporting and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area holds during the end of the time of existence of the process
(=>     (and         (instance ?IMPORT Importing)         (patient ?IMPORT ?ITEM)         (instance ?AREA1 GeopoliticalArea)         (holdsDuring             (BeginFn                 (WhenFn ?IMPORT))             (located ?ITEM ?AREA1)))     (exists (?AREA2)         (and             (instance ?AREA2 GeopoliticalArea)             (not                 (geopoliticalSubdivision ?AREA1 ?AREA2))             (not                 (geopoliticalSubdivision ?AREA2 ?AREA1))             (holdsDuring                 (EndFn                     (WhenFn ?IMPORT))                 (located ?ITEM ?AREA2)))))	Economy.kif 2827-2846	If a process is an instance of Importing and an entity is a patient of the process and a geopolitical area is an instance of geopolitical area and the entity is located at the geopolitical area holds during the beginning of the time of existence of the process, then there exists another geopolitical area such that the other geopolitical area is an instance of geopolitical area and the geopolitical area is not a geopolitical part of the other geopolitical area and the other geopolitical area is not a geopolitical part of the geopolitical area and the entity is located at the other geopolitical area holds during the end of the time of existence of the process
(=>     (and         (instance ?R PoliticalRevolution)         (patient ?R ?A))     (instance ?A GeopoliticalArea))	Mid-level-ontology.kif 15243-15247	If a process is an instance of PoliticalRevolution and an entity is a patient of the process, then the entity is an instance of geopolitical area
(=>     (and         (instance ?REL EconomicRelation)         (domain ?REL 1 ?CLASS))     (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 18278-18282	If a relation is an instance of EconomicRelation and the number 1 argument of the relation is an instance of a class, then the class is a subclass of geopolitical area
(=>     (and         (instance ?TRANS Buying)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (agent ?TRANS ?BUYER)             (origin ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1841-1858	If an object is an instance of buying and CBT is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist another object, an agent,, , the agent_LOCATION and the other object_LOCATION such that the agent is an instance of agent and the other object is an instance of agent and the agent is an agent of the object and the object originates at the other object and the agent_LOCATION is an instance of geopolitical area and the other object_LOCATION is an instance of geopolitical area and the other object is located at the other object_LOCATION and the agent is located at the agent_LOCATION and equal the agent_LOCATION and the other object_LOCATION
(=>     (and         (instance ?TRANS Selling)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (destination ?TRANS ?BUYER)             (agent ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1822-1839	If an object is an instance of selling and CBT is an attribute of the object and an entity is a patient of the object and the entity is an instance of object, then there exist an agent, a physical,, , the physical_LOCATION and the agent_LOCATION such that the physical is an instance of agent and the agent is an instance of agent and the object ends up at the physical and the agent is an agent of the object and the physical_LOCATION is an instance of geopolitical area and the agent_LOCATION is an instance of geopolitical area and the agent is located at the agent_LOCATION and the physical is located at the physical_LOCATION and equal the physical_LOCATION and the agent_LOCATION
(=>     (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 13514-13525	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
(=>     (and         (member ?AGENT InternationalCourtOfJustice)         (attribute ?AGENT JudgeAtLaw))     (exists (?POLITY)         (and             (instance ?POLITY GeopoliticalArea)             (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))	Government.kif 3427-3434	If an agent is a member of InternationalCourtOfJustice and JudgeAtLaw is an attribute of the agent, then there exists another agent such that the other agent is an instance of geopolitical area and representativeAgentToAgent the other agent, the agent and InternationalCourtOfJustice
(=>     (attribute ?PERSON Monarch)     (exists (?PLACE)         (and             (instance ?PLACE GeopoliticalArea)             (governmentType ?PLACE Monarchy)             (chiefOfState ?PLACE Monarch ?PERSON))))	Government.kif 1325-1331	If Monarch is an attribute of a human, then there exists a geopolitical area such that the geopolitical area is an instance of geopolitical area and governmentType the geopolitical area and Monarchy and chiefOfState the geopolitical area, Monarch and the human
(=>     (economyType ?AGENT ?ATTRIBUTE)     (or         (instance ?AGENT GeopoliticalArea)         (instance ?AGENT Organization)))	Economy.kif 91-95	If economyType an agent and an EconomicAttribute, 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 4036-4040	If equal a time interval and FiscalYearFn 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 4064-4068	If equal a time interval and FiscalYearStartingFn 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 executiveBranch an organization and an agent, 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 governmentType an agent and a FormOfGovernment, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=>     (instance ?C Coronation)     (exists (?PERSON ?PLACE)         (and             (instance ?PERSON Human)             (patient ?C ?PERSON)             (instance ?PLACE GeopoliticalArea)             (holdsDuring                 (BeginFn                     (WhenFn ?C))                 (not                     (chiefOfState ?PLACE Monarch ?PERSON)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?C))                 (chiefOfState ?PLACE Monarch ?PERSON)))))	Government.kif 1337-1352	If a process is an instance of Coronation, then there exist an entity and another entity such that the entity is an instance of human and the entity is a patient of the process and the other entity is an instance of geopolitical area and chiefOfState the other entity, Monarch and the entity holds during the beginning of the time of existence of the process and chiefOfState the other entity, Monarch and the entity holds during immediately after the time of existence of the process
(=>     (instance ?GAS GoodsAndServices)     (and         (instance ?GPA GeopoliticalArea)         (=>             (and                 (instance ?M Manufacture)                 (result ?M ?PRODUCT)                 (agent ?M ?MAKER)                 (member ?MAKER                     (CitizenryFn ?GPA))                 (finishesDuring                     (WhenFn ?M) ?Y)                 (located ?M ?GPA))             (member ?PRODUCT ?GAS))         (=>             (and                 (instance ?SERVICE Process)                 (attribute ?SERVICE ServiceInEconomics)                 (agent ?SERVICE ?PROVIDER)                 (member ?PROVIDER                     (CitizenryFn ?GPA))                 (finishesDuring                     (WhenFn ?SERVICE) ?Y)                 (located ?SERVICE ?GPA))             (member ?SERVICE ?GAS))))	Economy.kif 6901-6922	If a collection is an instance of GoodsAndServices, then a geopolitical area is an instance of geopolitical area and if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of CitizenryFn the geopolitical area and finishesDuring the time of existence of the process and a time interval and the process is located at the geopolitical area, then the physical is a member of the collection and if an object is an instance of process and ServiceInEconomics is an attribute of the object and another agent is an agent of the object and the other agent is a member of CitizenryFn the geopolitical area and finishesDuring the time of existence of the object and the time interval and the object is located at the geopolitical area, then the object is a member of the collection
(=>     (instance ?GXT GlobalCrossFunctionalTeam)     (exists (?MEMBER1 ?MEMBER1_LOC ?MEMBER2 ?MEMBER2_LOC)         (and             (instance ?MEMBER1 Human)             (instance ?MEMBER2 Human)             (instance ?MEMBER1_LOC GeopoliticalArea)             (instance ?MEMBER2_LOC GeopoliticalArea)             (member ?MEMBER1 ?GXT)             (member ?MEMBER2 ?GXT)             (located ?MEMBER1 ?MEMBER1_LOC)             (located ?MEMBER2 ?MEMBER2_LOC)             (not                 (equal ?MEMBER1_LOC ?MEMBER2_LOC)))))	UXExperimentalTerms.kif 2728-2741	If a collection is an instance of GlobalCrossFunctionalTeam, then there exist a physical, the physical_LOC,, , another physical and the other physical_LOC such that the physical is an instance of human and the other physical is an instance of human and the physical_LOC is an instance of geopolitical area and the other physical_LOC is an instance of geopolitical area and the physical is a member of the collection and the other physical is a member of the collection and the physical is located at the physical_LOC and the other physical is located at the other physical_LOC and equal the physical_LOC and the other physical_LOC
(=>     (instance ?MILITARY MilitaryOrganization)     (exists (?AREA)         (and             (instance ?AREA GeopoliticalArea)             (militaryOfArea ?MILITARY ?AREA))))	Military.kif 858-863	If a MilitaryOrganization is an instance of MilitaryOrganization, then there exists a geopolitical area such that the geopolitical area is an instance of geopolitical area and militaryOfArea the MilitaryOrganization and the geopolitical area
(=>     (instance ?TREATY TreatyDocument)     (exists (?COMM ?COUNTRY1 ?COUNTRY2)         (and             (instance ?COMM Committing)             (patient ?COMM ?TREATY)             (instance ?COUNTRY1 GeopoliticalArea)             (agent ?COMM ?COUNTRY1)             (instance ?COUNTRY2 GeopoliticalArea)             (agent ?COMM ?COUNTRY2)             (not                 (equal ?COUNTRY1 ?COUNTRY2)))))	Geography.kif 4507-4517	If an entity is an instance of TreatyDocument, then there exist a process, an agent and another agent such that the process is an instance of committing and the entity is a patient of the process and the agent is an instance of geopolitical area and the agent is an agent of the process and the other agent is an instance of geopolitical area and the other agent is an agent of the process and equal the agent and the other agent
(=>     (judicialBranch ?BRANCH ?AGENT)     (or         (instance ?BRANCH GeopoliticalArea)         (instance ?BRANCH Organization)))	Government.kif 2064-2068	If judicialBranch an organization and an agent, 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 legislativeBranch an organization and an agent, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=>     (member ?CAPITALIST Capitalism)     (believes ?CAPITALIST         (exists (?MEANOFPRODUCTION ?OBJ ?COUNTRY ?AA)             (and                 (instance ?MEANOFPRODUCTION MeanOfProduction)                 (attribute ?OBJ ?MEANOFPRODUCTION)                 (instance ?COUNTRY GeopoliticalArea)                 (located ?OBJ ?COUNTRY)                 (instance ?AA AutonomousAgent)                 (element ?OBJ                     (PropertyFn ?AA))                 (not                     (equal ?AA                         (CitizenryFn ?COUNTRY)))))))	Economy.kif 905-917	If a cognitive agent is a member of Capitalism, then the cognitive agent believes there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of MeanOfProduction and the entity is an attribute of the other entity and the third entity is an instance of geopolitical area and the other entity is located at the third entity and the fourth entity is an instance of agent and the other entity is an element of belongings of the fourth entity and equal the fourth entity and CitizenryFn the third entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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