| 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 8831-8833 | |
| (instance Outside PositionalAttribute) | Mid-level-ontology.kif 8829-8829 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Inside Outside) | Mid-level-ontology.kif 8830-8830 | |
| (termFormat ChineseLanguage Outside "外") | domainEnglishFormat.kif 43633-43633 | |
| (termFormat ChineseTraditionalLanguage Outside "外") | domainEnglishFormat.kif 43632-43632 | |
| (termFormat EnglishLanguage Outside "outside") | domainEnglishFormat.kif 43631-43631 |
| antecedent |
|
|
| (<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 8846-8849 | |
| (=> (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)) (not (located ?OBJ ?ZONE))) |
Geography.kif 862-871 | |
| (=> (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)) (located ?OBJ ?ZONE)) |
Geography.kif 851-860 | |
| (=> (and (viewType ?ROOM ?OBJ) (instance ?ROOM Room) (orientation ?OBJ ?ROOM Outside)) (modalAttribute (exists (?HUMAN ?SEE ?INST) (and (instance ?HUMAN Human) (located ?HUMAN ?ROOM) (instance ?SEE Seeing) (instance ?INST ?OBJ) (patient ?SEE ?INST) (agent ?SEE ?HUMAN))) Possibility)) |
Hotel.kif 924-937 | |
| (=> (orientation ?OBJ ?REGION Outside) (instance ?REGION Region)) |
Mid-level-ontology.kif 8838-8840 |
| 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 2666-2677 | |
| (=> (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 | |
| (=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside))))) |
Cars.kif 4322-4329 | |
| (=> (instance ?VRR VehicleRoofRack) (hasPurpose ?VRR (exists (?T ?A) (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 4648-4659 | |
| (=> (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 9912-9922 | |
| (=> (part ?OBJ ?REGION) (not (orientation ?OBJ ?REGION Outside))) |
Mid-level-ontology.kif 8851-8854 |
|
|
|