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 9106-9108 | |
(instance Outside PositionalAttribute) | Mid-level-ontology.kif 9104-9104 | Outside は 位置属性 の instance では %n |
appearance as argument number 2 |
(contraryAttribute Inside Outside) | Mid-level-ontology.kif 9105-9105 | Inside は Outside の disjoint では %n |
(termFormat ChineseLanguage Outside "外") | domainEnglishFormat.kif 43722-43722 | |
(termFormat ChineseTraditionalLanguage Outside "外") | domainEnglishFormat.kif 43721-43721 | |
(termFormat EnglishLanguage Outside "outside") | domainEnglishFormat.kif 43720-43720 |
antecedent |
(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 9118-9121 | オブジェクト は Outside 対 オブジェクト では %n オブジェクト は 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 863-872 | |
(=> (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 852-861 | |
(=> (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 9110-9112 |
consequent |