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 9079-9081 | |
(instance Outside PositionalAttribute) | Mid-level-ontology.kif 9077-9077 | 外 是 位置属性 的 instance |
appearance as argument number 2 |
![]() |
(contraryAttribute Inside Outside) | Mid-level-ontology.kif 9078-9078 | 内 是 外 的相反 |
(termFormat ChineseLanguage Outside "外") | domainEnglishFormat.kif 43734-43734 | |
(termFormat ChineseTraditionalLanguage Outside "外") | domainEnglishFormat.kif 43733-43733 | |
(termFormat EnglishLanguage Outside "outside") | domainEnglishFormat.kif 43732-43732 |
antecedent |
![]() |
(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 9091-9094 | 客体 在 另一个 客体 的 外 若且唯若 那个 客体 不 是 partlyLocated 在 那个 另外 客体 |
(=> (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 9083-9085 |
consequent |
![]() |
![]() |
![]() |