Region(r�gion) | ![]() |
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 1252-1258 | |
(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 9244-9244 | R�gion est compl�tement d�compos� en secteur g�ographique + SpaceRegion |
(subclass Region Object) | Merge.kif 1250-1250 | R�gion est une sous-classe de objet |
appearance as argument number 2 |
![]() |
(range FlowRegionFn Region) | Geography.kif 4902-4902 | Le domaine de FlowRegionFn est une instance de r�gion |
(range InnerBoundaryFn Region) | Geography.kif 792-792 | Le domaine de InnerBoundaryFn est une instance de r�gion |
(range LatitudeFn Region) | Geography.kif 410-410 | Le domaine de LatitudeFn est une instance de r�gion |
(range OuterBoundaryFn Region) | Geography.kif 804-804 | Le domaine de OuterBoundaryFn est une instance de r�gion |
(range WhereFn Region) | Merge.kif 4224-4224 | Le domaine de WhereFn est une instance de r�gion |
(subclass AirportStagingArea Region) | Transportation.kif 1307-1307 | AirportStagingArea est une sous-classe de r�gion |
(subclass AssemblyStation Region) | Economy.kif 1988-1988 | AssemblyStation est une sous-classe de r�gion |
(subclass Atmosphere Region) | Weather.kif 10-10 | Atmosphere est une sous-classe de r�gion |
(subclass DiningArea Region) | Mid-level-ontology.kif 15816-15816 | DiningArea est une sous-classe de r�gion |
(subclass EducationalCampus Region) | Mid-level-ontology.kif 6790-6790 | EducationalCampus est une sous-classe de r�gion |
(subclass Facility Region) | Mid-level-ontology.kif 6750-6750 | Facility est une sous-classe de r�gion |
(subclass FlowRegion Region) | Mid-level-ontology.kif 9261-9261 | FlowRegion est une sous-classe de r�gion |
(subclass GeographicArea Region) | Merge.kif 14086-14086 | Secteur g�ographique est une sous-classe de r�gion |
(subclass HoleRegion Region) | Merge.kif 9897-9897 | Trou est une sous-classe de r�gion |
(subclass HydrophilicSide Region) | VirusProteinAndCellPart.kif 546-546 | HydrophilicSide est une sous-classe de r�gion |
(subclass HydrophobicSide Region) | VirusProteinAndCellPart.kif 535-535 | HydrophobicSide est une sous-classe de r�gion |
(subclass Indoors Region) | Mid-level-ontology.kif 9359-9359 | Indoors est une sous-classe de r�gion |
(subclass KitchenArea Region) | Mid-level-ontology.kif 15791-15791 | KitchenArea est une sous-classe de r�gion |
(subclass Latitude Region) | Geography.kif 302-302 | Latitude est une sous-classe de r�gion |
(subclass Longitude Region) | Geography.kif 311-311 | Longitude est une sous-classe de r�gion |
(subclass MilitaryBase Region) | MilitaryProcesses.kif 2760-2760 | MilitaryBase est une sous-classe de r�gion |
(subclass MultimodalTransitPoint Region) | Transportation.kif 3685-3685 | MultimodalTransitPoint est une sous-classe de r�gion |
(subclass Outdoors Region) | Mid-level-ontology.kif 9347-9347 | Outdoors est une sous-classe de r�gion |
(subclass ParkingRegion Region) | TransportDetail.kif 31-31 | ParkingRegion est une sous-classe de r�gion |
(subclass Patio Region) | Mid-level-ontology.kif 26930-26930 | Patio est une sous-classe de r�gion |
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 791-791 | Le nombre 1 argument de InnerBoundaryFn est une instance de r�gion |
(domain MaritimeClaimsTerritorialSeaFn 1 Region) | Geography.kif 776-776 | Le nombre 1 argument de MaritimeClaimsTerritorialSeaFn est une instance de r�gion |
(domain MealAttributeFn 2 Region) | Food.kif 1899-1899 | Le nombre 2 argument de MealAttributeFn est une instance de r�gion |
(domain OuterBoundaryFn 1 Region) | Geography.kif 803-803 | Le nombre 1 argument de OuterBoundaryFn est une instance de r�gion |
(domain PerimeterAreaFn 1 Region) | Geography.kif 764-764 | Le nombre 1 argument de PerimeterAreaFn est une instance de r�gion |
(domain VelocityFn 3 Region) | Merge.kif 6665-6665 | Le nombre 3 argument de VelocityFn est une instance de r�gion |
(domain areaOfOperation 1 Region) | MilitaryProcesses.kif 1314-1314 | Le nombre 1 argument de areaOfOperation est une instance de r�gion |
(domain baptizedplace 2 Region) | Biography.kif 189-189 | Le nombre 2 argument de baptizedplace est une instance de r�gion |
(domain canonicalPlaceName 1 Region) | Mid-level-ontology.kif 24900-24900 | Le nombre 1 argument de canonicalPlaceName est une instance de r�gion |
(domain capableAtLocation 4 Region) | Transportation.kif 3218-3218 | Le nombre 4 argument de capableAtLocation est une instance de r�gion |
(domain capacityByArrangement 1 Region) | Hotel.kif 786-786 | Le nombre 1 argument de capacityByArrangement est une instance de r�gion |
(domain cloudCoverFraction 1 Region) | Weather.kif 854-854 | Le nombre 1 argument de cloudCoverFraction est une instance de r�gion |
(domain daylightHoursInterval 1 Region) | Weather.kif 834-834 | Le nombre 1 argument de daylightHoursInterval est une instance de r�gion |
(domain daylightHoursTotal 1 Region) | Weather.kif 844-844 | Le nombre 1 argument de daylightHoursTotal est une instance de r�gion |
(domain entrance 1 Region) | Mid-level-ontology.kif 6904-6904 | Le nombre 1 argument de entrance est une instance de r�gion |
(domain entrance 2 Region) | Mid-level-ontology.kif 6905-6905 | Le nombre 2 argument de entrance est une instance de r�gion |
(domain highTide 1 Region) | Geography.kif 4986-4986 | Le nombre 1 argument de highTide est une instance de r�gion |
(domain lowTide 1 Region) | Geography.kif 4995-4995 | Le nombre 1 argument de lowTide est une instance de r�gion |
(domain mapOfArea 1 Region) | Geography.kif 527-527 | Le nombre 1 argument de mapOfArea est une instance de r�gion |
(domain providesDestination 2 Region) | Transportation.kif 4296-4296 | Le nombre 2 argument de providesDestination est une instance de r�gion |
(domain routeBetween 2 Region) | Transportation.kif 3634-3634 | Le nombre 2 argument de routeBetween est une instance de r�gion |
(domain routeBetween 3 Region) | Transportation.kif 3635-3635 | Le nombre 3 argument de routeBetween est une instance de r�gion |
(domain routeEnd 1 Region) | Transportation.kif 3372-3372 | Le nombre 1 argument de routeEnd est une instance de r�gion |
(domain routeStart 1 Region) | Transportation.kif 3349-3349 | Le nombre 1 argument de routeStart est une instance de r�gion |
(domain totalArea 1 Region) | Mid-level-ontology.kif 31492-31492 | Le nombre 1 argument de totalArea est une instance de r�gion |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |