consequent

(=>     (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 X, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of making (3) X is an involved in event of Y (4) X is not a result of Y (5) Z is an instance of artifact (6) Z is a result of Y (7) Z has the purpose there exists W such that W is an instance of selling (8) Z is a patient of W or there exists V such that V is an instance of commercial service (9) X is an involved in event of V
(=>     (hazardous ?A ?B)     (modalAttribute         (exists (?D)             (and                 (instance ?D Damaging)                 (patient ?D ?B)                 (or                     (involvedInEvent ?D ?A)                     (causes ?A ?D)))) Possibility))	Geography.kif 7497-7506	If X is hazardous to Y, then the statement there exists Z such that Z is an instance of damaging, Y is a patient of Z, and X is an involved in event of Z or X causes Z has the modal force of possibility
(=>     (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 3529-3553	If X is an instance of pandemic, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an involved in event of X (3) Z is an involved in event of X (4) equal Y (5) Z (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V (10) U is an instance of continent (11) T is an instance of continent (12) equal U (13) T (14) Y is located at U (15) Z is located at T or Y is located at W (16) Z is located at V holds during the time of existence of X
(=>     (instance ?R CaseRole)     (subrelation ?R involvedInEvent))	Merge.kif 2462-2464	If X is an instance of case role, then X is a subrelation of involved in event
(=>     (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 X is an instance of social interaction, then All of the following hold: (1) there exist Y (2) Z such that Y is an involved in event of X (3) Z is an involved in event of X (4) Y is an instance of agent (5) Z is an instance of agent (6) equal Y (7) Z
(=>     (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 6850-6860	If X is an instance of parasite, then the statement there exist Y, Z such that X is located at Y, X is an involved in event of Z, Y is an involved in event of Z, X is a beneficiary of Z, and Y suffers from Z has the modal force of likely
(=>     (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 9156-9165	If X is an instance of large group process, Y is an instance of collection, Z is a member of Y, and Z is an involved in event of X, then there exist W, V such that V is an instance of W, and Z is an involved in event of V
(=>     (holdsDuring ?T         (attribute ?H PostTraumaticStressDisorder))     (exists (?V)         (and             (instance ?V ViolentContest)             (earlier                 (WhenFn ?V) ?T)             (involvedInEvent ?V ?H))))	Mid-level-ontology.kif 11115-11123	If PTSD is an attribute of X holds during Y, then there exists Z such that Z is an instance of violent contest, the time of existence of Z happens earlier than Y, and X is an involved in event of Z
(=>     (equal ?DEP         (DepartmentOfPreventingFn ?COMP ?PHYS))     (not         (desires ?COMP             (exists (?P)                 (and                     (instance ?P ?PHYS)                     (involvedInEvent ?P ?COMP))))))	Mid-level-ontology.kif 20316-20323	If equal X and Y is preventing Z, then Y doesn't desire there doesn't exist W such that W is an instance of Z and Y is an involved in event of W
(=>     (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 32871-32882	If X is performed in the manner Solely, then there exists Y such that Y is an involved in event of X, Y is an instance of agent, there doesn't exist Z such that Z is an involved in event of X, Z is an instance of agent, equal Y, and Z
(<=>     (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 32887-32900	All of the following hold: (1) Alone is an attribute of X holds during Y if (2) only if there don't exist Z (3) W such that equal X (4) Z (5) Z is an instance of agent (6) W is an instance of social interaction (7) the time of existence of W takes place during Y (8) X is an involved in event of W (9) Z is an involved in event of W

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