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 | Die Zahl 1 Argument von teil ist ein fall von Object %n{nicht} |
(domain part 2 Object) | Merge.kif 918-918 | Die Zahl 2 Argument von teil ist ein fall von Object %n{nicht} |
(instance part BinaryPredicate) | Merge.kif 916-916 | teil ist ein fall von BinaryPredicate %n{nicht} |
(instance part PartialOrderingRelation) | Merge.kif 915-915 | teil ist ein fall von PartialOrderingRelation %n{nicht} |
(instance part SpatialRelation) | Merge.kif 914-914 | teil ist ein fall von SpatialRelation %n{nicht} |
appearance as argument number 2 |
(disjointRelation contains part) | Merge.kif 1018-1018 | contains und teil werden disjunkt |
(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 23754-23754 | initialPart ist innerlich verwandt mit teil %n{nicht} |
(relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 23782-23782 | initiallyContainsPart ist innerlich verwandt mit teil %n{nicht} |
(relatedInternalConcept partTypes part) | Mid-level-ontology.kif 23808-23808 | partTypes ist innerlich verwandt mit teil %n{nicht} |
(relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 23676-23676 | typicalPart ist innerlich verwandt mit teil %n{nicht} |
(relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 23713-23713 | typicallyContainsPart ist innerlich verwandt mit teil %n{nicht} |
(subrelation component part) | Merge.kif 965-965 | 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 13199-13199 | half ist eine teilrelation von teil |
(subrelation inString part) | Mid-level-ontology.kif 24433-24433 | inString ist eine teilrelation von teil |
(subrelation interiorPart part) | Merge.kif 9728-9728 | interiorPart ist eine teilrelation von teil |
(subrelation most part) | Mid-level-ontology.kif 13242-13242 | 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 7440-7451 | Object ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und 10.0 ist groesserAls ** RealNumber %n{nicht} und ** RealNumber ist groesserAls 2.5 %n{nicht} genau dann wenn es gibt ** Object10 um ** Object10 ist ein fall von CoarseParticulateMatter %n{nicht} und ** Object10 ist ein teil von ** Object %n{nicht} |
(<=> (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 ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und ** RealNumber ist groesserAlsOderGleich 2.5 %n{nicht} genau dann wenn es gibt ** Object25 um ** Object25 ist ein fall von FineParticulateMatter %n{nicht} und ** Object25 ist ein teil von ** Object %n{nicht} |
(=> (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 7597-7612 |
|
(=> (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 10712-10723 |
|
(=> (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 10699-10710 |
|
(=> (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 19470-19480 |
|
(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above)) |
Merge.kif 9751-9756 |
|
(=> (and (chromosomeNumber ?C ?I) (part ?N ?C) (instance ?N CellNucleus) (instance ?COLL Collection) (located ?COLL ?N) (memberType ?COLL Chromosome)) (memberCount ?COLL ?I)) |
VirusProteinAndCellPart.kif 702-710 |
|
(=> (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 HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI Circle)) (diameter ?CI ?M)) |
Cars.kif 1541-1549 |
|
(=> (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 2568-2586 |
|
(=> (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 793-802 |
|
(=> (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 18325-18333 |
|
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 12512-12519 | Process ist ein fall von Combining %n{nicht} und Object ist ein hilfmittel fuer ** Process %n{nicht} und Entity ist ein resultat von ** Process %n{nicht} genau dann wenn ** Object ist ein teil von ** Entity nicht haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Object ist ein teil von ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} |
(<=> (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 ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und 10.0 ist groesserAls ** RealNumber %n{nicht} und ** RealNumber ist groesserAls 2.5 %n{nicht} genau dann wenn es gibt ** Object10 um ** Object10 ist ein fall von CoarseParticulateMatter %n{nicht} und ** Object10 ist ein teil von ** Object %n{nicht} |
(<=> (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 ist ein fall von ParticulateMatter %n{nicht} und SelfConnectedObject ist ein teil von ** Object %n{nicht} und approximateDiameter ** SelfConnectedObject and RealNumber Micrometer(s) und ** RealNumber ist groesserAlsOderGleich 2.5 %n{nicht} genau dann wenn es gibt ** Object25 um ** Object25 ist ein fall von FineParticulateMatter %n{nicht} und ** Object25 ist ein teil von ** Object %n{nicht} |
(<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 11709-11716 | Object ist ein fall von Bone %n{nicht} genau dann wenn es gibt ** Object um ** ** Object ist ein fall von Skeleton %n{nicht} oder ** ** Object ist ein fall von Exoskeleton %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} |
(<=> (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 | totalFacilityTypeInArea GeographicArea, die kategorie, die AirportWithPavedRunway entspricht and NonnegativeInteger genau dann wenn es gibt SymbolicString und entity um cardinality die kategorie die ** SymbolicString beschreibt and ** NonnegativeInteger |
(=> (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 19470-19480 |
|
(=> (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 4071-4088 |
|
(=> (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 11994-12004 |
|
(=> (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 6351-6358 |
|
(=> (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 2550-2566 |
|
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9930-9937 |
|
(=> (and (initialPart ?C2 ?C1) (instance ?PART ?C2)) (exists (?WHOLE) (and (instance ?WHOLE ?C1) (holdsDuring (BeginFn (WhenFn ?PART)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23767-23776 |
|
(=> (and (initiallyContainsPart ?C2 ?C1) (instance ?WHOLE ?C1)) (exists (?PART) (and (instance ?PART ?C2) (holdsDuring (BeginFn (WhenFn ?WHOLE)) (part ?PART ?WHOLE))))) |
Mid-level-ontology.kif 23794-23802 |
|
(=> (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 1164-1164 | ViralPartFn Virus and ** VirusPart ist ein teil von ** Virus %n{nicht} |
(part AtlantaGeorgia Georgia) | CountriesAndRegions.kif 711-711 | AtlantaGeorgia ist ein teil von Georgia %n{nicht} |
(part Australia Oceania) | CountriesAndRegions.kif 662-662 | Australia ist ein teil von Oceania %n{nicht} |
(part BaltimoreMaryland Maryland) | CountriesAndRegions.kif 714-714 | BaltimoreMaryland ist ein teil von Maryland %n{nicht} |
(part BostonMassachusetts Massachusetts) | CountriesAndRegions.kif 724-724 | BostonMassachusetts ist ein teil von Massachusetts %n{nicht} |
(part ChicagoUnitedStates Illinois) | CountriesAndRegions.kif 1611-1611 | ChicagoUnitedStates ist ein teil von Illinois %n{nicht} |
(part ClevelandOhio Ohio) | CountriesAndRegions.kif 854-854 | ClevelandOhio ist ein teil von Ohio %n{nicht} |
(part Connecticut NewEngland) | CountriesAndRegions.kif 915-915 | Connecticut ist ein teil von NewEngland %n{nicht} |
(part DallasTexas Texas) | CountriesAndRegions.kif 851-851 | DallasTexas ist ein teil von Texas %n{nicht} |
(part DetroitMichigan Michigan) | CountriesAndRegions.kif 841-841 | DetroitMichigan ist ein teil von Michigan %n{nicht} |
(part FargoNorthDakota NorthDakota) | CountriesAndRegions.kif 835-835 | FargoNorthDakota ist ein teil von NorthDakota %n{nicht} |
(part Germany Europe) | CountriesAndRegions.kif 1242-1242 | Germany ist ein teil von Europe %n{nicht} |
(part Greece Europe) | CountriesAndRegions.kif 1245-1245 | Greece ist ein teil von Europe %n{nicht} |
(part HoustonTexas Texas) | CountriesAndRegions.kif 828-828 | HoustonTexas ist ein teil von Texas %n{nicht} |
(part HudsonRiver NewYorkState) | CountriesAndRegions.kif 832-832 | HudsonRiver ist ein teil von NewYorkState %n{nicht} |
(part KansasCityMissouri Missouri) | CountriesAndRegions.kif 728-728 | KansasCityMissouri ist ein teil von Missouri %n{nicht} |
(part KoreanPeninsula Asia) | CountriesAndRegions.kif 820-820 | KoreanPeninsula ist ein teil von Asia %n{nicht} |
(part LongIsland NewYorkState) | CountriesAndRegions.kif 805-805 | LongIsland ist ein teil von NewYorkState %n{nicht} |
(part LosAngelesCalifornia California) | CountriesAndRegions.kif 810-810 | LosAngelesCalifornia ist ein teil von California %n{nicht} |
(part ManchesterNewHampshire NewHampshire) | CountriesAndRegions.kif 731-731 | ManchesterNewHampshire ist ein teil von NewHampshire %n{nicht} |
(part Massachusetts NewEngland) | CountriesAndRegions.kif 989-989 | Massachusetts ist ein teil von NewEngland %n{nicht} |
(part MemphisTennessee Tennessee) | CountriesAndRegions.kif 733-733 | MemphisTennessee ist ein teil von Tennessee %n{nicht} |
(part MinneapolisMinnesota Minnesota) | CountriesAndRegions.kif 737-737 | MinneapolisMinnesota ist ein teil von Minnesota %n{nicht} |
(part MississippiRiver UnitedStates) | CountriesAndRegions.kif 740-740 | MississippiRiver ist ein teil von UnitedStates %n{nicht} |
(part MontrealCanada Canada) | CountriesAndRegions.kif 746-746 | MontrealCanada ist ein teil von Canada %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |