| Outside | |
| appearance as argument number 1 |
|
|
| (documentation Outside EnglishLanguage "Outside is a PositionalAttribute used to describe the relative location of one object or region to another region. ") | Mid-level-ontology.kif 9880-9882 | |
| (instance Outside PositionalAttribute) | Mid-level-ontology.kif 9878-9878 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Inside Outside) | Mid-level-ontology.kif 9879-9879 | |
| (termFormat ChineseLanguage Outside "外") | domainEnglishFormat.kif 43753-43753 | |
| (termFormat ChineseTraditionalLanguage Outside "外") | domainEnglishFormat.kif 43752-43752 | |
| (termFormat EnglishLanguage Outside "outside") | domainEnglishFormat.kif 43751-43751 |
| antecedent |
|
|
| (<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 9892-9895 | |
| (=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (greaterThan (SubtractionFn ?FAR ?LIMIT) 0.0)) (not (located ?OBJ ?ZONE))) |
Geography.kif 858-867 | |
| (=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (lessThanOrEqualTo (SubtractionFn ?FAR ?LIMIT) 0.0)) (located ?OBJ ?ZONE)) |
Geography.kif 847-856 | |
| (=> (and (viewType ?ROOM ?OBJ) (instance ?ROOM Room) (instance ?INST ?OBJ) (orientation ?INST ?ROOM Outside)) (modalAttribute (exists (?HUMAN ?SEE) (and (instance ?HUMAN Human) (located ?HUMAN ?ROOM) (instance ?SEE Seeing) (patient ?SEE ?INST) (agent ?SEE ?HUMAN))) Possibility)) |
Hotel.kif 954-967 | |
| (=> (orientation ?OBJ ?REGION Outside) (instance ?REGION Region)) |
Mid-level-ontology.kif 9884-9886 |
| consequent |
|
|
| (=> (and (attribute ?O Concave) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Outside)) |
ComputingBrands.kif 2693-2704 | |
| (=> (and (instance ?T Thoracentesis) (patient ?T ?H)) (exists (?I ?O ?IN ?L ?C ?F) (and (instance ?I Inserting) (subProcess ?I ?T) (objectTransferred ?I ?N) (origin ?I ?O) (destination ?I ?IN) (instance ?N Needle) (attribute ?F Fluid) (objectTransferred ?T ?F) (destination ?F ?O) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (origin ?T ?IN) (destination ?T ?O) (between ?L ?IN ?C) (orientation ?O ?H Outside)))) |
Medicine.kif 883-905 | |
| (=> (and (instance ?VCS VentedChestSeal) (instance ?A Attaching) (objectTransferred ?A ?VCS) (destination ?A ?H)) (hasPurpose ?VCS (exists (?A ?L ?C ?H) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (orientation ?A ?H Outside))))))) |
Medicine.kif 841-863 | |
| (=> (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 1057-1065 | |
| (=> (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 1072-1080 | |
| (=> (instance ?C Catheter) (hasPurpose ?C (exists (?M ?O ?OBJ ?L) (and (instance ?O Organism) (instance ?M Motion) (moves ?M ?OBJ) (orientation ?L ?O Outside) (path ?M ?C) (or (and (origin ?M ?L) (destination ?M ?O)) (and (origin ?M ?O) (destination ?M ?L))))))) |
Medicine.kif 536-552 | |
| (=> (instance ?E Entering) (exists (?R ?A) (and (instance ?R Region) (destination ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Outside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Inside))))) |
Mid-level-ontology.kif 18139-18152 | |
| (=> (instance ?E Exiting) (exists (?R ?A) (and (instance ?R Region) (origin ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Inside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Outside))))) |
Mid-level-ontology.kif 18158-18171 | |
| (=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside))))) |
Cars.kif 4411-4418 | |
| (=> (instance ?ROOT PlantRoot) (hasPurpose ?ROOT (exists (?TRAN ?STUFF ?HOST) (and (instance ?TRAN Transfer) (instrument ?TRAN ?ROOT) (origin ?TRAN ?HOST) (orientation ?HOST ?ROOT Outside) (objectTransferred ?TRAN ?STUFF) (or (instance ?STUFF FreshWater) (instance ?STUFF Nutrient)))))) |
Mid-level-ontology.kif 10403-10415 | |
| (=> (instance ?VRR VehicleRoofRack) (hasPurpose ?VRR (exists (?T ?A ?C) (and (instance ?T Transfer) (patient ?T ?C) (instance ?A Automobile) (orientation ?VRR ?A Outside) (meetsSpatially ?C ?VRR) (part ?VRR ?A) (instrument ?T ?A))))) |
Cars.kif 4730-4741 | |
| (=> (instance ?X Exoskeleton) (exists (?A) (and (instance ?A Animal) (part ?X ?A) (not (exists (?PART) (and (properPart ?PART ?A) (orientation ?PART ?X Outside))))))) |
Mid-level-ontology.kif 12587-12597 | |
| (=> (part ?OBJ ?REGION) (not (orientation ?OBJ ?REGION Outside))) |
Mid-level-ontology.kif 9897-9900 |
|
|
|