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 928-932
(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 925-925 part の数値 1 引数は オブジェクトinstance では
(domain part 2 Object) Merge.kif 926-926 part の数値 2 引数は オブジェクトinstance では
(instance part BinaryPredicate) Merge.kif 924-924 part2進述語instance では
(instance part PartialOrderingRelation) Merge.kif 923-923 part半順序関係instance では
(instance part SpatialRelation) Merge.kif 922-922 part空間的関係instance では

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


(disjointRelation contains part) Merge.kif 1028-1028 containspartdisjoint では
(format ChineseLanguage part "%1 %n 是 %2 的 part") chinese_format.kif 161-161 containspartdisjoint では
(format EnglishLanguage part "%1 is %n a part of %2") english_format.kif 162-162 containspartdisjoint では
(format FrenchLanguage part "%1 est %n une partie de %2") french_format.kif 100-100 containspartdisjoint では
(format ItalianLanguage part "%1 è %n una parte di %2") relations-it.txt 210-210 containspartdisjoint では
(format JapaneseLanguage part "%1 は %2 の part では %n") japanese_format.kif 1929-1929 containspartdisjoint では
(format PortugueseLanguage part "%1 e' %n uma &parte de %2") portuguese_format.kif 52-52 containspartdisjoint では
(format cz part "%1 %p{je} %n{nen�} ��st� %2") relations-cz.txt 64-64 containspartdisjoint では
(format de part "%1 ist ein teil von %2 %n{nicht}") relations-de.txt 197-197 containspartdisjoint では
(format hi part "%1 %2 kaa bhaaga %n hai") relations-hindi.txt 248-248 containspartdisjoint では
(format ro part "%1 %n{nu} este o part%t{parte} a lui %2") relations-ro.kif 119-119 containspartdisjoint では
(format sv part "%1 är %n{inte} en del av %2") relations-sv.txt 101-101 containspartdisjoint では
(format tg part "%1 %n ay ang bahagi ng %2") relations-tg.txt 402-402 containspartdisjoint では
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 25343-25343 initialPartpartinternally 関連して
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 25371-25371 initiallyContainsPartpartinternally 関連して
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 25397-25397 partTypespartinternally 関連して
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 25265-25265 typicalPartpartinternally 関連して
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 25302-25302 typicallyContainsPartpartinternally 関連して
(subrelation component part) Merge.kif 975-975 componentpartsubrelation では
(subrelation geneticSubstrateOfVirus part) VirusProteinAndCellPart.kif 34-34 geneticSubstrateOfViruspartsubrelation では
(subrelation half part) Mid-level-ontology.kif 14503-14503 halfpartsubrelation では
(subrelation inString part) Mid-level-ontology.kif 26038-26038 inStringpartsubrelation では
(subrelation interiorPart part) Merge.kif 9828-9828 interiorPartpartsubrelation では
(subrelation most part) Mid-level-ontology.kif 14552-14552 mostpartsubrelation では

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 7744-7755 オブジェクトParticulateMatterinstance では 自己接続オブジェクト オブジェクトpart では approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 10.0 は 実数 より greater では  実数 は 2.5 より greater では  オブジェクト10 オブジェクト10 は CoarseParticulateMatterinstance では オブジェクト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 7773-7783 オブジェクトParticulateMatterinstance では 自己接続オブジェクト オブジェクトpart では approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 実数 は 2.5 greater では  オブジェクト25 オブジェクト25 は FineParticulateMatterinstance では オブジェクト25 は オブジェクトpart では
(=>
    (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 7647-7662
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?E Extension)
        (instrument ?E ?AC)
        (moves ?E ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Animal))
    (capability Flexion instrument ?BC))
Mid-level-ontology.kif 12016-12027
(=>
    (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 Animal))
    (capability Extension instrument ?BC))
