Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  part

Sigma KEE - part
part

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 878-882
(domain part 1 Object) Merge.kif 875-875 domain part, 1 and Object
(domain part 2 Object) Merge.kif 876-876 domain part, 2 and Object
(instance part BinaryPredicate) Merge.kif 874-874 instance part and BinaryPredicate
(instance part PartialOrderingRelation) Merge.kif 873-873 instance part and PartialOrderingRelation
(instance part SpatialRelation) Merge.kif 872-872 instance part and SpatialRelation

appearance as argument number 2
-------------------------


(disjointRelation contains part) Merge.kif 946-946 disjointRelation contains and part
(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 21707-21707 relatedInternalConcept havePartTypes and part
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 21654-21654 relatedInternalConcept initialPart and part
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 21681-21681 relatedInternalConcept initiallyContainsPart and part
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 21723-21723 relatedInternalConcept partTypes and part
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 21580-21580 relatedInternalConcept typicalPart and part
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 21617-21617 relatedInternalConcept typicallyContainsPart and part
(subrelation component part) Merge.kif 916-916 subrelation component and part
(subrelation geneticSubstrateOfVirus part) VirusProteinAndCellPart.kif 34-34 subrelation geneticSubstrateOfVirus and part
(subrelation half part) Mid-level-ontology.kif 10807-10807 subrelation half and part
(subrelation inString part) Mid-level-ontology.kif 22155-22155 subrelation inString and part
(subrelation interiorPart part) Merge.kif 9127-9127 subrelation interiorPart and part
(subrelation most part) Mid-level-ontology.kif 10850-10850 subrelation most and part
(subrelation pathInSystem part) Transportation.kif 2703-2703 subrelation pathInSystem and part
(subrelation piece part) Merge.kif 900-900 subrelation piece and part
(subrelation properPart part) Merge.kif 886-886 subrelation properPart and part
(subrelation quarter part) Mid-level-ontology.kif 10841-10841 subrelation quarter and part
(subrelation subCollection part) Merge.kif 1193-1193 subrelation subCollection and part
(subrelation subString part) Mid-level-ontology.kif 22191-22191 subrelation subString and part
(subrelation third part) Mid-level-ontology.kif 10823-10823 subrelation third and part
(termFormat ChineseLanguage part "部分") chinese_format.kif 162-162
(termFormat ChineseTraditionalLanguage part "部分") domainEnglishFormat.kif 44442-44442

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 6899-6910 instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThan 10 and RealNumber greaterThan RealNumber and 2.5 Object0 instance Object0 and CoarseParticulateMatter part Object0 and Object
(<=>
    (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 6928-6938 instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThanOrEqualTo RealNumber and 2.5 Object5 instance Object5 and FineParticulateMatter part Object5 and Object
(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))
Geography.kif 1707-1712
(=>
    (and
        (attribute ?AREA LowTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.03 ?SLOPE))
Geography.kif 1719-1724
(=>
    (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 2664-2675
(=>
    (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 2632-2643
(=>
    (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 17254-17264
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))
Merge.kif 9150-9155
(=>
    (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 1534-1540
(=>
    (and
        (engineIdleSpeed ?E
            (RotationFn ?N1 ?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 ?N2 ?M))))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))
Cars.kif 2572-2588
(=>
    (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 2603-2611
(=>
    (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 2554-2570
(=>
    (and
        (holdsDuring ?T
            (possesses ?PERSON ?OBJ))
        (part ?P ?OBJ))
    (holdsDuring ?T
        (possesses ?PERSON ?P)))
Merge.kif 4102-4108
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9335-9341
(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))
Mid-level-ontology.kif 9751-9758
(=>
    (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 844-857
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))
Mid-level-ontology.kif 9893-9898
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))
Mid-level-ontology.kif 9873-9878
(=>
    (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 3955-3965
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))
Merge.kif 16835-16840
(=>
    (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 11570-11577 instance Process and Combining resource Process and Object result Process and Entity holdsDuring BeginFn WhenFn Process and part Object and Entity holdsDuring EndFn WhenFn Process and part Object and Entity
(<=>
    (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 6899-6910 instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThan 10 and RealNumber greaterThan RealNumber and 2.5 Object0 instance Object0 and CoarseParticulateMatter part Object0 and Object
(<=>
    (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 6928-6938 instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThanOrEqualTo RealNumber and 2.5 Object5 instance Object5 and FineParticulateMatter part Object5 and Object
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9394-9399 attribute Object and Fillable Object instance Object and Hole part Object and Object
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 9900-9907 instance Object and Bone Object instance Object and Skeleton instance Object and Exoskeleton part Object and Object
(<=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (and
        (not
            (part ?OBJ1 ?OBJ2))
        (not
            (part ?OBJ2 ?OBJ1))
        (exists (?OBJ3)
            (and
                (part ?OBJ3 ?OBJ1)
                (part ?OBJ3 ?OBJ2)))))
Merge.kif 9068-9076 overlapsPartially Object and Object part Object and Object part Object and Object Object part Object and Object part Object and Object
(<=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))
Merge.kif 9030-9035 overlapsSpatially Object and Object Object part Object and Object part Object and Object
(<=>
    (properPart ?OBJ1 ?OBJ2)
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1))))
Merge.kif 893-898 properPart Object and Object part Object and Object part Object and Object
(<=>
    (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 1266-1276 totalFacilityTypeInArea GeographicArea, ExtensionFn AirportWithPavedRunway and NonnegativeInteger cardinality KappaFn SymbolicString and entity instance SymbolicString and Airport instance entity and PavedRunway part entity and SymbolicString located SymbolicString and GeographicArea and NonnegativeInteger
(=>
    (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 782-790
(=>
    (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 17254-17264
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelLevelAttribute))
    (and
        (instance ?X BuildingLevel)
        (exists (?BLDG)
            (and
                (instance ?BLDG HotelBuilding)
                (part ?X ?BLDG)))))
Hotel.kif 1158-1167
(=>
    (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 1883-1894
(=>
    (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 1084-1097
(=>
    (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 2603-2611
(=>
    (and
        (havePartTypes ?PART_TYPE ?WHOLETYPE)
        (instance ?WHOLE ?WHOLETYPE))
    (exists (?PART)
        (and
            (instance ?PART ?PARTTYPE)
            (part ?PART ?WHOLE))))
Mid-level-ontology.kif 21710-21717
(=>
    (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 2554-2570
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 9326-9333
(=>
    (and
        (initialPart ?C2 ?C1)
        (instance ?PART ?C2))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?C1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?PART))
                (part ?PART ?WHOLE)))))
Mid-level-ontology.kif 21666-21675
(=>
    (and
        (initiallyContainsPart ?C2 ?C1)
        (instance ?WHOLE ?C1))
    (exists (?PART)
        (and
            (instance ?PART ?C2)
            (holdsDuring
                (BeginFn
                    (WhenFn ?WHOLE))
                (part ?PART ?WHOLE)))))
Mid-level-ontology.kif 21693-21701
(=>
    (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 4885-4899
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))
Transportation.kif 1346-1353

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 579-579 part ViralPartFn Virus and VirusPart and Virus
(part AtlantaGeorgia Georgia) CountriesAndRegions.kif 711-711 part AtlantaGeorgia and Georgia
(part Australia Oceania) CountriesAndRegions.kif 662-662 part Australia and Oceania
(part BaltimoreMaryland Maryland) CountriesAndRegions.kif 714-714 part BaltimoreMaryland and Maryland
(part BostonMassachusetts Massachusetts) CountriesAndRegions.kif 724-724 part BostonMassachusetts and Massachusetts
(part ChicagoUnitedStates Illinois) CountriesAndRegions.kif 1611-1611 part ChicagoUnitedStates and Illinois
(part ClevelandOhio Ohio) CountriesAndRegions.kif 854-854 part ClevelandOhio and Ohio
(part Connecticut NewEngland) CountriesAndRegions.kif 915-915 part Connecticut and NewEngland
(part DallasTexas Texas) CountriesAndRegions.kif 851-851 part DallasTexas and Texas
(part DetroitMichigan Michigan) CountriesAndRegions.kif 841-841 part DetroitMichigan and Michigan
(part FargoNorthDakota NorthDakota) CountriesAndRegions.kif 835-835 part FargoNorthDakota and NorthDakota
(part Germany Europe) CountriesAndRegions.kif 1242-1242 part Germany and Europe
(part Greece Europe) CountriesAndRegions.kif 1245-1245 part Greece and Europe
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 part HoustonTexas and Texas
(part HudsonRiver NewYorkState) CountriesAndRegions.kif 832-832 part HudsonRiver and NewYorkState
(part KansasCityMissouri Missouri) CountriesAndRegions.kif 728-728 part KansasCityMissouri and Missouri
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 part KoreanPeninsula and Asia
(part LongIsland NewYorkState) CountriesAndRegions.kif 805-805 part LongIsland and NewYorkState
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 part LosAngelesCalifornia and California
(part ManchesterNewHampshire NewHampshire) CountriesAndRegions.kif 731-731 part ManchesterNewHampshire and NewHampshire
(part Massachusetts NewEngland) CountriesAndRegions.kif 989-989 part Massachusetts and NewEngland
(part MemphisTennessee Tennessee) CountriesAndRegions.kif 733-733 part MemphisTennessee and Tennessee
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 part MinneapolisMinnesota and Minnesota
(part MississippiRiver UnitedStates) CountriesAndRegions.kif 740-740 part MississippiRiver and UnitedStates
(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 part MontrealCanada and Canada

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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