| 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 10313-10315 | |
| (instance Outside PositionalAttribute) | Mid-level-ontology.kif 10311-10311 | Outside は 位置属性 の instance では |
| appearance as argument number 2 |
|
|
| (contraryAttribute Inside Outside) | Mid-level-ontology.kif 10312-10312 | Inside は Outside の disjoint では |
| (termFormat ChineseLanguage Outside "外") | domainEnglishFormat.kif 43724-43724 | Inside は Outside の disjoint では |
| (termFormat ChineseTraditionalLanguage Outside "外") | domainEnglishFormat.kif 43723-43723 | Inside は Outside の disjoint では |
| (termFormat EnglishLanguage Outside "outside") | domainEnglishFormat.kif 43722-43722 | Inside は Outside の disjoint では |
| antecedent |
|
|
| (<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 10325-10328 | オブジェクト は Outside 対 オブジェクト では オブジェクト は partly に オブジェクト に 位置して |
| (=> (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 1028-1037 | |
| (=> (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 1017-1026 | |
| (=> (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 962-975 |
|
| (=> (orientation ?OBJ ?REGION Outside) (instance ?REGION Region)) |
Mid-level-ontology.kif 10317-10319 |
| consequent |
|
|
|
|
|