|
| (=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Unconscious) (not (attribute ?P Pain))))) |
Medicine.kif 966-975 | |
| (=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (or (attribute ?P Unconscious) (not (attribute ?P Pain))))) |
Medicine.kif 949-958 | |
| (=> (and (instance ?A LocalAnesthetizing) (located ?A ?BP) (instance ?BP BodyPart) (part ?BP ?P) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (not (attribute ?P (PainFn ?BP))))) |
Medicine.kif 1008-1019 | |
| (=> (and (instance ?A Sedating) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Conscious) (not (attribute ?P Anxiety))))) |
Medicine.kif 983-992 | |
| (=> (and (instance ?ACT ActivatingADeactivatedAccount) (instance ?AC UserAccount) (patient ?ACT ?AC)) (and (holdsDuring (ImmediatePastFn (WhenFn ?ACT)) (attribute ?AC AccountDeactivated)) (holdsDuring (ImmediateFutureFn (WhenFn ?ACT)) (attribute ?AC AccountActive)))) |
ComputingBrands.kif 4482-4491 | |
| (=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid)) |
Merge.kif 10298-10302 | |
| (=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid)) |
Merge.kif 10287-10291 | |
| (=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1767-1772 | |
| (=> (and (instance ?AGENT Human) (instance ?ORG Organization) (instance ?POSITION Position) (attribute ?AGENT (MemberRoleFn ?ORG ?POSITION))) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1789-1795 | |
| (=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18321-18328 | |
| (=> (and (instance ?ALT ShapeChange) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY))))))) |
Merge.kif 12678-12691 | |
| (=> (and (instance ?ALT SurfaceChange) (patient ?ALT ?OBJ)) (exists (?PART ?PROPERTY) (and (superficialPart ?PART ?OBJ) (or (and (holdsDuring (BeginFn (WhenFn ?ALT)) (attribute ?PART ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?ALT)) (not (attribute ?PART ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?ALT)) (not (attribute ?PART ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?ALT)) (attribute ?PART ?PROPERTY))))))) |
Merge.kif 12638-12651 | |
| (=> (and (instance ?AMBULATE Ambulating) (agent ?AMBULATE ?AGENT)) (attribute ?AGENT Standing)) |
Merge.kif 18085-18089 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1865-1870 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1858-1863 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?FAULT GeologicalFault) (located ?FAULT ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1879-1884 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1872-1877 | |
| (=> (and (instance ?AREA GeopoliticalArea) (governmentType ?AREA ?TYPE)) (attribute (GovernmentFn ?AREA) ?TYPE)) |
Government.kif 142-146 | |
| (=> (and (instance ?AS AirStream) (part ?AIR ?AS)) (attribute ?AR Gas)) |
Weather.kif 69-73 | |
| (=> (and (instance ?ATTR AlbumAttribute) (albumType ?A ?ATTR)) (attribute ?A ?ATTR)) |
Music.kif 297-301 | |
| (=> (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)) (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living))) |
Merge.kif 18330-18336 | |
| (=> (and (instance ?ATTRIBUTE ShapeAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 17758-17763 | |
| (=> (and (instance ?ATTRIBUTE TextureAttribute) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE)) |
Merge.kif 17786-17791 | |
| (=> (and (instance ?B BecomingDrunk) (experiencer ?B ?A)) (and (holdsDuring (BeginFn (WhenFn ?B)) (attribute ?A Sober)) (holdsDuring (EndFn (WhenFn ?B)) (attribute ?A Drunk)))) |
Mid-level-ontology.kif 16342-16352 | |
| (=> (and (instance ?B Blushing) (experiencer ?B ?A)) (exists (?T1 ?T2 ?S1 ?S2) (and (instance ?S1 EmotionalState) (instance ?S2 EmotionalState) (not (equal ?S1 ?S2)) (holdsDuring ?T1 (attribute ?A ?S1)) (holdsDuring ?T2 (attribute ?A ?S2)) (starts (WhenFn ?B) ?T2) (finishes (WhenFn ?B) ?T1)))) |
Mid-level-ontology.kif 21473-21488 | |
| 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 3.0 is open source software produced by Articulate Software and its partners