Mid-level-ontology.kif 12003-12014
(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))
Geography.kif 1879-1884
(=>
    (and
        (attribute ?AREA LowTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.03 ?SLOPE))
Geography.kif 1891-1896
(=>
    (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 21014-21024
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))
Merge.kif 9853-9858
(=>
    (and
        (chromosomeNumber ?C ?I)
        (part ?N ?C)
        (instance ?N CellNucleus)
        (instance ?COLL Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))
VirusProteinAndCellPart.kif 709-717
(=>
    (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 651-655
(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI ?C)
        (equal ?C Circle))
    (diameter ?C ?M))
Cars.kif 1541-1550
(=>
    (and
        (distanceOfParallelLinesInSpace ?L1 ?L2
            (MeasureFn ?D ?U))
        (instance ?U UnitOfLength)
        (parallelLinesInSpace ?L1 ?L2)
        (part ?P1 ?L1)
        (instance ?P1 PointInSpace)
        (part ?P2 ?L2)
        (instance ?P2 PointInSpace)
        (distance ?P1 ?P2
            (MeasureFn ?X ?U)))
    (lessThanOrEqualTo ?D ?X))
Mid-level-ontology.kif 27362-27374
(=>
    (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 2569-2587
(=>
    (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 1962-1978
(=>
    (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 ?PLANE
            (LevelPlaneFn ?P ?A))
        (part ?P ?R)
        (instance ?R Region)
        (located ?R ?A))
    (exists (?L)
        (and
            (instance ?L LineInSpace)
            (endPointsOfLineInSpace ?P
                (CenterOfPlanetFn ?A) ?L)
            (orientation ?PLANE ?L RightAngle))))
Mid-level-ontology.kif 27429-27441
(=>
    (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 800-809
(=>
    (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 1873-1895
(=>
    (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 1897-1919

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 12620-12627 工程組み合わせinstance では オブジェクト 工程resource では エンティティー 工程result では オブジェクト エンティティーpart では は 工程time の existence の beginningduring holds オブジェクト エンティティーpart では は 工程time の existence の endduring holds
(<=>
    (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 7744-7755 オブジェクトParticulateMatterinstance では 自己接続オブジェクト オブジェクトpart では approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 10.0 は 実数 より greater では  実数 は 2.5 より greater では  オブジェクト10 オブジェクト10 は CoarseParticulateMatterinstance では オブジェクト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 7773-7783 オブジェクトParticulateMatterinstance では 自己接続オブジェクト オブジェクトpart では approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 実数 は 2.5 greater では  オブジェクト25 オブジェクト25 は FineParticulateMatterinstance では オブジェクト25 は オブジェクトpart では
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 13013-13020 オブジェクトinstance では オブジェクト オブジェクトSkeletoninstance では オブジェクトExoskeletoninstance では オブジェクト オブジェクトpart では
(<=>
    (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 1349-1359 totalFacilityTypeInArea 地理的地域, AirportWithPavedRunway に対する class and 非負整数 記号文字列 エンティティー cardinality 記号文字列で記述される class and 非負整数
(=>
    (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 428-438
(=>
    (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 21014-21024
(=>
    (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 4521-4538
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelLevelAttribute))
    (and
        (instance ?X BuildingLevel)
        (exists (?BLDG)
            (and
                (instance ?BLDG HotelBuilding)
                (part ?X ?BLDG)))))
Hotel.kif 1215-1224
(=>
    (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 1946-1957
(=>
    (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 13298-13308
(=>
    (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 1135-1148
(=>
    (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 5608-5617
(=>
    (and
        (experiencer ?ORGANISM ?PAIN)
        (instance ?PAIN
            (PainFn ?P)))
    (exists (?PART)
        (and
            (part ?PART ?ORGANISM)
            (located ?PART ?P))))
Mid-level-ontology.kif 7294-7301
(=>
    (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 2551-2567
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 10032-10039
(=>
    (and
        (initialPart ?C2 ?C1)
        (instance ?PART ?C2))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?C1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?PART))
                (part ?PART ?WHOLE)))))
Mid-level-ontology.kif 25356-25365
(=>
    (and
        (initiallyContainsPart ?C2 ?C1)
        (instance ?WHOLE ?C1))
    (exists (?PART)
        (and
            (instance ?PART ?C2)
            (holdsDuring
                (BeginFn
                    (WhenFn ?WHOLE))
                (part ?PART ?WHOLE)))))
Mid-level-ontology.kif 25383-25391
(=>
    (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 6254-6263
(=>
    (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 6274-6292

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 1171-1171 ViralPartFn ウイルス and VirusPart ウイルスpart では
(part AtlantaGeorgia Georgia) CountriesAndRegions.kif 711-711 AtlantaGeorgiaGeorgiapart では
(part Australia Oceania) CountriesAndRegions.kif 662-662 AustraliaOceaniapart では
(part BaltimoreMaryland Maryland) CountriesAndRegions.kif 714-714 BaltimoreMarylandMarylandpart では
(part BostonMassachusetts Massachusetts) CountriesAndRegions.kif 724-724 BostonMassachusettsMassachusettspart では
(part ChicagoUnitedStates Illinois) CountriesAndRegions.kif 1611-1611 ChicagoUnitedStatesIllinoispart では
(part ClevelandOhio Ohio) CountriesAndRegions.kif 854-854 ClevelandOhioOhiopart では
(part Connecticut NewEngland) CountriesAndRegions.kif 915-915 ConnecticutNewEnglandpart では
(part DallasTexas Texas) CountriesAndRegions.kif 851-851 DallasTexasTexaspart では
(part DetroitMichigan Michigan) CountriesAndRegions.kif 841-841 DetroitMichiganMichiganpart では
(part FargoNorthDakota NorthDakota) CountriesAndRegions.kif 835-835 FargoNorthDakotaNorthDakotapart では
(part Germany Europe) CountriesAndRegions.kif 1242-1242 GermanyEuropepart では
(part Greece Europe) CountriesAndRegions.kif 1245-1245 GreeceEuropepart では
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 HoustonTexasTexaspart では
(part HudsonRiver NewYorkState) CountriesAndRegions.kif 832-832 HudsonRiverNewYorkStatepart では
(part KansasCityMissouri Missouri) CountriesAndRegions.kif 728-728 KansasCityMissouriMissouripart では
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 KoreanPeninsulaAsiapart では
(part LongIsland NewYorkState) CountriesAndRegions.kif 805-805 LongIslandNewYorkStatepart では
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 LosAngelesCaliforniaCaliforniapart では
(part ManchesterNewHampshire NewHampshire) CountriesAndRegions.kif 731-731 ManchesterNewHampshireNewHampshirepart では
(part Massachusetts NewEngland) CountriesAndRegions.kif 989-989 MassachusettsNewEnglandpart では
(part MemphisTennessee Tennessee) CountriesAndRegions.kif 733-733 MemphisTennesseeTennesseepart では
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 MinneapolisMinnesotaMinnesotapart では
(part MississippiRiver UnitedStates) CountriesAndRegions.kif 740-740 MississippiRiverUnitedStatespart では
(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 MontrealCanadaCanadapart では

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