Region
|
|
appearance as argument number 1 |
(documentation Region ChineseLanguage "这是一个地理位置。 Region 包括 Object 的表面、虚构的 地方 和 GeographicArea 。注:Region 是唯一能够定位于作自身的 Object 。 另外要注意的是 Region 不是 SelfConnectedObject 的子类别, 因为有一些 Region ,像群岛有些 part 跟其他部分 不 connected 。") | chinese_format.kif 1626-1629 | |
(documentation Region EnglishLanguage "A topographic location. Regions encompass surfaces of Objects, imaginary places, and GeographicAreas. Note that a Region is the only kind of Object which can be located at itself. Note too that Region is not a subclass of SelfConnectedObject, because some Regions, e.g. archipelagos, have parts which are not connected with one another.") | Merge.kif 1253-1259 | |
(documentation Region JapaneseLanguage "地理的な場所。 Regions は Object の表面、架空の 場所、そして GeographicAreas を包含する。 注1:Region は、唯一の Object の種類で、それ 自体で位置付けできる。注2:Region は 一部の Regions の理由で SelfConnectedObject のサブ クラスでにはならない。例:群島など、相互に connected されてない parts。") | japanese_format.kif 208-211 | |
(documentation Region SpanishLanguage "Un lugar topográfico. Region abarca los superficies de Objects, los lugares imaginarios y GeographicAreas. Note que una Region es el único tipo de Object en la que se puede ubicarse. También, no es una subclase de SelfConnectedObject desde que algunas Regions, como un archipiélago, tienen parts que no están connected con cada uno.") | spanish_format.kif 247-251 | |
(partition Region GeographicArea SpaceRegion) | Mid-level-ontology.kif 9026-9026 | O conceito Regiao e' completamente decomposto em Area Geografica + SpaceRegion |
(subclass Region Object) | Merge.kif 1251-1251 | Regiao e' uma sub-classe de Objeto |
appearance as argument number 2 |
(range FlowRegionFn Region) | Geography.kif 4926-4926 | O contra-dominio de FlowRegionFn e' uma instancia de Regiao |
(range InnerBoundaryFn Region) | Geography.kif 797-797 | O contra-dominio de InnerBoundaryFn e' uma instancia de Regiao |
(range LatitudeFn Region) | Geography.kif 410-410 | O contra-dominio de LatitudeFn e' uma instancia de Regiao |
(range OuterBoundaryFn Region) | Geography.kif 809-809 | O contra-dominio de OuterBoundaryFn e' uma instancia de Regiao |
(range WhereFn Region) | Merge.kif 4224-4224 | O contra-dominio de WhereFn e' uma instancia de Regiao |
(subclass Atmosphere Region) | Weather.kif 10-10 | Atmosphere e' uma sub-classe de Regiao |
(subclass DiningArea Region) | Mid-level-ontology.kif 15566-15566 | DiningArea e' uma sub-classe de Regiao |
(subclass FlowRegion Region) | Mid-level-ontology.kif 9043-9043 | FlowRegion e' uma sub-classe de Regiao |
(subclass GeographicArea Region) | Merge.kif 14031-14031 | Area Geografica e' uma sub-classe de Regiao |
(subclass HoleRegion Region) | Merge.kif 9851-9851 | Buraco e' uma sub-classe de Regiao |
(subclass HydrophilicSide Region) | VirusProteinAndCellPart.kif 547-547 | HydrophilicSide e' uma sub-classe de Regiao |
(subclass HydrophobicSide Region) | VirusProteinAndCellPart.kif 536-536 | HydrophobicSide e' uma sub-classe de Regiao |
(subclass Indoors Region) | Mid-level-ontology.kif 9141-9141 | Indoors e' uma sub-classe de Regiao |
(subclass KitchenArea Region) | Mid-level-ontology.kif 15541-15541 | KitchenArea e' uma sub-classe de Regiao |
(subclass Latitude Region) | Geography.kif 302-302 | Latitude e' uma sub-classe de Regiao |
(subclass Longitude Region) | Geography.kif 311-311 | Longitude e' uma sub-classe de Regiao |
(subclass Outdoors Region) | Mid-level-ontology.kif 9129-9129 | Outdoors e' uma sub-classe de Regiao |
(subclass ParkingRegion Region) | TransportDetail.kif 31-31 | ParkingRegion e' uma sub-classe de Regiao |
(subclass Patio Region) | Mid-level-ontology.kif 26634-26634 | Patio e' uma sub-classe de Regiao |
(subclass PerimeterArea Region) | Geography.kif 762-762 | PerimeterArea e' uma sub-classe de Regiao |
(subclass PlayArea Region) | Dining.kif 982-982 | PlayArea e' uma sub-classe de Regiao |
(subclass RealEstate Region) | FinancialOntology.kif 1354-1354 | RealEstate e' uma sub-classe de Regiao |
(subclass Road Region) | Mid-level-ontology.kif 22217-22217 | Road e' uma sub-classe de Regiao |
(subclass SittingArea Region) | Mid-level-ontology.kif 15528-15528 | SittingArea e' uma sub-classe de Regiao |
(subclass SpaceRegion Region) | Mid-level-ontology.kif 9067-9067 | SpaceRegion e' uma sub-classe de Regiao |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
(domain InnerBoundaryFn 1 Region) | Geography.kif 796-796 | O argumento numero 1 de InnerBoundaryFn e' uma instancia de Regiao |
(domain MaritimeClaimsTerritorialSeaFn 1 Region) | Geography.kif 781-781 | O argumento numero 1 de MaritimeClaimsTerritorialSeaFn e' uma instancia de Regiao |
(domain MealAttributeFn 2 Region) | Food.kif 1899-1899 | O argumento numero 2 de MealAttributeFn e' uma instancia de Regiao |
(domain OuterBoundaryFn 1 Region) | Geography.kif 808-808 | O argumento numero 1 de OuterBoundaryFn e' uma instancia de Regiao |
(domain PerimeterAreaFn 1 Region) | Geography.kif 769-769 | O argumento numero 1 de PerimeterAreaFn e' uma instancia de Regiao |
(domain VelocityFn 3 Region) | Merge.kif 6670-6670 | O argumento numero 3 de VelocityFn e' uma instancia de Regiao |
(domain areaOfOperation 1 Region) | MilitaryProcesses.kif 1314-1314 | O argumento numero 1 de areaOfOperation e' uma instancia de Regiao |
(domain baptizedplace 2 Region) | Biography.kif 189-189 | O argumento numero 2 de baptizedplace e' uma instancia de Regiao |
(domain canonicalPlaceName 1 Region) | Mid-level-ontology.kif 24580-24580 | O argumento numero 1 de canonicalPlaceName e' uma instancia de Regiao |
(domain capableAtLocation 4 Region) | Transportation.kif 2690-2690 | O argumento numero 4 de capableAtLocation e' uma instancia de Regiao |
(domain capacityByArrangement 1 Region) | Hotel.kif 786-786 | O argumento numero 1 de capacityByArrangement e' uma instancia de Regiao |
(domain cloudCoverFraction 1 Region) | Weather.kif 870-870 | O argumento numero 1 de cloudCoverFraction e' uma instancia de Regiao |
(domain daylightHoursInterval 1 Region) | Weather.kif 850-850 | O argumento numero 1 de daylightHoursInterval e' uma instancia de Regiao |
(domain daylightHoursTotal 1 Region) | Weather.kif 860-860 | O argumento numero 1 de daylightHoursTotal e' uma instancia de Regiao |
(domain highTide 1 Region) | Geography.kif 5010-5010 | O argumento numero 1 de highTide e' uma instancia de Regiao |
(domain lowTide 1 Region) | Geography.kif 5019-5019 | O argumento numero 1 de lowTide e' uma instancia de Regiao |
(domain mapOfArea 1 Region) | Geography.kif 527-527 | O argumento numero 1 de mapOfArea e' uma instancia de Regiao |
(domain providesDestination 2 Region) | Transportation.kif 3396-3396 | O argumento numero 2 de providesDestination e' uma instancia de Regiao |
(domain routeBetween 2 Region) | Transportation.kif 2904-2904 | O argumento numero 2 de routeBetween e' uma instancia de Regiao |
(domain routeBetween 3 Region) | Transportation.kif 2905-2905 | O argumento numero 3 de routeBetween e' uma instancia de Regiao |
(domain routeEnd 1 Region) | Transportation.kif 2777-2777 | O argumento numero 1 de routeEnd e' uma instancia de Regiao |
(domain routeStart 1 Region) | Transportation.kif 2754-2754 | O argumento numero 1 de routeStart e' uma instancia de Regiao |
(domain totalArea 1 Region) | Mid-level-ontology.kif 31194-31194 | O argumento numero 1 de totalArea e' uma instancia de Regiao |
(domain visibilityInMeteorology 1 Region) | Weather.kif 2702-2702 | O argumento numero 1 de visibilityInMeteorology e' uma instancia de Regiao |
antecedent |
consequent |