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 都是它自己本身的一部分。") Merge.kif 973-975
(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 968-972
(domain part 1 Object) Merge.kif 966-966 部分 的 1 数量 是 客体 的 instance
(domain part 2 Object) Merge.kif 967-967 部分 的 2 数量 是 客体 的 instance
(instance part PartialOrderingRelation) Merge.kif 965-965 部分 是 偏序关系 的 instance
(instance part SpatialRelation) Merge.kif 964-964 部分 是 空间关系 的 instance

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


(disjointRelation contains part) Merge.kif 1045-1045 容纳 和 部分 是 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 107-107
(relatedInternalConcept havePartTypes part) Mid-level-ontology.kif 21663-21663 havePartTypes 和 部分 是 内部相关
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 21610-21610 initialPart 和 部分 是 内部相关
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 21637-21637 initiallyContainsPart 和 部分 是 内部相关
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 21679-21679 partTypes 和 部分 是 内部相关
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 21536-21536 typicalPart 和 部分 是 内部相关
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 21573-21573 typicallyContainsPart 和 部分 是 内部相关
(subrelation component part) Merge.kif 1012-1012 组件 是 部分 的 subrelation
(subrelation geneticSubstrateOfVirus part) VirusProteinAndCellPart.kif 34-34 geneticSubstrateOfVirus 是 部分 的 subrelation
(subrelation half part) Mid-level-ontology.kif 10774-10774 half 是 部分 的 subrelation
(subrelation inString part) Mid-level-ontology.kif 22111-22111 inString 是 部分 的 subrelation
(subrelation interiorPart part) Merge.kif 9705-9705 内在部分 是 部分 的 subrelation
(subrelation most part) Mid-level-ontology.kif 10817-10817 most 是 部分 的 subrelation
(subrelation pathInSystem part) Transportation.kif 2666-2666 pathInSystem 是 部分 的 subrelation
(subrelation piece part) Merge.kif 995-995 块 是 部分 的 subrelation
(subrelation properPart part) Merge.kif 979-979 真正的部分 是 部分 的 subrelation
(subrelation quarter part) Mid-level-ontology.kif 10808-10808 quarter 是 部分 的 subrelation
(subrelation subCollection part) Merge.kif 1332-1332 子集 是 部分 的 subrelation
(subrelation subString part) Mid-level-ontology.kif 22147-22147 subString 是 部分 的 subrelation
(subrelation third part) Mid-level-ontology.kif 10790-10790 third 是 部分 的 subrelation
(termFormat ChineseLanguage part "部分") chinese_format.kif 162-162 termFormat ChineseLanguage, 部分 and "部分"
(termFormat EnglishLanguage part "part") domainEnglishFormat.kif 7840-7840 termFormat EnglishLanguage, 部分 and "part"

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 6790-6801 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 近似直径 那个 自身连接物体 and 实数 微米 和 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 6819-6829 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 近似直径 那个 自身连接物体 and 实数 微米 和 那个 实数 是 greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒 的 instance 和 那个 客体25 是 那个 客体 的 part
(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))		 Geography.kif 1695-1700
(=>
    (and
        (attribute ?AREA LowTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.03 ?SLOPE))		 Geography.kif 1707-1712
(=>
    (and
        (attribute ?O Concave)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?P))
    (orientation ?PL ?O Inside))		 ComputingBrands.kif 1124-1135
(=>
    (and
        (attribute ?O Convex)
        (surface ?O ?S)
        (part ?P1 ?S)
        (part ?P2 ?S)
        (equal ?L
            (LineFn ?P1 ?P2))
        (not
            (equal ?P1 ?P2))
        (part ?PL ?P))
    (orientation ?PL ?O Outside))		 ComputingBrands.kif 1105-1116
