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 2 Object) Merge.kif 876-876
(instance part BinaryPredicate) Merge.kif 874-874
(instance part PartialOrderingRelation) Merge.kif 873-873
(instance part SpatialRelation) Merge.kif 872-872

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


(disjointRelation contains part) Merge.kif 946-946
(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 21806-21806
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 21753-21753
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 21780-21780
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 21823-21823
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 21679-21679
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 21716-21716
(subrelation component part) Merge.kif 916-916
(subrelation geneticSubstrateOfVirus part) VirusProteinAndCellPart.kif 34-34
(subrelation half part) Mid-level-ontology.kif 11419-11419
(subrelation inString part) Mid-level-ontology.kif 22362-22362
(subrelation interiorPart part) Merge.kif 9263-9263
(subrelation most part) Mid-level-ontology.kif 11462-11462
(subrelation pathInSystem part) Transportation.kif 2732-2732
(subrelation physicalEnd part) Merge.kif 17120-17120
(subrelation piece part) Merge.kif 900-900
(subrelation properPart part) Merge.kif 886-886
(subrelation quarter part) Mid-level-ontology.kif 11453-11453
(subrelation subCollection part) Merge.kif 1194-1194
(subrelation subString part) Mid-level-ontology.kif 22384-22384
(subrelation third part) Mid-level-ontology.kif 11435-11435
(termFormat ChineseLanguage part "部分") chinese_format.kif 162-162

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
(<=>
    (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
(=>
    (and
        (amount ?S ?CO
            (MeasureFn ?N ?U))
        (instance ?SI ?S)
        (measure ?SI
            (MeasureFn ?N2 ?U))
        (part ?SI ?CO))
    (exists (?L)
        (and
            (inList
                (MeasureFn ?N2 ?U) ?L)
            (equal ?L
                (AmountsFn ?S ?CO))
            (equal
                (MeasureFn ?N ?U)
                (ListSumFn ?L)))))		 Merge.kif 7340-7356
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Extension)
        (instrument ?F ?A)
        (moved ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Flexion))		 Mid-level-ontology.kif 9276-9287
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?A)
        (moved ?F ?PART)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?A ?H)
        (part ?B ?H)
        (instance ?H Mammal))
    (capability ?B instrument Extension))		 Mid-level-ontology.kif 9263-9274
(=>
    (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 17456-17466
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9286-9291
(=>
    (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 4112-4118
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))		 Merge.kif 9471-9477
(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))		 Mid-level-ontology.kif 10019-10026
(=>
    (and
        (instance ?A Antacid)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 8779-8801
(=>
    (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 10163-10168
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))		 Mid-level-ontology.kif 10143-10148

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 11844-11851
(<=>
    (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
(<=>
    (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
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))		 Merge.kif 9530-9535
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 10170-10177
(<=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (and
        (not
            (part ?OBJ1 ?OBJ2))
        (not
            (part ?OBJ2 ?OBJ1))
        (exists (?OBJ3)
            (and
                (part ?OBJ3 ?OBJ1)
                (part ?OBJ3 ?OBJ2)))))		 Merge.kif 9204-9212
(<=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))		 Merge.kif 9166-9171
(<=>
    (properPart ?OBJ1 ?OBJ2)
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1))))		 Merge.kif 893-898
(<=>
    (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
(=>
    (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 17456-17466
(=>
    (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
        (connectedBodyPart ?A ?B)
        (attribute ?H Healthy))
    (exists (?AI ?BI)
        (and
            (instance ?AI ?A)
            (instance ?BI ?B)
            (part ?AI ?G)
            (part ?BI ?H)
            (connected ?AI ?BI))))		 Mid-level-ontology.kif 10407-10417
(=>
    (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 21810-21817
(=>
    (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 9462-9469
(=>
    (and
        (initialPart ?C2 ?C1)
        (instance ?PART ?C2))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?C1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?PART))
                (part ?PART ?WHOLE)))))		 Mid-level-ontology.kif 21765-21774
(=>
    (and
        (initiallyContainsPart ?C2 ?C1)
        (instance ?WHOLE ?C1))
    (exists (?PART)
        (and
            (instance ?PART ?C2)
            (holdsDuring
                (BeginFn
                    (WhenFn ?WHOLE))
                (part ?PART ?WHOLE)))))		 Mid-level-ontology.kif 21792-21800
(=>
    (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

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

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