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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 920-924
(documentation part JapaneseLanguage "基本的な数学的関係。 他のすべての単なる関係は、この関係 で定義される。 (part ?PART ?WHOLE) とは、単にObject ?PARTは Object ?WHOLEの一部、という意味である。 注：part が　ReflexiveRelation のため、すべての Object はそれ自体の一部である。") japanese_format.kif 143-146
(documentation part SpanishLanguage "La relación básica de mereología. Todas otras relaciones mereológicas son definidas en términos de ella. (part ?PART ?WHOLE) simplemente quiere decir el Object ?PART es parte del Object ?WHOLE. Note que, porque part es una ReflexiveRelation, cada Object es parte de consigo misma.") spanish_format.kif 168-171
(domain part 1 Object) Merge.kif 917-917 域 部分, 1 and Object
(domain part 2 Object) Merge.kif 918-918 域 部分, 2 and Object
(instance part BinaryPredicate) Merge.kif 916-916 例 部分 and BinaryPredicate
(instance part PartialOrderingRelation) Merge.kif 915-915 例 部分 and PartialOrderingRelation
(instance part SpatialRelation) Merge.kif 914-914 例 部分 and SpatialRelation

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


(disjointRelation contains part) Merge.kif 1018-1018 不相交的關係 包含 and 部分
(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 162-162
(format FrenchLanguage part "%1 est %n une partie de %2") french_format.kif 100-100
(format ItalianLanguage part "%1 è %n una parte di %2") relations-it.txt 210-210
(format JapaneseLanguage part "%1 は %2 の part では %n") japanese_format.kif 1929-1929
(format PortugueseLanguage part "%1 e' %n uma &parte de %2") portuguese_format.kif 52-52
(format cz part "%1 %p{je} %n{nen�} ��st� %2") relations-cz.txt 64-64
(format de part "%1 ist ein teil von %2 %n{nicht}") relations-de.txt 197-197
(format hi part "%1 %2 kaa bhaaga %n hai") relations-hindi.txt 248-248
(format ro part "%1 %n{nu} este o part%t{parte} a lui %2") relations-ro.kif 119-119
(format sv part "%1 är %n{inte} en del av %2") relations-sv.txt 101-101
(format tg part "%1 %n ay ang bahagi ng %2") relations-tg.txt 402-402
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 23698-23698 相關的內部概念 初始部分 and 部分
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 23725-23725 相關的內部概念 最初包含部分 and 部分
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 23751-23751 相關的內部概念 partTypes and 部分
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 23624-23624 相關的內部概念 典型的部分 and 部分
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 23661-23661 相關的內部概念 通常包含部分 and 部分
(subrelation component part) Merge.kif 965-965 子關係 零件 and 部分
(subrelation geneticSubstrateOfVirus part) VirusProteinAndCellPart.kif 34-34 子關係 病毒的遺傳基質 and 部分
(subrelation half part) Mid-level-ontology.kif 13172-13172 子關係 半 and 部分
(subrelation inString part) Mid-level-ontology.kif 24376-24376 子關係 inString and 部分
(subrelation interiorPart part) Merge.kif 9692-9692 子關係 內飾部分 and 部分
(subrelation most part) Mid-level-ontology.kif 13215-13215 子關係 最 and 部分

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.0 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))		 Geography.kif 7440-7451 例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 例 Object0 and CoarseParticulateMatter 部分 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 7469-7479 例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 例 Object5 and FineParticulateMatter 部分 Object5 and Object
(=>
    (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 ?U))
            (equal ?N
                (ListSumFn ?L)))))		 Merge.kif 7596-7611
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?E Extension)
        (instrument ?E ?AC)
        (moves ?F ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Mammal))
    (capability Flexion instrument ?BC))		 Mid-level-ontology.kif 10685-10696
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?AC)
        (moves ?F ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Mammal))
    (capability Extension instrument ?BC))		 Mid-level-ontology.kif 10672-10683
(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))		 Geography.kif 1754-1759
(=>
    (and
        (attribute ?AREA LowTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.03 ?SLOPE))		 Geography.kif 1766-1771
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 12))		 Medicine.kif 172-187
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))		 Medicine.kif 155-170
(=>
    (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 2693-2704
(=>
    (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 2665-2676
(=>
    (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 19443-19453
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9715-9720
(=>
    (and
        (chromosomeNumber ?C ?I)
        (part ?N ?C)
        (instance ?N CellNucleus)
        (instance ?COLL Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))		 VirusProteinAndCellPart.kif 703-711
(=>
    (and
        (concentration
            (MeasureFn ?N1 ?U) ?S
            (MeasureFn ?N2 ?U2) ?M)
        (instance ?SI ?S)
        (part ?SI ?M)
        (measure ?SI
            (MeasureFn ?N3 ?U3))
        (part ?SI ?M)
        (not
            (instance ?SI2 ?S))
        (not
            (equal ?SI ?SIE2))
        (part ?SI2 ?M)
        (measure ?M
            (MeasureFn ?N2 ?U2)))
    (approximateValue ?N1 ?N3))		 Medicine.kif 234-249
(=>
    (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 1538-1544
(=>
    (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 2585-2603
(=>
    (and
        (ennervates ?NC ?MC)
        (instance ?N ?NC)
        (instance ?M ?MC)
        (part ?N ?H)
        (part ?M ?H)
        (attribute ?H Healthy)
        (instance ?H Human))
    (hasPurpose ?N
        (exists (?NF ?C)
            (and
                (instance ?NF NerveFiring)
                (instrument ?NF ?N)
                (instance ?MC MuscleContraction)
                (instrument ?MV ?M)
                (causes ?NF ?MC)))))		 Anatomy.kif 1923-1939
(=>
    (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 2636-2644
(=>
    (and
        (haploidNumber ?CELL ?I)
        (instance ?CELL Gamete)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (instance ?COLL Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))		 VirusProteinAndCellPart.kif 794-803
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?LA ?O)
            (meetsSpatially ?LL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?RA ?O))
            (not
                (meetsSpatially ?RL ?O)))))		 Anatomy.kif 1838-1860
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H LateralRecumbant)
                (orientation ?H ?O On)))
        (instance ?LA LeftArm)
        (part ?LA ?H)
        (instance ?RA RightArm)
        (part ?RA ?H)
        (instance ?LL LeftLeg)
        (part ?LL ?H)
        (instance ?RL RightLeg)
        (part ?RL ?H)
        (or
            (meetsSpatially ?RA ?O)
            (meetsSpatially ?RL ?O)))
    (holdsDuring ?T
        (and
            (not
                (meetsSpatially ?LA ?O))
            (not
                (meetsSpatially ?LL ?O)))))		 Anatomy.kif 1862-1884
(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Prone)
                (orientation ?H ?O On)))
        (instance ?C Chest)
        (part ?C ?H))
    (meetsSpatially ?C ?O))		 Anatomy.kif 1799-1807
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (DeadOrMissingBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (not ?F))		 Merge.kif 18246-18254

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 12466-12473 例 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間 開始 何時 Process and 部分 Object and Entity 持有期間 結束 何時 Process and 部分 Object and Entity
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10.0 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))		 Geography.kif 7440-7451 例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and Micrometer 比較多 10.0 and RealNumber 比較多 RealNumber and 2.5 Object0 例 Object0 and CoarseParticulateMatter 部分 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 7469-7479 例 Object and ParticulateMatter 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and Micrometer 大於或等於 RealNumber and 2.5 Object5 例 Object5 and FineParticulateMatter 部分 Object5 and Object
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 11682-11689 例 Object and Bone Object 例 Object and 骨架 例 Object and 外骨骼 部分 Object and Object
(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (cardinality
            (KappaFn ?AIRPORT
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA))) ?COUNT)))		 Transportation.kif 1277-1287 GeographicArea 是 對於 NonnegativeInteger 在地區 延期 機場有著鋪設跑道 的 total 設施類別 SymbolicString entity NonnegativeInteger 是 卡帕 SymbolicString and 例 SymbolicString and 飛機場 例 entity and 鋪好的跑道 部分 entity and SymbolicString 位於 SymbolicString and GeographicArea 的 cardinality
(=>
    (accountAtSite ?ACCT ?SITE)
    (exists (?DATABASE ?SITE_OWNER)
        (and
            (instance ?DATABASE Database)
            (instance ?SITE_OWNER AutonomousAgent)
            (possesses ?SITE_OWNER ?SITE)
            (possesses ?SITE_OWNER ?DATABASE)
            (part ?ACCT ?DATABASE))))		 UXExperimentalTerms.kif 632-640
(=>
    (and
        (albumCoverImage ?A ?I)
        (instance ?CD
            (AlbumCopiesFn ?A ?DS))
        (contains ?C ?CD))
    (modalAttribute
        (part ?I
            (FrontFn ?C)) Likely))		 Music.kif 316-322
(=>
    (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 426-436
(=>
    (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 19443-19453
(=>
    (and
        (attribute ?X ?SHAPE)
        (instance ?X FourPosterBed)
        (instance ?SHAPE Quadrilateral)
        (sideOfFigure ?SIDE1 ?SHAPE)
        (sideOfFigure ?SIDE2 ?SHAPE)
        (not
            (equal ?SIDE1 ?SIDE2)))
    (exists (?POST ?FLOOR ?CORNER1 ?CORNER)
        (and
            (part ?POST ?X)
            (instance ?FLOOR Floor)
            (orientation ?X ?FLOOR On)
            (orientation ?POST ?FLOOR Vertical)
            (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
            (attribute ?CORNER ?CORNER1)
            (meetsSpatially ?CORNER ?POST))))		 Mid-level-ontology.kif 4078-4095
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelLevelAttribute))
    (and
        (instance ?X BuildingLevel)
        (exists (?BLDG)
            (and
                (instance ?BLDG HotelBuilding)
                (part ?X ?BLDG)))))		 Hotel.kif 1207-1216
(=>
    (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 1935-1946
(=>
    (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 ?H)
            (part ?BI ?H)
            (connected ?AI ?BI))))		 Mid-level-ontology.kif 11967-11977
(=>
    (and
        (connectedBodyPartTypes ?P1 ?P2 ?O)
        (instance ?OC ?O)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?PC1 ?PC2)
        (and
            (instance ?PC1 ?P1)
            (instance ?PC2 ?P2)
            (not
                (equal ?PC1 ?PC2))
            (part ?PC1 ?OC)
            (part ?PC2 ?OC)
            (connected ?PC1 ?PC2))))		 Anatomy.kif 32-46
(=>
    (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 1127-1140
(=>
    (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 2636-2644
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (exists (?R ?O)
        (and
            (instance ?R
                (DeadFn ?ORG))
            (part ?R ?O)
            (instance ?O ?ORG))))		 Economy.kif 5267-5276
(=>
    (and
        (experiencer ?ORGANISM ?PAIN)
        (instance ?PAIN
            (PainFn ?P)))
    (exists (?PART)
        (and
            (part ?PART ?ORGANISM)
            (located ?PART ?P))))		 Mid-level-ontology.kif 6357-6364
(=>
    (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 2567-2583
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))		 Merge.kif 9894-9901
(=>
    (and
        (initialPart ?C2 ?C1)
        (instance ?PART ?C2))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?C1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?PART))
                (part ?PART ?WHOLE)))))		 Mid-level-ontology.kif 23710-23719
(=>
    (and
        (initiallyContainsPart ?C2 ?C1)
        (instance ?WHOLE ?C1))
    (exists (?PART)
        (and
            (instance ?PART ?C2)
            (holdsDuring
                (BeginFn
                    (WhenFn ?WHOLE))
                (part ?PART ?WHOLE)))))		 Mid-level-ontology.kif 23737-23745
(=>
    (and
        (instance ?A
            (BodyAreaFn ?OC))
        (instance ?H Animal)
        (part ?A ?H))
    (exists (?O)
        (and
            (instance ?O ?OC)
            (orientation ?A ?O Near)
            (part ?O ?H))))		 Medicine.kif 6237-6246
(=>
    (and
        (instance ?A Amputating)
        (patient ?A ?H)
        (instance ?L Limb))
    (exists (?P ?B)
        (and
            (part ?P ?L)
            (part ?B ?P)
            (instance ?B Bone)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?A))
                (part ?P ?H))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?A))
                (not
                    (part ?P ?H))))))		 Medicine.kif 6257-6275

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 1163-1163 部分 Virus 和 病毒部分 的 viral 部分 and Virus
(part AtlantaGeorgia Georgia) CountriesAndRegions.kif 711-711 部分 美國佐治亞州亞特蘭大 and 格魯吉亞
(part Australia Oceania) CountriesAndRegions.kif 662-662 部分 澳大利亞 and 大洋洲
(part BaltimoreMaryland Maryland) CountriesAndRegions.kif 714-714 部分 巴爾的摩馬里蘭州 and 馬里蘭
(part BostonMassachusetts Massachusetts) CountriesAndRegions.kif 724-724 部分 馬薩諸塞州波士頓 and 馬薩諸塞
(part ChicagoUnitedStates Illinois) CountriesAndRegions.kif 1611-1611 部分 芝加哥美國 and 伊利諾伊
(part ClevelandOhio Ohio) CountriesAndRegions.kif 854-854 部分 克利夫蘭俄亥俄州 and 俄亥俄州
(part Connecticut NewEngland) CountriesAndRegions.kif 915-915 部分 康涅狄格 and 新英格蘭
(part DallasTexas Texas) CountriesAndRegions.kif 851-851 部分 達拉斯得克薩斯 and 德州
(part DetroitMichigan Michigan) CountriesAndRegions.kif 841-841 部分 底特律密執安 and 密歇根州
(part FargoNorthDakota NorthDakota) CountriesAndRegions.kif 835-835 部分 法戈北達科他州 and 北達科他州
(part Germany Europe) CountriesAndRegions.kif 1242-1242 部分 德國 and 歐洲
(part Greece Europe) CountriesAndRegions.kif 1245-1245 部分 希臘 and 歐洲
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 部分 休斯敦，德克薩斯州 and 德州
(part HudsonRiver NewYorkState) CountriesAndRegions.kif 832-832 部分 哈德遜河 and 紐約州
(part KansasCityMissouri Missouri) CountriesAndRegions.kif 728-728 部分 堪薩斯城密蘇里州 and 密蘇里州
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 部分 朝鮮半島 and 亞洲
(part LongIsland NewYorkState) CountriesAndRegions.kif 805-805 部分 長島 and 紐約州
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 部分 洛杉磯加利福尼亞州 and 加州
(part ManchesterNewHampshire NewHampshire) CountriesAndRegions.kif 731-731 部分 曼徹斯特新罕布什爾州 and 新罕布什爾
(part Massachusetts NewEngland) CountriesAndRegions.kif 989-989 部分 馬薩諸塞 and 新英格蘭
(part MemphisTennessee Tennessee) CountriesAndRegions.kif 733-733 部分 孟菲斯田納西州 and 田納西
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 部分 明尼阿波利斯明尼蘇達州 and 明尼蘇達
(part MississippiRiver UnitedStates) CountriesAndRegions.kif 740-740 部分 密西西比河 and 美國
(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 部分 蒙特利爾加拿大 and 加拿大

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