(=>
    (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 17222-17232
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9731-9736
(=>
    (and
        (connected ?X ?Y)
        (part ?Y ?Z))
    (connected ?X ?Z))		 Geography.kif 511-515
(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))		 Cars.kif 1533-1539
(=>
    (and
        (engineIdleSpeed ?E
            (RotationFn ?N1 ?M))
        (instance ?A Automobile)
        (instance ?P GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (part ?C ?A)
        (measure ?C
            (RotationFn ?N2 ?M)))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))		 Cars.kif 2571-2584
(=>
    (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 1089-1097
(=>
    (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 2553-2569
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))		 Merge.kif 9929-9935
(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))		 Mid-level-ontology.kif 9752-9759
(=>
    (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 1618-1629
(=>
    (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 1631-1643
(=>
    (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 843-856
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Exoskeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Invertebrate))		 Mid-level-ontology.kif 9894-9899
(=>
    (and
        (instance ?ANIMAL Animal)
        (instance ?SKELETON Skeleton)
        (part ?SKELETON ?ANIMAL))
    (instance ?ANIMAL Vertebrate))		 Mid-level-ontology.kif 9874-9879
(=>
    (and
        (instance ?Application AutomaticApplication)
        (instance ?System SoftwareSystem)
        (part ?Application ?System))
    (part
        (StartupFn ?Application)
        (StartupFn ?System)))		 QoSontology.kif 582-587
(=>
    (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 3953-3963
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))		 Merge.kif 18526-18531
(=>
    (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
(=>
    (and
        (instance ?BTS BimetalTemperatureSensor)
        (instance ?M1 Metal)
        (instance ?M2 Metal)
        (not
            (equal ?M1 ?M2))
        (part ?M1 ?BTS)
        (part ?M2 ?BTS)
        (instance ?T1 TemperatureMeasure)
        (instance ?T2 TemperatureMeasure)
        (instance ?L1 LengthMeasure)
        (instance ?L2 LengthMeasure)
        (instance ?L3 LengthMeasure)
        (instance ?L4 LengthMeasure)
        (not
            (equal ?T1 ?T2))
        (holdsDuring ?TM1
            (and
                (measure ?BTS ?T1)
                (measure ?M1 ?L1)
                (measure ?M2 ?L2)))
        (holdsDuring ?TM2
            (and
                (measure ?BTS ?T2)
                (measure ?M1 ?L3)
                (measure ?M2 ?L4))))
    (not
        (equal
            (DivisionFn ?L1 ?L2)
            (DivisionFn ?L3 ?L4))))		 Cars.kif 4047-4077

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 12376-12383 过程 是 结合 的 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 6790-6801 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 近似直径 那个 自身连接物体 and 实数 微米 和 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 6819-6829 客体 是 悬浮颗粒 的 instance 和 自身连接物体 是 那个 客体 的 part 和 近似直径 那个 自身连接物体 and 实数 微米 和 那个 实数 是 greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒 的 instance 和 那个 客体25 是 那个 客体 的 part
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))		 Merge.kif 9992-9997 Fillable 是 客体 的 attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 洞 的 instance 和 那个 客体 是 那个 另外 客体 的 part
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 9901-9908 客体 是 骨骼 的 instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 Skeleton 的 instance 或 那个 另外 客体 是 Exoskeleton 的 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 9642-9650 客体 和 另一个 客体 部分重叠 若且唯若 那个 客体 不 是 那个 另外 客体 的 part 和 那个 另外 客体 不 是 那个 客体 的 part 和 有存在 第三 客体 这样 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 另外 客体 的 part
(<=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))		 Merge.kif 9604-9609 客体 和 另一个 客体 重叠 若且唯若 有存在 第三 客体 这样 那个 第三 客体 是 那个 客体 的 part 和 那个 第三 客体 是 那个 另外 客体 的 part
(<=>
    (properPart ?OBJ1 ?OBJ2)
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1))))		 Merge.kif 988-993 客体 是 另一个 客体 的 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 1251-1261 totalFacilityTypeInArea 地理区域, 和 AirportWithPavedRunway 对应的 Class and 非负整数 若且唯若 cardinality 符号串 所描述的类别 and 那个 非负整数
(=>
    (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 319-325
(=>
    (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 429-439
(=>
    (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 17222-17232
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelLevelAttribute))
    (and
        (instance ?X BuildingLevel)
        (exists (?BLDG)
            (and
                (instance ?BLDG HotelBuilding)
                (part ?X ?BLDG)))))		 Hotel.kif 1154-1163
(=>
    (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 1879-1890
(=>
    (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 1080-1093
(=>
    (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 1089-1097
(=>
    (and
        (havePartTypes ?PART_TYPE ?WHOLE_TYPE)
        (instance ?WHOLE ?WHOLE_TYPE))
    (exists (?PART)
        (and
            (instance ?PART ?PART_TYPE)
            (part ?PART ?WHOLE))))		 Mid-level-ontology.kif 21666-21673
(=>
    (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 2553-2569
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))		 Merge.kif 9920-9927
(=>
    (and
        (initialPart ?C2 ?C1)
        (instance ?PART ?C2))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?C1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?PART))
                (part ?PART ?WHOLE)))))		 Mid-level-ontology.kif 21622-21631
(=>
    (and
        (initiallyContainsPart ?C2 ?C1)
        (instance ?WHOLE ?C1))
    (exists (?PART)
        (and
            (instance ?PART ?C2)
            (holdsDuring
                (BeginFn
                    (WhenFn ?WHOLE))
                (part ?PART ?WHOLE)))))		 Mid-level-ontology.kif 21649-21657
(=>
    (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 4884-4898
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))		 Transportation.kif 1331-1338

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 578-578 ViralPartFn 病毒 and 有点 VirusPart 是 那个 病毒 的 part
(part AtlantaGeorgia Georgia) CountriesAndRegions.kif 711-711 AtlantaGeorgia 是 Georgia 的 part
(part Australia Oceania) CountriesAndRegions.kif 662-662 Australia 是 Oceania 的 part
(part BaltimoreMaryland Maryland) CountriesAndRegions.kif 714-714 BaltimoreMaryland 是 Maryland 的 part
(part BostonMassachusetts Massachusetts) CountriesAndRegions.kif 724-724 BostonMassachusetts 是 Massachusetts 的 part
(part ChicagoUnitedStates Illinois) CountriesAndRegions.kif 1611-1611 ChicagoUnitedStates 是 Illinois 的 part
(part ClevelandOhio Ohio) CountriesAndRegions.kif 854-854 ClevelandOhio 是 Ohio 的 part
(part Connecticut NewEngland) CountriesAndRegions.kif 915-915 Connecticut 是 NewEngland 的 part
(part DallasTexas Texas) CountriesAndRegions.kif 851-851 DallasTexas 是 Texas 的 part
(part DetroitMichigan Michigan) CountriesAndRegions.kif 841-841 DetroitMichigan 是 Michigan 的 part
(part FargoNorthDakota NorthDakota) CountriesAndRegions.kif 835-835 FargoNorthDakota 是 NorthDakota 的 part
(part Germany Europe) CountriesAndRegions.kif 1242-1242 Germany 是 Europe 的 part
(part Greece Europe) CountriesAndRegions.kif 1245-1245 Greece 是 Europe 的 part
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 HoustonTexas 是 Texas 的 part
(part HudsonRiver NewYorkState) CountriesAndRegions.kif 832-832 HudsonRiver 是 NewYorkState 的 part
(part KansasCityMissouri Missouri) CountriesAndRegions.kif 728-728 KansasCityMissouri 是 Missouri 的 part
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 KoreanPeninsula 是 Asia 的 part
(part LongIsland NewYorkState) CountriesAndRegions.kif 805-805 LongIsland 是 NewYorkState 的 part
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 LosAngelesCalifornia 是 California 的 part
(part ManchesterNewHampshire NewHampshire) CountriesAndRegions.kif 731-731 ManchesterNewHampshire 是 NewHampshire 的 part
(part Massachusetts NewEngland) CountriesAndRegions.kif 989-989 Massachusetts 是 NewEngland 的 part
(part MemphisTennessee Tennessee) CountriesAndRegions.kif 733-733 MemphisTennessee 是 Tennessee 的 part
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 MinneapolisMinnesota 是 Minnesota 的 part
(part MississippiRiver UnitedStates) CountriesAndRegions.kif 740-740 MississippiRiver 是 UnitedStates 的 part
(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 MontrealCanada 是 Canada 的 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners