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
-------------------------


s__documentation(s__part__m,s__ChineseLanguage,'这是基本的逻辑分体关系。其他所有的逻辑分体关系都是根据它来下 定义的。 (part ?PART ?WHOLE) 的意思就是 Object ?PART 是 Object ?WHOLE 的一部分。 要注意 因为 part 是一个 ReflexiveRelation, 所以每个 Object 都是它自己本身的一部分。')

Merge.kif 961-963
s__documentation(s__part__m,s__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 956-960
s__domain(s__part__m,1,s__Object)

Merge.kif 954-954
s__domain(s__part__m,2,s__Object)

Merge.kif 955-955
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 953-953
s__instance(s__SpatialRelation,s__SetOrClass)

Merge.kif 952-952

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


s__disjointRelation(s__contains__m,s__part__m)

Merge.kif 1033-1033
s__format(s__ChineseLanguage,s__part__m,'%1 %n 是 %2 的 part')

chinese_format.kif 161-161
s__format(s__EnglishLanguage,s__part__m,'%1 is %n a part of %2')

english_format.kif 107-107
s__format(s__FrenchLanguage,s__part__m,'%1 est %n une partie de %2')

french_format.kif 100-100
s__format(s__ItalianLanguage,s__part__m,'%1 � %n una parte di %2')

relations-it.txt 210-210
s__format(s__PortugueseLanguage,s__part__m,'%1 e %n uma &parte de %2')

portuguese_format.kif 52-52
s__format(s__ar__m,s__part__m,'%1 هو %n جُزْء من %2')

arabic_format.kif 50-50
s__format(s__cz__m,s__part__m,'%1 %p{je} %n{nen�} ��st� %2')

relations-cz.txt 64-64
s__format(s__de__m,s__part__m,'%1 ist ein teil von %2 %n{nicht}')

relations-de.txt 197-197
s__format(s__hi__m,s__part__m,'%1 %2 kaa bhaaga %n hai')

relations-hindi.txt 248-248
s__format(s__tg__m,s__part__m,'%1 %n ay ang bahagi ng %2')

relations-tg.txt 402-402
s__relatedInternalConcept(s__havePartTypes__m,s__part__m)

Mid-level-ontology.kif 21632-21632
s__relatedInternalConcept(s__initialPart__m,s__part__m)

Mid-level-ontology.kif 21579-21579
s__relatedInternalConcept(s__initiallyContainsPart__m,s__part__m)

Mid-level-ontology.kif 21606-21606
s__relatedInternalConcept(s__partTypes__m,s__part__m)

Mid-level-ontology.kif 21648-21648
s__relatedInternalConcept(s__typicalPart__m,s__part__m)

Mid-level-ontology.kif 21505-21505
s__relatedInternalConcept(s__typicallyContainsPart__m,s__part__m)

Mid-level-ontology.kif 21542-21542
s__subrelation(s__component__m,s__part__m)

Merge.kif 1000-1000
s__subrelation(s__geneticSubstrateOfVirus__m,s__part__m)

VirusProteinAndCellPart.kif 34-34
s__subrelation(s__half__m,s__part__m)

Mid-level-ontology.kif 10774-10774
s__subrelation(s__inString__m,s__part__m)

Mid-level-ontology.kif 22080-22080
s__subrelation(s__interiorPart__m,s__part__m)

Merge.kif 9647-9647
s__subrelation(s__most__m,s__part__m)

Mid-level-ontology.kif 10817-10817
s__subrelation(s__pathInSystem__m,s__part__m)

Transportation.kif 2639-2639
s__subrelation(s__piece__m,s__part__m)

Merge.kif 983-983

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


( ! [V__PM,V__P,V__S] :
   ((s__instance(V__PM,s__ParticulateMatter) &
       s__part(V__P,V__PM)
     &
     s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
   &
   s__greaterThan(10,V__S)
&
s__greaterThan(V__S,2.5))
<=>
(? [V__PM10] :
(s__instance(V__PM10,s__CoarseParticulateMatter) &
s__part(V__PM10,V__PM))))
)

Geography.kif 6821-6832
( ! [V__PM,V__P,V__S] :
   ((s__instance(V__PM,s__ParticulateMatter) &
       s__part(V__P,V__PM)
     &
     s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
   &
   s__greaterThanOrEqualTo(V__S,2.5))
<=>
(? [V__PM25] :
(s__instance(V__PM25,s__FineParticulateMatter) &
   s__part(V__PM25,V__PM))))
)

Geography.kif 6850-6860
( ! [V__AREA,V__ZONE,V__SLOPE] :
   ((s__attribute(V__AREA,s__FlatTerrain) &
       s__part(V__ZONE,V__AREA)
     &
     s__slopeGradient(V__ZONE,V__SLOPE))
=>
s__greaterThan(0.005,V__SLOPE))
)

Geography.kif 1695-1700
( ! [V__AREA,V__ZONE,V__SLOPE] :
   ((s__attribute(V__AREA,s__LowTerrain) &
       s__part(V__ZONE,V__AREA)
     &
     s__slopeGradient(V__ZONE,V__SLOPE))
=>
s__greaterThan(0.03,V__SLOPE))
)

Geography.kif 1707-1712
( ! [V__SYLLABLE,V__WORD] :
   ((s__attribute(V__SYLLABLE,s__Stressed) &
       s__instance(V__WORD,s__Word) &
       s__part(V__SYLLABLE,V__WORD))
   =>
   (~ (? [V__SYLLABLE2] :
       (s__instance(V__SYLLABLE2,s__Syllable) &
         s__part(V__SYLLABLE2,V__WORD)
       &
       s__attribute(V__SYLLABLE2,s__Stressed) &
       (~ (V__SYLLABLE2 = V__SYLLABLE))))))
)

Mid-level-ontology.kif 17164-17174
( ! [V__BOTTOM,V__OBJECT,V__PART] :
   ((s__bottom(V__BOTTOM,V__OBJECT)
     &
     s__part(V__PART,V__OBJECT)
   &
   (~ s__connected(V__PART,V__BOTTOM)))
=>
s__orientation(V__PART,V__BOTTOM,s__Above))
)

Merge.kif 9673-9678
( ! [V__X,V__Y,V__Z] :
   ((s__connected(V__X,V__Y)
     &
     s__part(V__Y,V__Z))
=>
s__connected(V__X,V__Z))
)

Geography.kif 511-515
( ! [V__CY,V__M,V__CI] :
   ((s__cylinderBore(V__CY,V__M)
     &
     s__instance(V__CY,s__Cylinder) &
     s__instance(V__CI,s__Circle) &
     s__part(V__CI,V__CY))
=>
s__diameter(V__CI,V__M))
)

Cars.kif 1533-1539
No TPTP formula. May not be expressible in strict first order. Cars.kif 2571-2584
No TPTP formula. May not be expressible in strict first order. Cars.kif 2553-2569
( ! [V__HOLE,V__OBJ1,V__OBJ2] :
   ((s__hole(V__HOLE,V__OBJ1)
     &
     s__part(V__OBJ1,V__OBJ2))
=>
(s__overlapsSpatially(V__HOLE,V__OBJ2)
|
s__hole(V__HOLE,V__OBJ2)))
)

Merge.kif 9871-9877
( ! [V__A,V__S] :
   ((s__instance(V__A,s__Animal) &
       s__instance(V__S,s__AnimalShell) &
       s__part(V__S,V__A))
   =>
   (s__instance(V__A,s__Invertebrate) |
     s__instance(V__A,s__Reptile)))
)

Mid-level-ontology.kif 9752-9759
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1618-1629
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1631-1643
( ! [V__A1,V__A2,V__S1,V__R1,V__R2] :
   ((s__instance(V__A1,s__Automobile) &
       s__instance(V__A2,s__Automobile) &
       s__instance(V__S1,s__AutomobileShock) &
       s__part(V__S1,V__A1)
     &
     (~ (? [V__S2] :
         (s__instance(V__S2,s__AutomobileShock) &
           s__part(V__S2,V__A2))))
   &
   s__dampingRatio(V__A1,V__R1)
&
s__dampingRatio(V__A2,V__R2))
=>
s__greaterThan(V__R2,V__R1))
)

Cars.kif 843-856
( ! [V__ANIMAL,V__SKELETON] :
   ((s__instance(V__ANIMAL,s__Animal) &
       s__instance(V__SKELETON,s__Exoskeleton) &
       s__part(V__SKELETON,V__ANIMAL))
   =>
   s__instance(V__ANIMAL,s__Invertebrate))
)

Mid-level-ontology.kif 9894-9899
( ! [V__ANIMAL,V__SKELETON] :
   ((s__instance(V__ANIMAL,s__Animal) &
       s__instance(V__SKELETON,s__Skeleton) &
       s__part(V__SKELETON,V__ANIMAL))
   =>
   s__instance(V__ANIMAL,s__Vertebrate))
)

Mid-level-ontology.kif 9874-9879
( ! [V__Application,V__System] :
   ((s__instance(V__Application,s__AutomaticApplication) &
       s__instance(V__System,s__SoftwareSystem) &
       s__part(V__Application,V__System))
   =>
   s__part(s__StartupFn(V__Application)
,s__StartupFn(V__System)))
)

QoSontology.kif 567-572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3953-3963
( ! [V__BODY,V__ORG] :
   ((s__instance(V__BODY,s__ReproductiveBody) &
       s__part(V__BODY,V__ORG)
     &
     s__instance(V__ORG,s__Organism))
   =>
   s__attribute(V__ORG,s__Female))
)

Merge.kif 18474-18479
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Cars.kif 4047-4077
No TPTP formula. May not be expressible in strict first order. Cars.kif 1655-1663
( ! [V__C,V__A,V__E,V__G,V__GEAR,V__M] :
   ((s__instance(V__C,s__Clutch) &
       s__instance(V__A,s__Automobile) &
       s__instance(V__E,s__Engine) &
       s__instance(V__G,s__Gearbox) &
       s__instance(V__GEAR,s__Gear) &
       s__part(V__GEAR,V__G)
     &
     s__part(V__G,V__A)
   &
   s__part(V__C,V__A)
&
s__part(V__E,V__A)
&
s__instance(V__M,s__Motion) &
s__patient(V__M,V__E)
&
s__attribute(V__C,s__DeviceOff))
=>
(? [V__M2] :
(s__instance(V__M2,s__Motion) &
s__patient(V__M2,V__G)
&
s__causes(V__M,V__M2))))
)

Cars.kif 1833-1851
( ! [V__C,V__A,V__E,V__G,V__GEAR,V__M] :
   ((s__instance(V__C,s__Clutch) &
       s__instance(V__A,s__Automobile) &
       s__instance(V__E,s__Engine) &
       s__instance(V__G,s__Gearbox) &
       s__instance(V__GEAR,s__Gear) &
       s__part(V__GEAR,V__G)
     &
     s__part(V__G,V__A)
   &
   s__part(V__C,V__A)
&
s__part(V__E,V__A)
&
s__instance(V__M,s__Motion) &
s__patient(V__M,V__E)
&
s__attribute(V__C,s__DeviceOn))
=>
(~ (? [V__M2] :
(s__instance(V__M2,s__Motion) &
s__patient(V__M2,V__G)
&
s__causes(V__M,V__M2)))))
)

Cars.kif 1812-1831

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12318-12325
( ! [V__PM,V__P,V__S] :
   ((s__instance(V__PM,s__ParticulateMatter) &
       s__part(V__P,V__PM)
     &
     s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
   &
   s__greaterThan(10,V__S)
&
s__greaterThan(V__S,2.5))
<=>
(? [V__PM10] :
(s__instance(V__PM10,s__CoarseParticulateMatter) &
s__part(V__PM10,V__PM))))
)

Geography.kif 6821-6832
( ! [V__PM,V__P,V__S] :
   ((s__instance(V__PM,s__ParticulateMatter) &
       s__part(V__P,V__PM)
     &
     s__approximateDiameter(V__P,s__MeasureFn(V__S,s__Micrometer))
   &
   s__greaterThanOrEqualTo(V__S,2.5))
<=>
(? [V__PM25] :
(s__instance(V__PM25,s__FineParticulateMatter) &
   s__part(V__PM25,V__PM))))
)

Geography.kif 6850-6860
( ! [V__HOLE1] :
   (s__attribute(V__HOLE1,s__Fillable) <=>
     (? [V__HOLE2] :
       (s__instance(V__HOLE2,s__Hole) &
         s__part(V__HOLE1,V__HOLE2))))
)

Merge.kif 9934-9939
( ! [V__BONE] :
   (s__instance(V__BONE,s__Bone) <=>
     (? [V__SKELETON] :
       ((s__instance(V__SKELETON,s__Skeleton) |
           s__instance(V__SKELETON,s__Exoskeleton))
         &
         s__part(V__BONE,V__SKELETON))))
)

Mid-level-ontology.kif 9901-9908
( ! [V__OBJ1,V__OBJ2] :
   (s__overlapsPartially(V__OBJ1,V__OBJ2)
   <=>
   ((~ s__part(V__OBJ1,V__OBJ2))
   &
   (~ s__part(V__OBJ2,V__OBJ1))
&
(? [V__OBJ3] :
   (s__part(V__OBJ3,V__OBJ1)
   &
   s__part(V__OBJ3,V__OBJ2)))))
)

Merge.kif 9587-9595
( ! [V__OBJ1,V__OBJ2] :
   (s__overlapsSpatially(V__OBJ1,V__OBJ2)
   <=>
   (? [V__OBJ3] :
     (s__part(V__OBJ3,V__OBJ1)
     &
     s__part(V__OBJ3,V__OBJ2))))
)

Merge.kif 9549-9554
( ! [V__OBJ1,V__OBJ2] :
   (s__properPart(V__OBJ1,V__OBJ2)
   <=>
   (s__part(V__OBJ1,V__OBJ2)
   &
   (~ s__part(V__OBJ2,V__OBJ1))))
)

Merge.kif 976-981
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1224-1234
( ! [V__ACCT,V__SITE] :
   (s__accountAtSite(V__ACCT,V__SITE)
   =>
   (? [V__DATABASE,V__SITE_OWNER] :
     (s__instance(V__DATABASE,s__Database) &
       s__instance(V__SITE_OWNER,s__Agent) &
       s__possesses(V__SITE,V__SITE_OWNER)
     &
     s__possesses(V__DATABASE,V__SITE_OWNER)
   &
   s__part(V__ACCT,V__DATABASE))))
)

UXExperimentalTerms.kif 784-792
No TPTP formula. May not be expressible in strict first order. Music.kif 319-325
( ! [V__M] :
   ((s__attribute(V__M,s__MashupRecording) &
       s__instance(V__M,s__Recording))
     =>
     (? [V__M1,V__M2,V__S1,V__S2] :
       (s__musicInterpretation(V__M1,V__S1)
       &
       s__musicInterpretation(V__M2,V__S2)
     &
     (~ (V__S1 = V__S2))
     &
     s__part(V__M1,V__M)
   &
   s__part(V__M2,V__M))))
)

Music.kif 429-439
( ! [V__SYLLABLE,V__WORD] :
   ((s__attribute(V__SYLLABLE,s__Stressed) &
       s__instance(V__WORD,s__Word) &
       s__part(V__SYLLABLE,V__WORD))
   =>
   (~ (? [V__SYLLABLE2] :
       (s__instance(V__SYLLABLE2,s__Syllable) &
         s__part(V__SYLLABLE2,V__WORD)
       &
       s__attribute(V__SYLLABLE2,s__Stressed) &
       (~ (V__SYLLABLE2 = V__SYLLABLE))))))
)

Mid-level-ontology.kif 17164-17174
( ! [V__X,V__Y] :
   ((s__attribute(V__X,V__Y)
     &
     s__instance(V__Y,s__HotelLevelAttribute))
   =>
   (s__instance(V__X,s__BuildingLevel) &
     (? [V__BLDG] :
       (s__instance(V__BLDG,s__HotelBuilding) &
         s__part(V__X,V__BLDG)))))
)

Hotel.kif 1154-1163
( ! [V__X] :
   ((s__attribute(V__X,s__TravelerAccommodation) &
       s__capability(s__RoomCleaningService,s__agent__m,V__X))
   =>
   (? [V__MAID,V__HOTELROOM] :
     (s__employs(V__X,V__MAID)
     &
     s__attribute(V__MAID,s__Maid) &
     s__instance(V__HOTELROOM,s__HotelUnit) &
     s__part(V__HOTELROOM,s__PropertyFn(V__X))
&
s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
&
s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID))))
)

Hotel.kif 1879-1890
( ! [V__PC,V__ROLE,V__MV] :
   ((s__capability(V__PC,V__ROLE,V__MV)
     &
     s__subclass(V__PC,s__Shooting))
   =>
   (? [V__WEAPON] :
     (s__instance(V__WEAPON,s__Weapon) &
       s__part(V__WEAPON,V__MV)
     &
     s__capability(V__PC,V__ROLE,V__WEAPON))))
)

MilitaryDevices.kif 48-56
( ! [V__ROOM,V__HOTEL] :
   ((s__element(V__ROOM,s__PropertyFn(V__HOTEL))
   &
   s__attribute(V__ROOM,s__AnnexRoom) &
   s__instance(V__ROOM,s__HotelRoom))
=>
(? [V__BLDG1,V__BLDG2,V__FRNT] :
   (s__subOrganization(V__FRNT,V__HOTEL)
   &
   s__instance(V__FRNT,s__HotelFrontDesk) &
   s__located(V__FRNT,V__BLDG1)
&
s__element(V__BLDG1,s__PropertyFn(V__HOTEL))
&
s__element(V__BLDG2,s__PropertyFn(V__HOTEL))
&
s__part(V__ROOM,V__BLDG2)
&
(~ (V__BLDG1 = V__BLDG2)))))
)

Hotel.kif 1080-1093
( ! [V__PART_TYPE,V__WHOLE_TYPE,V__WHOLE] :
   ((s__havePartTypes(V__PART_TYPE,V__WHOLE_TYPE)
     &
     s__instance(V__WHOLE,V__WHOLE_TYPE))
=>
(? [V__PART] :
   (s__instance(V__PART,V__PART_TYPE)
   &
   s__part(V__PART,V__WHOLE))))
)

Mid-level-ontology.kif 21635-21642
No TPTP formula. May not be expressible in strict first order. Cars.kif 2553-2569
( ! [V__HOLE1,V__OBJ,V__HOLE2] :
   ((s__hole(V__HOLE1,V__OBJ)
     &
     s__hole(V__HOLE2,V__OBJ))
=>
(! [V__HOLE3] :
   (s__part(V__HOLE3,s__MereologicalSumFn(V__HOLE1,V__HOLE2))
=>
s__hole(V__HOLE3,V__OBJ))))
)

Merge.kif 9862-9869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21591-21600
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21618-21626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4884-4898
( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__AirportWithPavedRunway))
     =>
     (? [V__RUNWAY] :
       (s__instance(V__RUNWAY,s__PavedRunway) &
         s__part(V__RUNWAY,V__AIRPORT))))
)

Transportation.kif 1304-1311
( ! [V__AIRPORT] :
   ((s__instance(V__AIRPORT,s__Airport) &
       s__attribute(V__AIRPORT,s__AirportWithUnpavedRunway))
     =>
     (? [V__RUNWAY] :
       (s__instance(V__RUNWAY,s__UnpavedRunway) &
         s__part(V__RUNWAY,V__AIRPORT))))
)

Transportation.kif 1318-1325

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


( ! [V__VIR,V__PARTTYPE] :
   s__part(s__ViralPartFn(V__VIR,V__PARTTYPE)
,V__VIR)
)

VirusProteinAndCellPart.kif 578-578
s__part(s__AtlantaGeorgia,s__Georgia)

CountriesAndRegions.kif 711-711
s__part(s__Australia,s__Oceania)

CountriesAndRegions.kif 662-662
s__part(s__BaltimoreMaryland,s__Maryland)

CountriesAndRegions.kif 714-714
s__part(s__BostonMassachusetts,s__Massachusetts)

CountriesAndRegions.kif 724-724
s__part(s__ChicagoUnitedStates,s__Illinois)

CountriesAndRegions.kif 1611-1611
s__part(s__ClevelandOhio,s__Ohio)

CountriesAndRegions.kif 854-854
s__part(s__Connecticut,s__NewEngland)

CountriesAndRegions.kif 915-915
s__part(s__DallasTexas,s__Texas)

CountriesAndRegions.kif 851-851
s__part(s__DetroitMichigan,s__Michigan)

CountriesAndRegions.kif 841-841
s__part(s__FargoNorthDakota,s__NorthDakota)

CountriesAndRegions.kif 835-835
s__part(s__Germany,s__Europe)

CountriesAndRegions.kif 1242-1242
s__part(s__Greece,s__Europe)

CountriesAndRegions.kif 1245-1245
s__part(s__HoustonTexas,s__Texas)

CountriesAndRegions.kif 828-828
s__part(s__HudsonRiver,s__NewYorkState)

CountriesAndRegions.kif 832-832
s__part(s__KansasCityMissouri,s__Missouri)

CountriesAndRegions.kif 728-728
s__part(s__KoreanPeninsula,s__Asia)

CountriesAndRegions.kif 820-820
s__part(s__LongIsland,s__NewYorkState)

CountriesAndRegions.kif 805-805
s__part(s__LosAngelesCalifornia,s__California)

CountriesAndRegions.kif 810-810
s__part(s__ManchesterNewHampshire,s__NewHampshire)

CountriesAndRegions.kif 731-731
s__part(s__Massachusetts,s__NewEngland)

CountriesAndRegions.kif 989-989
s__part(s__MemphisTennessee,s__Tennessee)

CountriesAndRegions.kif 733-733
s__part(s__MinneapolisMinnesota,s__Minnesota)

CountriesAndRegions.kif 737-737
s__part(s__MississippiRiver,s__UnitedStates)

CountriesAndRegions.kif 740-740
s__part(s__MontrealCanada,s__Canada)

CountriesAndRegions.kif 746-746

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners