(=>     (and         (instance ?C Convoy)         (member ?X1 ?C)         (member ?X2 ?C)         (not             (equal ?X1 ?X2)))     (exists (?P1 ?P2 ?D)         (and             (instance ?P1 Transportation)             (instance ?P2 Transportation)             (agent ?P1 ?X1)             (agent ?P2 ?X2)             (destination ?P1 ?D)             (destination ?P2 ?D))))	Military.kif 108-122	If a collection is an instance of convoy and an agent is a member of the collection and another agent is a member of the collection and the agent is not equal to the other agent, then there exist a process, another process and an entity such that the process is an instance of transportation and the other process is an instance of transportation and the agent is an agent of the process and the other agent is an agent of the other process and the process ends up at the entity and the other process ends up at the entity
(=>     (and         (instance ?C Crystal)         (attribute ?C MonoCrystalline)         (instance ?Sub Substance)         (attribute ?Sub Solid)         (attribute ?Sub PolyCrystalline)         (instance ?S Substance)         (surface ?S ?Sub)         (not             (part ?C ?S)))     (exists (?CLNT)         (and             (instance ?CLNT Collection)             (memberCount ?CLNT ?X)             (greaterThanOrEqualTo ?X 4)             (=>                 (member ?MBR ?CLNT)                 (and                     (part ?MBR ?Sub)                     (meetsSpatially ?C ?MBR))))))	Geography.kif 6480-6500	If an object is an instance of crystal and mono crystalline is an attribute of the object and a self connected object is an instance of substance and solid is an attribute of the self connected object and poly crystalline is an attribute of the self connected object and another self connected object is an instance of substance and the other self connected object is a surface of the self connected object and the object is not a part of the other self connected object, then there exists the objectLNT such that the objectLNT is an instance of collection and an integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if another object is a member of the objectLNT, then the other object is a part of the self connected object and the object meets the other object
(=>     (and         (instance ?C InPersonCommunication)         (agent ?C ?A1)         (agent ?C ?A2)         (not             (equal ?A1 ?A2)))     (holdsDuring ?C         (orientation ?A1 ?A2 Near)))	Media.kif 224-231	If a process is an instance of InPersonCommunication and an agent is an agent of the process and another agent is an agent of the process and the agent is not equal to the other agent, then the agent is near to the other agent holds during the process
(=>     (and         (instance ?CC ComputerCable)         (not             (instance ?C Cable))         (part ?C ?CC))     (or         (instance ?C MaleConnector)         (instance ?C FemaleConnector)))	ComputingBrands.kif 2719-2727	If an object is an instance of cable and another object is not an instance of cable and the other object is a part of the object, then the other object is an instance of 公 or the other object is an instance of female
(=>     (and         (instance ?CITY AmericanCity)         (part ?CITY California)         (not             (equal ?CITY LosAngelesCalifornia)))     (greaterThan         (CardinalityFn             (ResidentFn LosAngelesCalifornia))         (CardinalityFn             (ResidentFn ?CITY))))	CountriesAndRegions.kif 812-817	If a geopolitical area is an instance of american city and the geopolitical area is a part of california and the geopolitical area is not equal to los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of the geopolitical area
(=>     (and         (instance ?COLL Collection)         (instance ?SITE WebSite)         (instance ?AGENT Agent)         (instance ?LISTING WebListing)         (instance ?TIME TimePoint)         (listingSeller ?LISTING ?AGENT)         (not             (member ?LISTING ?COLL))         (forall (?ITEM)             (=>                 (and                     (instance ?ITEM WebListing)                     (member ?ITEM                         (SellersItemsFn ?AGENT ?SITE))                     (temporalPart ?TIME                         (WhenFn ?ITEM))                     (not                         (equal ?ITEM ?LISTING)))                 (member ?ITEM ?COLL)))         (forall (?MEMBER)             (=>                 (member ?MEMBER ?COLL)                 (and                     (temporalPart ?TIME                         (WhenFn ?ITEM))                     (instance ?MEMBER WebListing)))))     (equal         (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))	UXExperimentalTerms.kif 1226-1253	If a collection is an instance of collection and a WebSite is an instance of WebSite and an agent is an instance of agent and a web listing is an instance of web listing and a time point is an instance of time point and the agent sells the web listing and the web listing is not a member of the collection and for all an object if the object is an instance of web listing and the object is a member of items for sale by the agent at the WebSite and the time point is a part of the time of existence of the object and the object is not equal to the web listing, then the object is a member of the collection and for all another object if the other object is a member of the collection, then the time point is a part of the time of existence of the object and the other object is an instance of web listing , then things for sale by the agent not listed in the web listing at the WebSite during the time point is equal to the collection
(=>     (and         (instance ?CS1 ?CLASS)         (subclass ?CLASS CompoundSubstance)         (not             (exists (?CS2)                 (and                     (instance ?CS2 ?CLASS)                     (part ?CS2 ?CS1))))         (molecularRatio ?ECLASS ?N ?CLASS)         (instance ?G Group)         (member ?E ?G)         (part ?E ?CS1)         (instance ?E ?ECLASS))     (memberCount ?G ?N))	Cars.kif 1768-1782	If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and the number of molecules of a kind of elemental substance in a molecule of the kind of compound substance is an integer and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance, then the integer is a member count of the collection
(=>     (and         (instance ?D DeliveryService)         (destination ?D ?LOC1)         (deliveryRegion ?AGENT ?REGION)         (conditionalProbability             (located ?LOC1 ?REGION)             (agent ?D ?AGENT) ?NUMBER1)         (conditionalProbability             (not                 (located ?LOC1 ?REGION))             (agent ?D ?AGENT) ?NUMBER2))     (lessThan ?NUMBER2 ?NUMBER1))	Dining.kif 507-516	If a process is an instance of delivery service and the process ends up at an entity and a geographic area is the delivery area of an agent and probability of the entity is located at the geographic area provided that the agent is an agent of the process holds is a real number and probability of the entity is not located at the geographic area provided that the agent is an agent of the process holds is another real number, then the other real number is less than the real number
(=>     (and         (instance ?DIO DefensiveInformationOperation)         (agent ?DIO ?AGENT)         (enemy ?AGENT ?ENEMY)         (desires ?ENEMY             (knows ?ENEMY ?FORMULA))         (desires ?AGENT             (not                 (knows ?ENEMY ?FORMULA))))     (hasPurpose ?DIO         (not             (knows ?ENEMY ?FORMULA))))	MilitaryProcesses.kif 1857-1869	If a process is an instance of defensive information operation and a cognitive agent is an agent of the process and the cognitive agent and another cognitive agent are enemies of each other and the other cognitive agent desires the other cognitive agent knows an entity and the cognitive agent desires the other cognitive agent doesn't know the entity, then the process purpose the other cognitive agent doesn't know the entity
(=>     (and         (instance ?ELECTION PopularElection)         (electionWinner ?ELECTION ?POSITION ?PERSON1)         (voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1)         (voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2)         (not             (equal ?PERSON1 ?PERSON2)))     (greaterThan ?NUMBER1 ?NUMBER2))	Government.kif 1847-1854	If an election is an instance of popular election and the election is election winner a social role for an agent and the election is vote fraction received the social role for the agent with a real number and the election is vote fraction received the social role for another agent with another real number and the agent is not equal to the other agent, then the real number is greater than the other real number
(=>     (and         (instance ?EM Electromagnet)         (not             (holdsDuring ?T1                 (exists (?T ?E)                     (and                         (instance ?T Transfer)                         (instance ?E Electricity)                         (objectTransferred ?T ?E)                         (path ?T ?EM))))))     (not         (holdsDuring ?T1             (exists (?M)                 (and                     (instance ?M Magnetism)                     (instrument ?M ?EM))))))	Cars.kif 3878-3894	If an entity is an instance of electromagnet and there exist another entity and a third entity such that the other entity is an instance of transfer and the third entity is an instance of electricity and the object transferred in the other entity is the third entity and the entity is path along which the other entity occurs doesn't hold during the other entity1, then there exists a fourth entity such that the fourth entity is an instance of magnetism and the entity is an instrument for the fourth entity doesn't hold during the other entity1
(=>     (and         (instance ?GRAPH Graph)         (instance ?NODE1 GraphNode)         (instance ?NODE2 GraphNode)         (graphPart ?NODE1 ?GRAPH)         (graphPart ?NODE2 ?GRAPH)         (not             (equal ?NODE1 ?NODE2)))     (exists (?ARC ?PATH)         (or             (links ?NODE1 ?NODE2 ?ARC)             (and                 (subGraph ?PATH ?GRAPH)                 (instance ?PATH GraphPath)                 (or                     (and                         (equal                             (BeginNodeFn ?PATH) ?NODE1)                         (equal                             (EndNodeFn ?PATH) ?NODE2))                     (and                         (equal                             (BeginNodeFn ?PATH) ?NODE2)                         (equal                             (EndNodeFn ?PATH) ?NODE1)))))))	Merge.kif 5313-5333	If a graph is an instance of graph and a graph node is an instance of graph node and another graph node is an instance of graph node and the graph node is a part of the graph and the other graph node is a part of the graph and the graph node is not equal to the other graph node, then there exist a graph arc and a graph path such that the graph arc links the graph node and the other graph node or the graph path is a subgraph of the graph and the graph path is an instance of graph path and the beginning of the graph path is equal to the graph node and the end of the graph path is equal to the other graph node or the beginning of the graph path is equal to the other graph node and the end of the graph path is equal to the graph node
(=>     (and         (instance ?GUIE1 GUIElement)         (instance ?GUIE2 GUIElement)         (not             (instance ?GUIE1 InterfaceWindow))         (not             (instance ?GUIE2 InterfaceWindow))         (screenOfGUIE ?GUIE1 ?SCREEN)         (screenOfGUIE ?GUIE2 ?SCREEN)         (hasGUEState ?GUIE1 GUE_ActiveState)         (hasGUEState ?GUIE2 GUE_ActiveState))     (or         (properPart ?GUIE1 ?GUIE2)         (properPart ?GUIE2 ?GUIE1)         (equal ?GUIE1 ?GUIE2)))	ComputerInput.kif 1950-1963	If a GUIElement is an instance of GUIElement and another GUIElement is an instance of GUIElement and the GUIElement is not an instance of InterfaceWindow and the other GUIElement is not an instance of InterfaceWindow and the GUIElement is displayed on a ComputerScreen and the other GUIElement is displayed on the ComputerScreen and the GUIElement has state GUE_ActiveState and the other GUIElement has state GUE_ActiveState, then the GUIElement is a proper part of the other GUIElement or the other GUIElement is a proper part of the GUIElement or the GUIElement is equal to the other GUIElement
(=>     (and         (instance ?GUN Gun)         (effectiveRange ?GUN ?LM)         (distance ?GUN ?O ?LM1)         (instance ?O Organism)         (not             (exists (?O2)                 (between ?O ?O2 ?GUN)))         (lessThanOrEqualTo ?LM1 ?LM))     (capability         (KappaFn ?KILLING             (and                 (instance ?KILLING Killing)                 (patient ?KILLING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1798-1813	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
(=>     (and         (instance ?GUN Gun)         (effectiveRange ?GUN ?LM)         (distance ?GUN ?O ?LM1)         (not             (exists (?O2)                 (between ?O ?O2 ?GUN)))         (lessThanOrEqualTo ?LM1 ?LM))     (capability         (KappaFn ?DAMAGING             (and                 (instance ?DAMAGING Damaging)                 (patient ?DAMAGING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1780-1794	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
(=>     (and         (instance ?H Primate)         (instance ?D DiseaseOrSyndrome)         (not             (attribute ?H ?D)))     (exists (?L1 ?L2)         (and             (instance ?L1 Foot)             (instance ?L2 Foot)             (not                 (equal ?L1 ?L2))             (part ?L1 ?H)             (part ?L2 ?H))))	Mid-level-ontology.kif 10415-10428	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of foot and the third object is an instance of foot and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=>     (and         (instance ?H Primate)         (instance ?D DiseaseOrSyndrome)         (not             (attribute ?H ?D)))     (exists (?L1 ?L2)         (and             (instance ?L1 Leg)             (instance ?L2 Leg)             (not                 (equal ?L1 ?L2))             (part ?L1 ?H)             (part ?L2 ?H))))	Mid-level-ontology.kif 10388-10401	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of leg and the third object is an instance of leg and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=>     (and         (instance ?H Primate)         (instance ?D DiseaseOrSyndrome)         (not             (attribute ?H ?D)))     (exists (?L1 ?L2)         (and             (instance ?L1 Lung)             (instance ?L2 Lung)             (not                 (equal ?L1 ?L2))             (part ?L1 ?H)             (part ?L2 ?H))))	Mid-level-ontology.kif 9598-9611	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of lung and the third object is an instance of lung and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=>     (and         (instance ?Isthmus Isthmus)         (side ?Leftside ?Isthmus)         (side ?Rightside ?Isthmus)         (not             (equal ?Leftside ?Rightside)))     (exists (?Region1 ?Region2 ?Water1 ?Water2)         (and             (instance ?Region1 LandArea)             (instance ?Region2 LandArea)             (between ?Region1 ?Isthmus ?Region2)             (instance ?Water1 WaterArea)             (instance ?Water2 WaterArea)             (meetsSpatially ?Leftside ?Water1)             (meetsSpatially ?Rightside ?Water2))))	Geography.kif 5499-5513	If a self connected object is an instance of isthmus and a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object is not equal to the third self connected object, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of land area and the other object is an instance of land area and the self connected object is between the object and the other object and the third object is an instance of water area and the fourth object is an instance of water area and the other self connected object meets the third object and the third self connected object meets the fourth object
(=>     (and         (instance ?JOINT JointForces)         (subOrganization ?FORCE1 ?JOINT)         (subOrganization ?FORCE2 ?JOINT)         (not             (equal ?FORCE1 ?FORCE2))         (leaderPosition ?JOINT ?JOINTCOMMANDER))     (and         (leaderPosition ?FORCE1 ?JOINTCOMMANDER)         (leaderPosition ?FORCE2 ?JOINTCOMMANDER)))	MilitaryProcesses.kif 1717-1727	If an organization is an instance of joint forces and another organization は組織 the organization の一部では %n and a third organization は組織 the organization の一部では %n and the other organization is not equal to the third organization and the organizationCOMMANDER is a leader position of the organization, then the organizationCOMMANDER is a leader position of the other organization and the organizationCOMMANDER is a leader position of the third organization
(=>     (and         (instance ?L Lever)         (instance ?P Pushing)         (instance ?M1 Motion)         (destination ?P ?E1)         (physicalEnd ?E1 ?L)         (physicalEnd ?E2 ?L)         (not             (equal ?E1 ?E2))         (holdsDuring             (ImmediatePastFn                 (WhenFn ?M1))             (located ?E1 ?P1))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?M1))             (located ?E1 ?P2))         (holdsDuring             (ImmediatePastFn                 (WhenFn ?M1))             (located ?E2 ?P3))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?M1))             (located ?E2 ?P4))         (distance ?P1 ?P2 ?D1)         (distance ?P3 ?P4 ?D2))     (greaterThan ?D2 ?D1))	Mid-level-ontology.kif 1720-1740	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and the other object is not equal to the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a length measure and the distance between the process3 and the process4 is another length measure, then the other length measure is greater than the length measure
(=>     (and         (instance ?LAND Continent)         (not             (equal ?LAND Antarctica)))     (orientation Antarctica ?LAND South))	Geography.kif 292-296	If an object is an instance of continent and the object is not equal to antarctica, then antarctica is south to the object
(=>     (and         (instance ?LIST List)         (not             (equal ?LIST NullList)))     (equal         (FirstFn ?LIST)         (ListOrderFn ?LIST 1)))	Mid-level-ontology.kif 6365-6370	If a list is an instance of list and the list is not equal to null list, then the first of the list is equal to 1th element of the list
(=>     (and         (instance ?M OrganizationalMerging)         (patient ?M ?ORG1)         (patient ?M ?ORG2)         (not             (equal ?ORG1 ?ORG2)))     (and         (holdsDuring             (BeginFn                 (WhenFn ?M))             (not                 (exists (?S1)                     (and                         (subOrganization ?ORG1 ?S1)                         (subOrganization ?ORG2 ?S1)))))         (holdsDuring             (EndFn                 (WhenFn ?M))             (exists (?S2)                 (and                     (subOrganization ?ORG1 ?S2)                     (subOrganization ?ORG2 ?S2))))))	Mid-level-ontology.kif 14004-14023	If a process is an instance of organizational merging and an entity is a patient of the process and another entity is a patient of the process and the entity is not equal to the other entity, then there doesn't exist a third entity such that the entity は組織 the third entity の一部では %n and the other entity は組織 the third entity の一部では %n holds during the beginning of the time of existence of the process and there exists a fourth entity such that the entity は組織 the fourth entity の一部では %n and the other entity は組織 the fourth entity の一部では %n holds during the end of the time of existence of the process
(=>     (and         (instance ?MIXTURE Mixture)         (piece ?SUBSTANCE ?MIXTURE)         (not             (instance ?SUBSTANCE Mixture)))     (instance ?SUBSTANCE PureSubstance))	Merge.kif 1119-1124	If a substance is an instance of mixture and another substance is a piece of the substance and the other substance is not an instance of mixture, then the other substance is an instance of pure substance
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners