| appearance as argument number 1 |
|
| (documentation part ChineseLanguage "这是基本的逻辑分体关系。其他所有的逻辑分体关系都是根据它来下 定义的。 (part ?PART ?WHOLE) 的意思就是 Object ?PART 是 Object ?WHOLE 的一部分。 要注意 因为 part 是一个 ReflexiveRelation， 所以每个 Object 都是它自己本身的一部分。") | chinese_format.kif 1570-1572 | |
| (documentation part EnglishLanguage "The basic mereological relation. All other mereological relations are defined in terms of this one. (part ?PART ?WHOLE) simply means that the Object ?PART is part of the Object ?WHOLE. Note that, since part is a ReflexiveRelation, every Object is a part of itself.") | Merge.kif 877-881 | |
| (domain part 1 Object) | Merge.kif 874-874 | 部分 的 1 数量 是 客体 的 instance |
| (domain part 2 Object) | Merge.kif 875-875 | 部分 的 2 数量 是 客体 的 instance |
| (instance part BinaryPredicate) | Merge.kif 873-873 | 部分 是 二元谓语 的 instance |
| (instance part PartialOrderingRelation) | Merge.kif 872-872 | 部分 是 偏序关系 的 instance |
| (instance part SpatialRelation) | Merge.kif 871-871 | 部分 是 空间关系 的 instance |
| appearance as argument number 2 |
|
|
| (disjointRelation contains part) | Merge.kif 945-945 | 容纳 和 部分 是 disjoint 关系 |
| (format ChineseLanguage part "%1 %n 是 %2 的 part") | chinese_format.kif 161-161 | |
| (format EnglishLanguage part "%1 is %n a part of %2") | english_format.kif 165-165 | |
| (relatedInternalConcept havePartTypes part) | Mid-level-ontology.kif 20188-20188 | havePartTypes 和 部分 是 内部相关 |
| (relatedInternalConcept initialPart part) | Mid-level-ontology.kif 20135-20135 | 初始部分 和 部分 是 内部相关 |
| (relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 20162-20162 | 最初包含部分 和 部分 是 内部相关 |
| (relatedInternalConcept partTypes part) | Mid-level-ontology.kif 20205-20205 | partTypes 和 部分 是 内部相关 |
| (relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 20061-20061 | 典型的部分 和 部分 是 内部相关 |
| (relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 20098-20098 | 通常包含部分 和 部分 是 内部相关 |
| (subrelation component part) | Merge.kif 915-915 | 组件 是 部分 的 subrelation |
| (subrelation geneticSubstrateOfVirus part) | VirusProteinAndCellPart.kif 34-34 | 病毒的遗传基质 是 部分 的 subrelation |
| (subrelation half part) | Mid-level-ontology.kif 9966-9966 | 半 是 部分 的 subrelation |
| (subrelation inString part) | Mid-level-ontology.kif 20615-20615 | inString 是 部分 的 subrelation |
| (subrelation interiorPart part) | Merge.kif 9142-9142 | 内在部分 是 部分 的 subrelation |
| (subrelation most part) | Mid-level-ontology.kif 10009-10009 | 最 是 部分 的 subrelation |
| (subrelation pathInSystem part) | Transportation.kif 2732-2732 | 系统中的路径 是 部分 的 subrelation |
| (subrelation piece part) | Merge.kif 899-899 | 块 是 部分 的 subrelation |
| (subrelation properPart part) | Merge.kif 885-885 | 真正的部分 是 部分 的 subrelation |
| (subrelation quarter part) | Mid-level-ontology.kif 10000-10000 | 25美分硬币 是 部分 的 subrelation |
| (subrelation subCollection part) | Merge.kif 1192-1192 | 子集 是 部分 的 subrelation |
| (subrelation subString part) | Mid-level-ontology.kif 20637-20637 | subString 是 部分 的 subrelation |
| (subrelation third part) | Mid-level-ontology.kif 9982-9982 | 第三 是 部分 的 subrelation |
| (termFormat ChineseLanguage part "部分") | chinese_format.kif 162-162 | |
| (termFormat ChineseTraditionalLanguage part "部分") | domainEnglishFormat.kif 44496-44496 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM)))) |
Geography.kif 6998-7009 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 10 是 greaterThan 实数 和 那个 实数 是 greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒 的 instance 和 那个 客体10 是 那个 客体 的 part |
| (<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM)))) |
Geography.kif 7027-7037 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 实数 是 greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒 的 instance 和 那个 客体25 是 那个 客体 的 part |
| (=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 1725-1730 | |
| (=> (and (attribute ?AREA LowTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.03 ?SLOPE)) |
Geography.kif 1737-1742 | |
| (=> (and (attribute ?O Concave) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Outside)) |
ComputingBrands.kif 2652-2663 | |
| (=> (and (attribute ?O Convex) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Inside)) |
ComputingBrands.kif 2624-2635 | |
| (=> (and (attribute ?SYLLABLE Stressed) (instance ?WORD Word) (part ?SYLLABLE ?WORD)) (not (exists (?SYLLABLE2) (and (instance ?SYLLABLE2 Syllable) (part ?SYLLABLE2 ?WORD) (attribute ?SYLLABLE2 Stressed) (not (equal ?SYLLABLE2 ?SYLLABLE)))))) |
Mid-level-ontology.kif 15982-15992 | |
| (=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above)) |
Merge.kif 9165-9170 |
|
| (=> (and (connected ?X ?Y) (part ?Y ?Z)) (connected ?X ?Z)) |
Geography.kif 514-518 | |
| (=> (and (cylinderBore ?CY ?M) (instance ?CY Cylinder) (instance ?CI Circle) (part ?CI ?CY)) (diameter ?CI ?M)) |
Cars.kif 1552-1558 | |
| (=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Cars.kif 2599-2617 |
|
| (=> (and (equal ?L (LineFn ?P1 ?P2)) (part ?OP1 ?L) (part ?OP2 ?L) (not (equal ?OP1 ?OP2)) (equal ?L2 (LineFn ?OP1 ?OP2))) (part ?L2 ?L)) |
ComputingBrands.kif 2595-2603 | |
| (=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely)) |
Cars.kif 2581-2597 | |
| (=> (and (holdsDuring ?T (possesses ?PERSON ?OBJ)) (part ?P ?OBJ)) (holdsDuring ?T (possesses ?PERSON ?P))) |
Merge.kif 4109-4115 | |
| (=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 9350-9356 |
|
| (=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 8896-8903 | |
| (=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (exists (?MAINTAINING) (and (instance ?MAINTAINING Maintaining) (instrument ?MAINTAINING ?A) (experiencer ?MAINTAINING ?OBJ))))) |
MilitaryDevices.kif 1619-1630 | |
| (=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ)))))) |
MilitaryDevices.kif 1632-1644 | |
| (=> (and (instance ?A1 Automobile) (instance ?A2 Automobile) (instance ?S1 AutomobileShock) (part ?S1 ?A1) (not (exists (?S2) (and (instance ?S2 AutomobileShock) (part ?S2 ?A2)))) (dampingRatio ?A1 ?R1) (dampingRatio ?A2 ?R2)) (greaterThan ?R2 ?R1)) |
Cars.kif 853-866 |
|
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Exoskeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Invertebrate)) |
Mid-level-ontology.kif 9040-9045 | |
| (=> (and (instance ?ANIMAL Animal) (instance ?SKELETON Skeleton) (part ?SKELETON ?ANIMAL)) (instance ?ANIMAL Vertebrate)) |
Mid-level-ontology.kif 9020-9025 | |
| (=> (and (instance ?Application AutomaticApplication) (instance ?System SoftwareSystem) (part ?Application ?System)) (part (StartupFn ?Application) (StartupFn ?System))) |
QoSontology.kif 584-589 | |
| (=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B))))) |
Mid-level-ontology.kif 3349-3359 | |
| (=> (and (instance ?BODY ReproductiveBody) (part ?BODY ?ORG) (instance ?ORG Organism)) (attribute ?ORG Female)) |
Merge.kif 16850-16855 | |
| (=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F))))) |
Cars.kif 693-707 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2)))) |
Merge.kif 11585-11592 | 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring |
| (<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 10 ?S) (greaterThan ?S 2.5)) (exists (?PM10) (and (instance ?PM10 CoarseParticulateMatter) (part ?PM10 ?PM)))) |
Geography.kif 6998-7009 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 10 是 greaterThan 实数 和 那个 实数 是 greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒 的 instance 和 那个 客体10 是 那个 客体 的 part |
| (<=> (and (instance ?PM ParticulateMatter) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThanOrEqualTo ?S 2.5)) (exists (?PM25) (and (instance ?PM25 FineParticulateMatter) (part ?PM25 ?PM)))) |
Geography.kif 7027-7037 | 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 1 的 approximate diameter 是 %2 和 实数 是 greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒 的 instance 和 那个 客体25 是 那个 客体 的 part |
| (<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2)))) |
Merge.kif 9409-9414 | 可填写 是 客体 的 attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 洞 的 instance 和 那个 客体 是 那个 另外 客体 的 part |
| (<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 9047-9054 | 客体 是 骨骼 的 instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 骨架 的 instance 或 那个 另外 客体 是 外骨骼 的 instance 和 那个 客体 是 那个 另外 客体 的 part |
| (<=> (overlapsPartially ?OBJ1 ?OBJ2) (and (not (part ?OBJ1 ?OBJ2)) (not (part ?OBJ2 ?OBJ1)) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2))))) |
Merge.kif 9083-9091 | 客体 和 另一个 客体 部分重叠 若且唯若 那个 客体 不 是 那个 另外 客体 的 part 和 那个 另外 客体 不 是 那个 客体 的 part 和 有存在 第三 客体 这样 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 另外 客体 的 part |
| (<=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2)))) |
Merge.kif 9045-9050 | 客体 和 另一个 客体 重叠 若且唯若 有存在 第三 客体 这样 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 另外 客体 的 part |
| (<=> (properPart ?OBJ1 ?OBJ2) (and (part ?OBJ1 ?OBJ2) (not (part ?OBJ2 ?OBJ1)))) |
Merge.kif 892-897 | 客体 是 另一个 客体 的 properPart 若且唯若 那个 客体 是 那个 另外 客体 的 part 和 那个 另外 客体 不 是 那个 客体 的 part |
| (<=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (cardinality (KappaFn ?AIRPORT (exists (?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) ?COUNT)) |
Transportation.kif 1277-1287 | 地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Class 的 total 设施类别 若且唯若 那个 非负整数 是 符号串 所描述的类别 的 cardinality |
| (=> (accountAtSite ?ACCT ?SITE) (exists (?DATABASE ?SITE_OWNER) (and (instance ?DATABASE Database) (instance ?SITE_OWNER Agent) (possesses ?SITE ?SITE_OWNER) (possesses ?DATABASE ?SITE_OWNER) (part ?ACCT ?DATABASE)))) |
UXExperimentalTerms.kif 784-792 | |
| (=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 313-319 | |
| (=> (and (attribute ?M MashupRecording) (instance ?M Recording)) (exists (?M1 ?M2 ?S1 ?S2) (and (musicInterpretation ?M1 ?S1) (musicInterpretation ?M2 ?S2) (not (equal ?S1 ?S2)) (part ?M1 ?M) (part ?M2 ?M)))) |
Music.kif 423-433 | |
| (=> (and (attribute ?SYLLABLE Stressed) (instance ?WORD Word) (part ?SYLLABLE ?WORD)) (not (exists (?SYLLABLE2) (and (instance ?SYLLABLE2 Syllable) (part ?SYLLABLE2 ?WORD) (attribute ?SYLLABLE2 Stressed) (not (equal ?SYLLABLE2 ?SYLLABLE)))))) |
Mid-level-ontology.kif 15982-15992 | |
| (=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1172-1181 | |
| (=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1897-1908 | |
| (=> (and (capability ?PC ?ROLE ?MV) (subclass ?PC Shooting)) (exists (?WEAPON) (and (instance ?WEAPON Weapon) (part ?WEAPON ?MV) (capability ?PC ?ROLE ?WEAPON)))) |
MilitaryDevices.kif 48-56 | |
| (=> (and (element ?ROOM (PropertyFn ?HOTEL)) (attribute ?ROOM AnnexRoom) (instance ?ROOM HotelRoom)) (exists (?BLDG1 ?BLDG2 ?FRNT) (and (subOrganization ?FRNT ?HOTEL) (instance ?FRNT HotelFrontDesk) (located ?FRNT ?BLDG1) (element ?BLDG1 (PropertyFn ?HOTEL)) (element ?BLDG2 (PropertyFn ?HOTEL)) (part ?ROOM ?BLDG2) (not (equal ?BLDG1 ?BLDG2))))) |
Hotel.kif 1092-1105 |
|
| (=> (and (equal ?L (LineFn ?P1 ?P2)) (part ?OP1 ?L) (part ?OP2 ?L) (not (equal ?OP1 ?OP2)) (equal ?L2 (LineFn ?OP1 ?OP2))) (part ?L2 ?L)) |
ComputingBrands.kif 2595-2603 | |
| (=> (and (havePartTypes ?PART_TYPE ?WHOLETYPE) (instance ?WHOLE ?WHOLETYPE)) (exists (?PART) (and (instance ?PART ?PARTTYPE) (part ?PART ?WHOLE)))) |
Mid-level-ontology.kif 20192-20199 | |
| (=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely)) |
Cars.kif 2581-2597 | |
| (=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9341-9348 | |
| (=> (and (initialPart ?C2 ?C1) (instance ?PART ?C2)) (exists (?WHOLE) (and (instance ?WHOLE ?C1) (holdsDuring (BeginFn (WhenFn ?PART)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 20147-20156 | |
| (=> (and (initiallyContainsPart ?C2 ?C1) (instance ?WHOLE ?C1)) (exists (?PART) (and (instance ?PART ?C2) (holdsDuring (BeginFn (WhenFn ?WHOLE)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 20174-20182 | |
| (=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 4281-4295 | |
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1357-1364 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
| (part (ViralPartFn ?VIR ?PARTTYPE) ?VIR) |
VirusProteinAndCellPart.kif 581-581 | 病毒 和 有点 病毒部分 的 viral 部分 是 那个 病毒 的 part |
| (part AtlantaGeorgia Georgia) | CountriesAndRegions.kif 711-711 | 美国佐治亚州亚特兰大 是 格鲁吉亚 的 part |
| (part Australia Oceania) | CountriesAndRegions.kif 662-662 | 澳大利亚 是 大洋洲 的 part |
| (part BaltimoreMaryland Maryland) | CountriesAndRegions.kif 714-714 | 巴尔的摩马里兰州 是 马里兰 的 part |
| (part BostonMassachusetts Massachusetts) | CountriesAndRegions.kif 724-724 | 马萨诸塞州波士顿 是 马萨诸塞 的 part |
| (part ChicagoUnitedStates Illinois) | CountriesAndRegions.kif 1611-1611 | 芝加哥美国 是 伊利诺伊 的 part |
| (part ClevelandOhio Ohio) | CountriesAndRegions.kif 854-854 | 克利夫兰俄亥俄州 是 俄亥俄州 的 part |
| (part Connecticut NewEngland) | CountriesAndRegions.kif 915-915 | 康涅狄格 是 新英格兰 的 part |
| (part DallasTexas Texas) | CountriesAndRegions.kif 851-851 | 达拉斯得克萨斯 是 德州 的 part |
| (part DetroitMichigan Michigan) | CountriesAndRegions.kif 841-841 | 底特律密执安 是 密歇根州 的 part |
| (part FargoNorthDakota NorthDakota) | CountriesAndRegions.kif 835-835 | 法戈北达科他州 是 北达科他州 的 part |
| (part Germany Europe) | CountriesAndRegions.kif 1242-1242 | 德国 是 欧洲 的 part |
| (part Greece Europe) | CountriesAndRegions.kif 1245-1245 | 希腊 是 欧洲 的 part |
| (part HoustonTexas Texas) | CountriesAndRegions.kif 828-828 | 休斯敦，德克萨斯州 是 德州 的 part |
| (part HudsonRiver NewYorkState) | CountriesAndRegions.kif 832-832 | 哈德逊河 是 纽约州 的 part |
| (part KansasCityMissouri Missouri) | CountriesAndRegions.kif 728-728 | 堪萨斯城密苏里州 是 密苏里州 的 part |
| (part KoreanPeninsula Asia) | CountriesAndRegions.kif 820-820 | 朝鲜半岛 是 亚洲 的 part |
| (part LongIsland NewYorkState) | CountriesAndRegions.kif 805-805 | 长岛 是 纽约州 的 part |
| (part LosAngelesCalifornia California) | CountriesAndRegions.kif 810-810 | 洛杉矶加利福尼亚州 是 加州 的 part |
| (part ManchesterNewHampshire NewHampshire) | CountriesAndRegions.kif 731-731 | 曼彻斯特新罕布什尔州 是 新罕布什尔 的 part |
| (part Massachusetts NewEngland) | CountriesAndRegions.kif 989-989 | 马萨诸塞 是 新英格兰 的 part |
| (part MemphisTennessee Tennessee) | CountriesAndRegions.kif 733-733 | 孟菲斯田纳西州 是 田纳西 的 part |
| (part MinneapolisMinnesota Minnesota) | CountriesAndRegions.kif 737-737 | 明尼阿波利斯明尼苏达州 是 明尼苏达 的 part |
| (part MississippiRiver UnitedStates) | CountriesAndRegions.kif 740-740 | 密西西比河 是 美国 的 part |
| (part MontrealCanada Canada) | CountriesAndRegions.kif 746-746 | 蒙特利尔加拿大 是 加拿大 的 part |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners