consequent

(<=>     (holdsDuring ?T         (attribute ?H Alone))     (not         (exists (?H2 ?SI)             (and                 (not                     (equal ?H ?H2))                 (instance ?H2 AutonomousAgent)                 (instance ?SI SocialInteraction)                 (during                     (WhenFn ?SI) ?T)                 (involvedInEvent ?SI ?H)                 (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 32127-32140	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that equal the entity and the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
(=>     (and         (instance ?LGP LargeGroupProcess)         (instance ?G Collection)         (member ?M ?G)         (involvedInEvent ?LGP ?M))     (exists (?P ?PC)         (and             (instance ?PC ?P)             (involvedInEvent ?PC ?M))))	Mid-level-ontology.kif 9111-9120	If a process is an instance of large group process and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process, then there exist a class and the classC such that the classC is an instance of the class and the physical is an involved in event of the classC
(=>     (attribute ?X MeanOfProduction)     (hasPurpose ?X         (or             (exists (?MAKE ?PRODUCT)                 (and                     (instance ?MAKE Making)                     (involvedInEvent ?MAKE ?X)                     (not                         (result ?MAKE ?X))                     (instance ?PRODUCT Artifact)                     (result ?MAKE ?PRODUCT)                     (hasPurpose ?PRODUCT                         (exists (?SELL)                             (and                                 (instance ?SELL Selling)                                 (patient ?SELL ?PRODUCT))))))             (exists (?SERVICE)                 (and                     (instance ?SERVICE CommercialService)                     (involvedInEvent ?SERVICE ?X))))))	Economy.kif 6084-6104	If mean of production is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of making and the object is an involved in event of the entity and the object is not a result of the entity and the other entity is an instance of artifact and the other entity is a result of the entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of selling and the other entity is a patient of the third entity or there exists a fourth entity such that the fourth entity is an instance of commercial service and the object is an involved in event of the fourth entity
(=>     (equal ?DEP         (DepartmentOfPreventingFn ?COMP ?PHYS))     (not         (desires ?COMP             (exists (?P)                 (and                     (instance ?P ?PHYS)                     (involvedInEvent ?P ?COMP))))))	Mid-level-ontology.kif 19965-19972	If equal an organization and another organization is preventing a kind of physical, then the other organization doesn't desire there exists an entity such that the entity is an instance of a kind of physical and the other organization is an involved in event of the entity
(=>     (hazardous ?A ?B)     (modalAttribute         (exists (?D)             (and                 (instance ?D Damaging)                 (patient ?D ?B)                 (or                     (involvedInEvent ?D ?A)                     (causes ?A ?D)))) Possibility))	Geography.kif 7412-7421	If a physical is hazardous to an object, then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility
(=>     (holdsDuring ?T         (attribute ?H PostTraumaticStressDisorder))     (exists (?V)         (and             (instance ?V ViolentContest)             (earlier                 (WhenFn ?V) ?T)             (involvedInEvent ?V ?H))))	Mid-level-ontology.kif 11070-11078	If PTSD is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of violent contest and the time of existence of the process happens earlier than the time interval and the entity is an involved in event of the process
(=>     (instance ?E Pandemic)     (exists (?H1 ?H2 ?N1 ?N2 ?C1 ?C2)         (and             (involvedInEvent ?E ?H1)             (involvedInEvent ?E ?H2)             (not                 (equal ?H1 ?H2))             (instance ?N1 Nation)             (instance ?N2 Nation)             (not                 (equal ?N1 ?N2))             (instance ?C1 Continent)             (instance ?C2 Continent)             (not                 (equal ?C1 ?C2))             (holdsDuring                 (WhenFn ?E)                 (or                     (and                         (located ?H1 ?C1)                         (located ?H2 ?C2))                     (and                         (located ?H1 ?N1)                         (located ?H2 ?N2)))))))	Medicine.kif 3538-3562	If a process is an instance of pandemic, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and equal the entity and the other entity and the third entity is an instance of nation and the fourth entity is an instance of nation and equal the third entity and the fourth entity and the fifth entity is an instance of continent and the sixth entity is an instance of continent and equal the fifth entity and the sixth entity and the entity is located at the fifth entity and the other entity is located at the sixth entity or the entity is located at the third entity and the other entity is located at the fourth entity holds during the time of existence of the process
(=>     (instance ?INTERACTION SocialInteraction)     (exists (?AGENT1 ?AGENT2)         (and             (involvedInEvent ?INTERACTION ?AGENT1)             (involvedInEvent ?INTERACTION ?AGENT2)             (instance ?AGENT1 AutonomousAgent)             (instance ?AGENT2 AutonomousAgent)             (not                 (equal ?AGENT1 ?AGENT2)))))	Merge.kif 13180-13189	If a process is an instance of social interaction, then there exist an entity and another entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and the entity is an instance of agent and the other entity is an instance of agent and equal the entity and the other entity
(=>     (instance ?P Parasite)     (modalAttribute         (exists (?H ?PROC)             (and                 (located ?P ?H)                 (involvedInEvent ?PROC ?P)                 (involvedInEvent ?PROC ?H)                 (benefits ?PROC ?P)                 (suffers ?PROC ?H))) Likely))	Mid-level-ontology.kif 6827-6837	If an entity is an instance of parasite, then the statement there exist another entity and the entityROC such that the entity is located at the other entity and the entity is an involved in event of the entityROC and the other entity is an involved in event of the entityROC and the entity is a beneficiary of the entityROC and the other entity suffers from the entityROC has the modal force of likely
(=>     (instance ?R CaseRole)     (subrelation ?R involvedInEvent))	Merge.kif 2463-2465	If a relation is an instance of case role, then the relation is a subrelation of involved in event
(=>     (manner ?P Solely)     (exists (?H)         (and             (involvedInEvent ?P ?H)             (instance ?H AutonomousAgent)             (not                 (exists (?H2)                     (and                         (involvedInEvent ?P ?H2)                         (instance ?H2 AutonomousAgent)                         (not                             (equal ?H ?H2))))))))	Mid-level-ontology.kif 32111-32122	If a process is performed in the manner Solely, then there exists an entity such that the entity is an involved in event of the process and the entity is an instance of agent and there doesn't exist the entity2 such that the entity2 is an involved in event of the process and the entity2 is an instance of agent and equal the entity and the entity2

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