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 903-907
(domain part 1 Object) Merge.kif 900-900 The number 1 argument of part is an instance of object
(domain part 2 Object) Merge.kif 901-901 The number 2 argument of part is an instance of object
(instance part BinaryPredicate) Merge.kif 899-899 part is an instance of binary predicate
(instance part PartialOrderingRelation) Merge.kif 898-898 part is an instance of partial ordering relation
(instance part SpatialRelation) Merge.kif 897-897 part is an instance of spatial relation

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


(disjointRelation contains part) Merge.kif 978-978 contains and part are 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 162-162
(relatedInternalConcept havePartTypes part) Mid-level-ontology.kif 23283-23283 havePartTypes is internally related to part
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 23230-23230 initial part is internally related to part
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 23257-23257 initially contains part is internally related to part
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 23300-23300 partTypes is internally related to part
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 23156-23156 typical part is internally related to part
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 23193-23193 typically contains part is internally related to part
(subrelation component part) Merge.kif 948-948 component is a subrelation of part
(subrelation geneticSubstrateOfVirus part) VirusProteinAndCellPart.kif 34-34 genetic substrate of virus is a subrelation of part
(subrelation half part) Mid-level-ontology.kif 12692-12692 half is a subrelation of part
(subrelation inString part) Mid-level-ontology.kif 23846-23846 inString is a subrelation of part
(subrelation interiorPart part) Merge.kif 9605-9605 interior part is a subrelation of part
(subrelation most part) Mid-level-ontology.kif 12735-12735 most is a subrelation of part
(subrelation pathInSystem part) Transportation.kif 2724-2724 path in system is a subrelation of part
(subrelation physicalEnd part) Merge.kif 17679-17679 physical end is a subrelation of part
(subrelation piece part) Merge.kif 932-932 piece is a subrelation of part
(subrelation properPart part) Merge.kif 911-911 proper part is a subrelation of part
(subrelation quarter part) Mid-level-ontology.kif 12726-12726 quarter is a subrelation of part
(subrelation subCollection part) Merge.kif 1256-1256 sub collection is a subrelation of part
(subrelation subString part) Mid-level-ontology.kif 23868-23868 subString is a subrelation of part
(subrelation third part) Mid-level-ontology.kif 12708-12708 third is a subrelation of part
(termFormat ChineseLanguage part "部分") chinese_format.kif 162-162

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 7156-7167 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10.0 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))		 Geography.kif 7185-7195 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
(=>
    (and
        (amount ?S ?CO
            (MeasureFn ?N ?U))
        (instance ?SI ?S)
        (measure ?SI
            (MeasureFn ?N2 ?U))
        (part ?SI ?CO))
    (exists (?L)
        (and
            (inList
                (MeasureFn ?N2 ?U) ?L)
            (equal ?L
                (AmountsFn ?S ?CO ?U))
            (equal ?N
                (ListSumFn ?L)))))		 Merge.kif 7508-7523
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?E Extension)
        (instrument ?E ?AC)
        (moves ?F ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Mammal))
    (capability Flexion instrument ?BC))		 Mid-level-ontology.kif 10243-10254
(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?F Flexion)
        (instrument ?F ?AC)
        (moves ?F ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Mammal))
    (capability Extension instrument ?BC))		 Mid-level-ontology.kif 10230-10241
(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))		 Geography.kif 1757-1762
(=>
    (and
        (attribute ?AREA LowTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.03 ?SLOPE))		 Geography.kif 1769-1774
(=>
    (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 2661-2672
(=>
    (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 2633-2644
(=>
    (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 18878-18888
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9628-9633
(=>
    (and
        (connected ?X ?Y)
        (part ?Y ?Z))
    (connected ?X ?Z))		 Geography.kif 514-518
(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))		 Cars.kif 1538-1544
(=>
    (and
        (engineIdleSpeed ?E
            (RotationFn
                (MeasureFn ?N1 MilesPerHour) ?M))
        (instance ?A Automobile)
        (instance ?P GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?E ?A)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (part ?C ?E)
        (holdsDuring
            (WhenFn ?P)
            (measure ?C
                (RotationFn
                    (MeasureFn ?N2 MilesPerHour) ?M))))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))		 Cars.kif 2585-2603
(=>
    (and
        (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 2604-2612
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (DeadOrMissingBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (not ?F))		 Merge.kif 17979-17987
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (ImpairedBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (modalAttribute
        (not ?F) Likely))		 Merge.kif 17959-17969
(=>
    (and
        (holdsDuring ?T
            (measure ?C ?S))
        (engineIdleSpeed ?E ?S)
        (instance ?A Automobile)
        (part ?E ?A)
        (part ?C ?E))
    (modalAttribute
        (not
            (exists (?P ?GP)
                (and
                    (during ?P ?T)
                    (instance ?P Pushing)
                    (destination ?P ?GP)
                    (part ?GP ?A)))) Likely))		 Cars.kif 2567-2583
(=>
    (and
        (holdsDuring ?T
            (possesses ?PERSON ?OBJ))
        (part ?P ?OBJ))
    (holdsDuring ?T
        (possesses ?PERSON ?P)))		 Merge.kif 4175-4181
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))		 Merge.kif 9821-9827
(=>
    (and
        (instance ?A Animal)
        (instance ?S AnimalShell)
        (part ?S ?A))
    (or
        (instance ?A Invertebrate)
        (instance ?A Reptile)))		 Mid-level-ontology.kif 11067-11074
(=>
    (and
        (instance ?A Antacid)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 9457-9479
(=>
    (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 1619-1630
(=>
    (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 1632-1644
(=>
    (and
        (instance ?A ProtonPumpInhibitor)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 9518-9540

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 12243-12250 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
(<=>
    (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 7156-7167 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10.0 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))		 Geography.kif 7185-7195 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))		 Merge.kif 9880-9885 Fillable is an attribute of an object if and only if there exists another object such that the other object is an instance of hole and the object is a part of the other object
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 11218-11225 An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object
(<=>
    (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 1277-1287 A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string
(=>
    (accountAtSite ?ACCT ?SITE)
    (exists (?DATABASE ?SITE_OWNER)
        (and
            (instance ?DATABASE Database)
            (instance ?SITE_OWNER Agent)
            (possesses ?SITE_OWNER ?SITE)
            (possesses ?SITE_OWNER ?DATABASE)
            (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 315-321
(=>
    (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 425-435
(=>
    (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 18878-18888
(=>
    (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 3985-4002
(=>
    (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 11502-11512
(=>
    (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 2604-2612
(=>
    (and
        (experiencer ?ORGANISM ?PAIN)
        (instance ?PAIN
            (PainFn ?P)))
    (exists (?PART)
        (and
            (part ?PART ?ORGANISM)
            (located ?PART ?P))))		 Mid-level-ontology.kif 6064-6071
(=>
    (and
        (havePartTypes ?PART_TYPE ?WHOLETYPE)
        (instance ?WHOLE ?WHOLETYPE))
    (exists (?PART)
        (and
            (instance ?PART ?PART_TYPE)
            (part ?PART ?WHOLE))))		 Mid-level-ontology.kif 23287-23294
(=>
    (and
        (holdsDuring ?T
            (measure ?C ?S))
        (engineIdleSpeed ?E ?S)
        (instance ?A Automobile)
        (part ?E ?A)
        (part ?C ?E))
    (modalAttribute
        (not
            (exists (?P ?GP)
                (and
                    (during ?P ?T)
                    (instance ?P Pushing)
                    (destination ?P ?GP)
                    (part ?GP ?A)))) Likely))		 Cars.kif 2567-2583
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))		 Merge.kif 9812-9819
(=>
    (and
        (initialPart ?C2 ?C1)
        (instance ?PART ?C2))
    (exists (?WHOLE)
        (and
            (instance ?WHOLE ?C1)
            (holdsDuring
                (BeginFn
                    (WhenFn ?PART))
                (part ?PART ?WHOLE)))))		 Mid-level-ontology.kif 23242-23251
(=>
    (and
        (initiallyContainsPart ?C2 ?C1)
        (instance ?WHOLE ?C1))
    (exists (?PART)
        (and
            (instance ?PART ?C2)
            (holdsDuring
                (BeginFn
                    (WhenFn ?WHOLE))
                (part ?PART ?WHOLE)))))		 Mid-level-ontology.kif 23269-23277
(=>
    (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 4317-4331
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))		 Transportation.kif 1357-1364

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 650-650 The viral part of a virus and a kind of virus part is a part of the virus
(part AtlantaGeorgia Georgia) CountriesAndRegions.kif 711-711 Atlanta georgia is a part of georgia
(part Australia Oceania) CountriesAndRegions.kif 662-662 Australia is a part of oceania
(part BaltimoreMaryland Maryland) CountriesAndRegions.kif 714-714 Baltimore maryland is a part of maryland
(part BostonMassachusetts Massachusetts) CountriesAndRegions.kif 724-724 Boston, Massachusetts is a part of massachusetts
(part ChicagoUnitedStates Illinois) CountriesAndRegions.kif 1611-1611 Chicago united states is a part of illinois
(part ClevelandOhio Ohio) CountriesAndRegions.kif 854-854 Cleveland ohio is a part of ohio
(part Connecticut NewEngland) CountriesAndRegions.kif 915-915 Connecticut is a part of new england
(part DallasTexas Texas) CountriesAndRegions.kif 851-851 Dallas texas is a part of texas
(part DetroitMichigan Michigan) CountriesAndRegions.kif 841-841 Detroit michigan is a part of michigan
(part FargoNorthDakota NorthDakota) CountriesAndRegions.kif 835-835 Fargo north dakota is a part of north dakota
(part Germany Europe) CountriesAndRegions.kif 1242-1242 Germany is a part of europe
(part Greece Europe) CountriesAndRegions.kif 1245-1245 Greece is a part of europe
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 Houston texas is a part of texas
(part HudsonRiver NewYorkState) CountriesAndRegions.kif 832-832 Hudson river is a part of new york state
(part KansasCityMissouri Missouri) CountriesAndRegions.kif 728-728 Kansas city missouri is a part of missouri
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 Korean peninsula is a part of asia
(part LongIsland NewYorkState) CountriesAndRegions.kif 805-805 Long island is a part of new york state
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 Los angeles california is a part of california
(part ManchesterNewHampshire NewHampshire) CountriesAndRegions.kif 731-731 Manchester new hampshire is a part of new hampshire
(part Massachusetts NewEngland) CountriesAndRegions.kif 989-989 Massachusetts is a part of new england
(part MemphisTennessee Tennessee) CountriesAndRegions.kif 733-733 Memphis tennessee is a part of tennessee
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 Minneapolis minnesota is a part of minnesota
(part MississippiRiver UnitedStates) CountriesAndRegions.kif 740-740 Mississippi river is a part of united states
(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 Montreal canada is a part of canada

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