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

Formal Language: 


KB Term:  Term intersection
English Word: 

  TidalEbb

 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 Die Zahl 1 Argument von teil ist ein fall von Gegenstand
(domain part 2 Object) Merge.kif 926-926 Die Zahl 2 Argument von teil ist ein fall von Gegenstand
(instance part BinaryPredicate) Merge.kif 924-924 teil ist ein fall von zweistellige Praedikat
(instance part PartialOrderingRelation) Merge.kif 923-923 teil ist ein fall von Halbordnungsrelation
(instance part SpatialRelation) Merge.kif 922-922 teil ist ein fall von raeumliche Relation

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


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

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 7915-7926 Gegenstand ist ein fall von ParticulateMatter und selbstverbundener Gegenstand ist ein teil von ** Gegenstand und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und 10.0 ist groesserAls ** reelle Zahl und ** reelle Zahl ist groesserAls 2.5 genau dann wenn es gibt ** Gegenstand10 um ** Gegenstand10 ist ein fall von CoarseParticulateMatter und ** Gegenstand10 ist ein teil von ** Gegenstand
(<=>
    (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 7944-7954 Gegenstand ist ein fall von ParticulateMatter und selbstverbundener Gegenstand ist ein teil von ** Gegenstand und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und ** reelle Zahl ist groesserAlsOderGleich 2.5 genau dann wenn es gibt ** Gegenstand25 um ** Gegenstand25 ist ein fall von FineParticulateMatter und ** Gegenstand25 ist ein teil von ** Gegenstand
(=>
    (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 2050-2055
(=>
    (and
        (attribute ?AREA LowTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.03 ?SLOPE))		 Geography.kif 2062-2067
(=>
    (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 822-826
(=>
    (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 Prozess ist ein fall von Kombinieren und Gegenstand ist ein hilfmittel fuer ** Prozess und Wesen ist ein resultat von ** Prozess genau dann wenn ** Gegenstand ist ein teil von ** Wesen nicht haelt waehrend der anfang von die zeit des Bestehens von ** Prozess und ** Gegenstand ist ein teil von ** Wesen haelt waehrend das ende von die zeit des Bestehens von ** Prozess
(<=>
    (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 7915-7926 Gegenstand ist ein fall von ParticulateMatter und selbstverbundener Gegenstand ist ein teil von ** Gegenstand und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und 10.0 ist groesserAls ** reelle Zahl und ** reelle Zahl ist groesserAls 2.5 genau dann wenn es gibt ** Gegenstand10 um ** Gegenstand10 ist ein fall von CoarseParticulateMatter und ** Gegenstand10 ist ein teil von ** Gegenstand
(<=>
    (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 7944-7954 Gegenstand ist ein fall von ParticulateMatter und selbstverbundener Gegenstand ist ein teil von ** Gegenstand und approximateDiameter ** selbstverbundener Gegenstand and reelle Zahl Micrometer(s) und ** reelle Zahl ist groesserAlsOderGleich 2.5 genau dann wenn es gibt ** Gegenstand25 um ** Gegenstand25 ist ein fall von FineParticulateMatter und ** Gegenstand25 ist ein teil von ** Gegenstand
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 13013-13020 Gegenstand ist ein fall von Knochen genau dann wenn es gibt ** Gegenstand um ** ** Gegenstand ist ein fall von Skeleton oder ** ** Gegenstand ist ein fall von Exoskeleton und ** Gegenstand ist ein teil von ** ** Gegenstand
(<=>
    (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 geographischer Bereich, die kategorie, die AirportWithPavedRunway entspricht and nichtnegative Ganzzahl genau dann wenn es gibt Zeichenfolge und Wesen um cardinality die kategorie die ** Zeichenfolge beschreibt and ** nichtnegative Ganzzahl
(=>
    (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 Virus and ** VirusPart ist ein teil von ** Virus
(part AtlantaGeorgia Georgia) CountriesAndRegions.kif 711-711 AtlantaGeorgia ist ein teil von Georgia
(part Australia Oceania) CountriesAndRegions.kif 662-662 Australia ist ein teil von Oceania
(part BaltimoreMaryland Maryland) CountriesAndRegions.kif 714-714 BaltimoreMaryland ist ein teil von Maryland
(part BostonMassachusetts Massachusetts) CountriesAndRegions.kif 724-724 BostonMassachusetts ist ein teil von Massachusetts
(part ChicagoUnitedStates Illinois) CountriesAndRegions.kif 1611-1611 ChicagoUnitedStates ist ein teil von Illinois
(part ClevelandOhio Ohio) CountriesAndRegions.kif 854-854 ClevelandOhio ist ein teil von Ohio
(part Connecticut NewEngland) CountriesAndRegions.kif 915-915 Connecticut ist ein teil von NewEngland
(part DallasTexas Texas) CountriesAndRegions.kif 851-851 DallasTexas ist ein teil von Texas
(part DetroitMichigan Michigan) CountriesAndRegions.kif 841-841 DetroitMichigan ist ein teil von Michigan
(part FargoNorthDakota NorthDakota) CountriesAndRegions.kif 835-835 FargoNorthDakota ist ein teil von NorthDakota
(part Germany Europe) CountriesAndRegions.kif 1242-1242 Germany ist ein teil von Europe
(part Greece Europe) CountriesAndRegions.kif 1245-1245 Greece ist ein teil von Europe
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 HoustonTexas ist ein teil von Texas
(part HudsonRiver NewYorkState) CountriesAndRegions.kif 832-832 HudsonRiver ist ein teil von NewYorkState
(part KansasCityMissouri Missouri) CountriesAndRegions.kif 728-728 KansasCityMissouri ist ein teil von Missouri
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 KoreanPeninsula ist ein teil von Asia
(part LongIsland NewYorkState) CountriesAndRegions.kif 805-805 LongIsland ist ein teil von NewYorkState
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 LosAngelesCalifornia ist ein teil von California
(part ManchesterNewHampshire NewHampshire) CountriesAndRegions.kif 731-731 ManchesterNewHampshire ist ein teil von NewHampshire
(part Massachusetts NewEngland) CountriesAndRegions.kif 989-989 Massachusetts ist ein teil von NewEngland
(part MemphisTennessee Tennessee) CountriesAndRegions.kif 733-733 MemphisTennessee ist ein teil von Tennessee
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 MinneapolisMinnesota ist ein teil von Minnesota
(part MississippiRiver UnitedStates) CountriesAndRegions.kif 740-740 MississippiRiver ist ein teil von UnitedStates
(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 MontrealCanada ist ein teil von Canada

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners