| 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 7952-7954 | |
| (instance Outside PositionalAttribute) | Mid-level-ontology.kif 7950-7950 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Inside Outside) | Mid-level-ontology.kif 7951-7951 | |
| (termFormat ChineseLanguage Outside "外") | domainEnglishFormat.kif 43694-43694 | |
| (termFormat ChineseTraditionalLanguage Outside "外") | domainEnglishFormat.kif 43693-43693 | |
| (termFormat EnglishLanguage Outside "outside") | domainEnglishFormat.kif 43692-43692 |
| antecedent |
|
|
| (<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 7964-7967 | |
| (=> (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 932-945 | |
| (=> (orientation ?OBJ ?REGION Outside) (instance ?REGION Region)) |
Mid-level-ontology.kif 7956-7958 |
| 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 2649-2660 | |
| (=> (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 1022-1030 | |
| (=> (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 1037-1045 | |
| (=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside))))) |
Cars.kif 4366-4373 | |
| (=> (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 4692-4703 | |
| (=> (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 9056-9066 | |
| (=> (part ?OBJ ?REGION) (not (orientation ?OBJ ?REGION Outside))) |
Mid-level-ontology.kif 7969-7972 |
|
|
|