|
| (=> (and (instance ?C InPersonCommunication) (agent ?C ?A1) (agent ?C ?A2) (not (equal ?A1 ?A2))) (holdsDuring ?C (orientation ?A1 ?A2 Near))) |
Media.kif 224-231 | |
| (=> (and (instance ?CHIN Chin) (instance ?FACE Face) (part ?CHIN ?FACE)) (forall (?PART) (=> (and (part ?PART ?FACE) (not (part ?PART ?CHIN))) (orientation ?PART ?CHIN Below)))) |
Mid-level-ontology.kif 10539-10550 | |
| (=> (and (instance ?D Dismounting) (agent ?D ?A) (patient ?D ?O)) (and (holdsDuring (BeginFn (WhenFn ?D)) (orientation ?A ?O On)) (holdsDuring (EndFn (WhenFn ?D)) (not (orientation ?A ?O On))))) |
Mid-level-ontology.kif 17760-17772 | |
| (=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (orientation (DirectionalSubregionFn ?DIRECTION ?AREA) (GeographicCenterFn ?AREA) ?DIRECTION)) |
Geography.kif 500-505 | |
| (=> (and (instance ?DROP Falling) (origin ?DROP ?START) (destination ?DROP ?FINISH)) (orientation ?FINISH ?START Below)) |
Merge.kif 10686-10691 | |
| (=> (and (instance ?FALL Waterfall) (instance ?CURRENT WaterMotion) (flowCurrent ?CURRENT ?FALL) (origin ?CURRENT ?TOP) (destination ?CURRENT ?BOTTOM) (instance ?TOP WaterArea) (instance ?BOTTOM WaterArea)) (orientation ?TOP ?BOTTOM Above)) |
Geography.kif 5239-5248 | |
| (=> (and (instance ?LAND Continent) (not (equal ?LAND Antarctica))) (orientation Antarctica ?LAND South)) |
Geography.kif 292-296 | |
| (=> (and (instance ?M Mounting) (agent ?M ?A) (patient ?M ?O)) (and (holdsDuring (BeginFn (WhenFn ?M)) (not (orientation ?A ?O On))) (holdsDuring (EndFn (WhenFn ?M)) (orientation ?A ?O On)))) |
Mid-level-ontology.kif 628-639 | |
| (=> (and (instance ?MEET Meeting) (agent ?MEET ?AGENT1) (agent ?MEET ?AGENT2)) (holdsDuring (WhenFn ?MEET) (orientation ?AGENT1 ?AGENT2 Near))) |
Merge.kif 12214-12219 | |
| (=> (and (instance ?MID MiddleCIButton) (component ?MID ?DEV) (instance ?DEV ComputerInputDevice)) (exists (?LEFT ?RIGHT) (and (instance ?RIGHT RightCIButton) (instance ?LEFT LeftCIButton) (component ?RIGHT ?DEV) (component ?LEFT ?DEV) (between ?LEFT ?MID ?RIGHT) (orientation ?MID ?LEFT Left) (orientation ?MID ?RIGHT Right)))) |
ComputerInput.kif 204-217 | |
| (=> (and (instance ?P AntiSymmetricPositionalAttribute) (orientation ?O1 ?O2 ?P)) (not (orientation ?O2 ?O1 ?P))) |
Merge.kif 15761-15765 | |
| (=> (and (instance ?P SymmetricPositionalAttribute) (orientation ?O1 ?O2 ?P)) (orientation ?O2 ?O1 ?P)) |
Merge.kif 15750-15754 | |
| (=> (and (instance ?RIGHT PhysicalRightCIButton) (component ?RIGHT ?DEV) (instance ?DEV ComputerInputDevice)) (exists (?LEFT) (and (instance ?LEFT PhysicalLeftCIButton) (component ?LEFT ?DEV) (orientation ?RIGHT ?LEFT Left)))) |
ComputerInput.kif 185-194 | |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below))))))) |
Mid-level-ontology.kif 18838-18867 | |
| (=> (and (instance ?X Bed) (component ?BEDFRAME ?X) (instance ?BEDFRAME BedFrame) (component ?MATTRESS ?X) (instance ?MATTRESS Mattress)) (orientation ?MATTRESS ?BEDFRAME On)) |
Mid-level-ontology.kif 4531-4538 | |
| (=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (hasPurpose ?X (=> (and (or (instance ?HARM Stealing) (instance ?HARM Damaging)) (instance ?THIEF Human) (agent ?HARM ?THIEF) (patient ?HARM ?CAR) (equal (WhenFn ?HARM) ?T) (eventPartlyLocated ?HARM ?L)) (exists (?ALARM) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (exists (?WITNESS) (and (instance ?WITNESS Human) (holdsDuring ?T (orientation ?WITNESS ?L Near)))) (or (knows ?WITNESS (exists (?H) (and (or (instance ?H Stealing) (instance ?H Damaging)) (eventPartlyLocated ?H ?L) (holdsDuring ?T (patient ?H ?CAR))))) (finishes (WhenFn ?ALARM) (WhenFn ?HARM)))))))))) |
Cars.kif 3683-3723 | |
| (=> (and (instance ?area LandArea) (groundSurfaceType ?area ?type1) (groundSubsurfaceType ?area ?type2)) (exists (?above ?below) (and (instance ?above ?type1) (instance ?below ?type2) (orientation ?above ?below Above)))) |
Geography.kif 4067-4076 | |
| (=> (and (orientation ?OBJ1 ?OBJ2 ?ATTR1) (contraryAttribute @ROW) (inList ?ATTR1 (ListFn @ROW)) (inList ?ATTR2 (ListFn @ROW)) (not (equal ?ATTR1 ?ATTR2))) (not (orientation ?OBJ1 ?OBJ2 ?ATTR2))) |
Merge.kif 15622-15630 | |
| (=> (and (orientation ?OBJ1 ?OBJ2 ?DIR) (instance ?DIR PositionalAttribute) (oppositeDirection ?DIR ?OPPDIR)) (orientation ?OBJ2 ?OBJ1 ?OPPDIR)) |
Mid-level-ontology.kif 15830-15835 | |
| (=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9036-9042 | |
| (=> (and (top ?TOP ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?TOP))) (orientation ?PART ?TOP Below)) |
Merge.kif 9021-9026 | |
| (=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H Agent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1))))))) |
Dining.kif 909-933 | |
| (=> (attribute ?X AdjoiningRoom) (exists (?ROOM ?WALL ?DOOR) (and (attribute ?ROOM AdjoiningRoom) (not (equal ?ROOM ?X)) (orientation ?X ?ROOM Adjacent) (instance ?WALL Wall) (part ?WALL ?ROOM) (part ?WALL ?X) (instance ?DOOR Door) (part ?DOOR ?WALL)))) |
Mid-level-ontology.kif 12924-12935 | |
| (=> (attribute ?X DownAndInRoom) (exists (?LOC ?INDOOR) (and (instance ?INDOOR Indoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?INDOOR)))) |
Hotel.kif 1014-1022 | |
| (=> (attribute ?X DownAndOutRoom) (exists (?LOC ?OUTDOOR) (and (instance ?OUTDOOR Outdoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?OUTDOOR)))) |
Hotel.kif 1029-1037 | |
| 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