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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - properPart
properPart

appearance as argument number 1
-------------------------


s__documentation(s__properPart__m,s__ChineseLanguage,'"(properPart ?OBJ1 ?OBJ2) 的意思是除了 ?OBJ2 本身 ?OBJ1 是 ?OBJ2 的一部分。 这是一个 TransitiveRelationAsymmetricRelation (因此也是一个 IrreflexiveRelation)。"')

chinese_format.kif 1573-1575
s__documentation(s__properPart__m,s__EnglishLanguage,'"(properPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a TransitiveRelation and AsymmetricRelation (hence an IrreflexiveRelation)."')

Merge.kif 888-891
s__instance(s__properPart__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 884-884 proper part is an instance of asymmetric relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__properPart__m,s__TransitiveRelation)

Merge.kif 885-885 proper part is an instance of transitive relation
s__subrelation(s__properPart__m,s__part__m)

Merge.kif 886-886 proper part is a subrelation of part

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


s__format(s__ChineseLanguage,s__properPart__m,'"%1 %n 是 %2 的 properPart"')

chinese_format.kif 175-175
s__format(s__EnglishLanguage,s__properPart__m,'"%1 is %n a proper part of %2"')

english_format.kif 179-179
s__subrelation(s__engineeringSubcomponent__m,s__properPart__m)

Merge.kif 15312-15312 engineering subcomponent is a subrelation of proper part
s__subrelation(s__geographicSubregion__m,s__properPart__m)

Merge.kif 13374-13374 geographic subregion is a subrelation of proper part
s__subrelation(s__physicalEnd__m,s__properPart__m)

Mid-level-ontology.kif 1194-1194 physical end is a subrelation of proper part
s__subrelation(s__streamOutfall__m,s__properPart__m)

Geography.kif 5467-5467 stream outfall is a subrelation of proper part
s__termFormat(s__ChineseLanguage,s__properPart__m,'"真正的部分"')

chinese_format.kif 176-176
s__termFormat(s__ChineseLanguage,s__properPart__m,'"适当的部分"')

domainEnglishFormat.kif 47781-47781
s__termFormat(s__ChineseTraditionalLanguage,s__properPart__m,'"適當的部分"')

domainEnglishFormat.kif 47780-47780
s__termFormat(s__EnglishLanguage,s__properPart__m,'"proper part"')

domainEnglishFormat.kif 47779-47779

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


( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__properPart(V__OBJ1,V__OBJ2)
           =>
           (s__part(V__OBJ1,V__OBJ2)
           &
           ~(s__part(V__OBJ2,V__OBJ1))))
     &
     ((s__part(V__OBJ1,V__OBJ2)
       &
       ~(s__part(V__OBJ2,V__OBJ1)))
   =>
   s__properPart(V__OBJ1,V__OBJ2)))))
)
)

Merge.kif 893-898 An object is a proper part of another object if and only if the object is a part of the other object and the other object is not a part of the object
( ! [V__OBJ,V__HOLE1,V__HOLE2] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__HOLE1,s__Hole) &
         s__instance(V__HOLE2,s__Object))
       =>
       (((s__fills(V__OBJ,V__HOLE1)
           &
           s__properPart(V__HOLE2,V__HOLE1))
       =>
       (s__completelyFills(V__OBJ,V__HOLE2)))))
)
)

Merge.kif 9629-9633
( ! [V__OBJ1,V__HOLE,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__HOLE,s__Hole) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__fills(V__OBJ1,V__HOLE)
           &
           s__properPart(V__OBJ2,V__OBJ1))
       =>
       (s__properlyFills(V__OBJ2,V__HOLE)))))
)
)

Merge.kif 9635-9639
( ! [V__GUIE2,V__GUIE1] :
   (((s__instance(V__GUIE1,s__GUIElement) &
         s__hasGUEState(V__GUIE1,s__GUE_ActiveState) &
         s__properPart(V__GUIE1,V__GUIE2)
       &
       s__instance(V__GUIE2,s__GUIElement))
     =>
     (s__hasGUEState(V__GUIE2,s__GUE_ActiveState)))
   )
)

ComputerInput.kif 1938-1944
( ! [V__GUIE_SM,V__GUIE_BIG] :
   (((s__instance(V__GUIE_SM,s__GUIElement) &
         s__instance(V__GUIE_BIG,s__GUIElement) &
         s__properPart(V__GUIE_SM,V__GUIE_BIG)
       &
       s__hasGUEState(V__GUIE_BIG,s__GUE_CoveredState))
     =>
     (s__hasGUEState(V__GUIE_SM,s__GUE_CoveredState)))
   )
)

ComputerInput.kif 2111-2117
( ! [V__GUIE_SM,V__GUIE_BIG] :
   (((s__instance(V__GUIE_SM,s__GUIElement) &
         s__instance(V__GUIE_BIG,s__GUIElement) &
         s__properPart(V__GUIE_SM,V__GUIE_BIG)
       &
       s__hasGUEState(V__GUIE_BIG,s__GUE_NonVisibleState))
     =>
     (s__hasGUEState(V__GUIE_SM,s__GUE_NonVisibleState)))
   )
)

ComputerInput.kif 2030-2036
( ! [V__GUIE_SM,V__GUIE_BIG] :
   (((s__instance(V__GUIE_SM,s__GUIElement) &
         s__instance(V__GUIE_BIG,s__GUIElement) &
         s__properPart(V__GUIE_SM,V__GUIE_BIG)
       &
       s__hasGUEState(V__GUIE_BIG,s__GUE_OffscreenState))
     =>
     (s__hasGUEState(V__GUIE_SM,s__GUE_OffscreenState)))
   )
)

ComputerInput.kif 2058-2064
( ! [V__GUIE_SM,V__GUIE_BIG] :
   (((s__instance(V__GUIE_SM,s__GUIElement) &
         s__instance(V__GUIE_BIG,s__GUIElement) &
         s__properPart(V__GUIE_SM,V__GUIE_BIG)
       &
       s__hasGUEState(V__GUIE_BIG,s__GUE_PassiveState))
     =>
     (s__hasGUEState(V__GUIE_SM,s__GUE_PassiveState)))
   )
)

ComputerInput.kif 2006-2012
( ! [V__HOLE1,V__HOLE2] :
   ((s__instance(V__HOLE2,s__Object) =>
       (((s__instance(V__HOLE1,s__Hole) &
             s__properPart(V__HOLE2,V__HOLE1))
         =>
         (( ? [V__OBJ] :
             ((s__instance(V__OBJ,s__Object) &
                 (s__meetsSpatially(V__HOLE1,V__OBJ)
                 &
                 ~(s__meetsSpatially(V__HOLE2,V__OBJ))))))))))
)
)

Merge.kif 9507-9515
( ! [V__UNCOVER,V__CURSOR,V__WINDOW] :
   (((s__instance(V__UNCOVER,s__UncoveringGraphicalWindow) &
         s__patient(V__UNCOVER,V__WINDOW)
       &
       s__instance(V__WINDOW,s__InterfaceWindow) &
       s__properPart(V__CURSOR,V__WINDOW)
     &
     s__instance(V__CURSOR,s__Cursor))
   =>
   (s__guiElementUncovered(V__UNCOVER,V__WINDOW)))
)
)

ComputerInput.kif 2452-2459

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


( ! [V__OBJ1,V__HOLE,V__OBJ2] :
   (((s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__HOLE,s__Hole) &
         s__instance(V__OBJ2,s__SelfConnectedObject))
       =>
       (((s__hole(V__HOLE,V__OBJ1)
           &
           s__hole(V__HOLE,V__OBJ2))
       =>
       (( ? [V__OBJ3] :
           ((s__instance(V__OBJ3,s__SelfConnectedObject) &
               (s__properPart(V__OBJ3,s__MereologicalProductFn(V__OBJ1,V__OBJ2))
             &
             s__hole(V__HOLE,V__OBJ3)))))))))
)
)

Merge.kif 9453-9460
( ! [V__GUIE2,V__GUIE1,V__SCREEN] :
   ((s__instance(V__SCREEN,s__ComputerScreen) =>
       (((s__instance(V__GUIE1,s__GUIElement) &
             s__instance(V__GUIE2,s__GUIElement) &
             ~(s__instance(V__GUIE1,s__InterfaceWindow))
             &
             ~(s__instance(V__GUIE2,s__InterfaceWindow))
             &
             s__screenOfGUIE(V__GUIE1,V__SCREEN)
           &
           s__screenOfGUIE(V__GUIE2,V__SCREEN)
         &
         s__hasGUEState(V__GUIE1,s__GUE_ActiveState) &
         s__hasGUEState(V__GUIE2,s__GUE_ActiveState))
       =>
       ((s__properPart(V__GUIE1,V__GUIE2)
         |
         s__properPart(V__GUIE2,V__GUIE1)
       |
       (V__GUIE1 = V__GUIE2))))))
)
)

ComputerInput.kif 1964-1977
( ! [V__AGENT2,V__SHARE,V__OBJ,V__AGENT1] :
   ((s__instance(V__AGENT1,s__Agent) =>
       (((s__instance(V__SHARE,s__Sharing) &
             s__agent(V__SHARE,V__AGENT1)
           &
           s__destination(V__SHARE,V__AGENT2)
         &
         s__patient(V__SHARE,V__OBJ))
     =>
     (( ? [V__GIVE, V__PART] :
         ((s__instance(V__PART,s__Object) &
             (s__instance(V__GIVE,s__Giving) &
               s__subProcess(V__GIVE,V__SHARE)
             &
             s__patient(V__GIVE,V__PART)
           &
           s__properPart(V__PART,V__OBJ)
         &
         s__agent(V__GIVE,V__AGENT1)
       &
       s__destination(V__GIVE,V__AGENT2)))))))))
)
)

Mid-level-ontology.kif 17248-17261
( ! [V__GUIE,V__WINDOW,V__SCREEN] :
   ((s__instance(V__SCREEN,s__ComputerScreen) =>
       (((s__instance(V__WINDOW,s__InterfaceWindow) &
             s__instance(V__GUIE,s__GUIElement) &
             s__screenOfGUIE(V__WINDOW,V__SCREEN)
           &
           s__screenOfGUIE(V__GUIE,V__SCREEN)
         &
         ~(s__instance(V__GUIE,s__InterfaceWindow))
         &
         s__hasGUEState(V__WINDOW,s__GUE_ActiveState) &
         s__hasGUEState(V__GUIE,s__GUE_ActiveState))
       =>
       (s__properPart(V__GUIE,V__WINDOW)))))
)
)

ComputerInput.kif 1949-1958
( ! [V__OBJECT,V__HEIGHT] :
   (((s__instance(V__OBJECT,s__Object) &
         s__instance(V__HEIGHT,s__LengthMeasure))
       =>
       ((s__elevation(V__OBJECT,V__HEIGHT)
         =>
         (( ? [V__DATUM] :
             ((s__instance(V__DATUM,s__Object) &
                 (s__properPart(V__DATUM,s__SeaLevel) &
                   s__orientation(V__OBJECT,V__DATUM,s__Vertical) &
                   s__distance(V__OBJECT,V__DATUM,V__HEIGHT)))))))))
)
)

Geography.kif 1885-1891
( ! [V__OBJ1,V__OBJ2,V__OBJ3] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object) &
         s__instance(V__OBJ3,s__Object))
       =>
       (((V__OBJ3 = s__MereologicalDifferenceFn(V__OBJ1,V__OBJ2))
         =>
         (( ! [V__PART] :
             ((s__instance(V__PART,s__Object) =>
                 (((s__properPart(V__PART,V__OBJ3)
                     =>
                     (s__properPart(V__PART,V__OBJ1)
                     &
                     ~(s__properPart(V__PART,V__OBJ2))))
               &
               ((s__properPart(V__PART,V__OBJ1)
                 &
                 ~(s__properPart(V__PART,V__OBJ2)))
             =>
             s__properPart(V__PART,V__OBJ3)))))))))))
)
)

Merge.kif 9400-9409
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1137-1145
( ! [V__CASE] :
   ((s__instance(V__CASE,s__CartridgeCase) =>
       (( ? [V__CARTRIDGE, V__BULLET, V__K] :
           ((s__instance(V__CARTRIDGE,s__BulletCartridge) &
               s__instance(V__BULLET,s__Bullet) &
               s__instance(V__K,s__Keeping) &
               s__properPart(V__CASE,V__CARTRIDGE)
             &
             s__properPart(V__BULLET,V__CARTRIDGE)
           &
           s__agent(V__K,V__CASE)
         &
         s__patient(V__K,V__BULLET))))))
)
)

Mid-level-ontology.kif 1150-1160
( ! [V__COMPARTMENT] :
   ((s__instance(V__COMPARTMENT,s__ShipCabin) =>
       (( ? [V__SHIP] :
           ((s__instance(V__COMPARTMENT,s__ShipCabin) &
               s__properPart(V__COMPARTMENT,V__SHIP))))))
   )
)

Transportation.kif 2570-2575
( ! [V__GULF] :
   ((s__instance(V__GULF,s__Gulf) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__SaltWaterArea) &
               s__properPart(V__GULF,V__WATER))))))
   )
)

Geography.kif 4922-4927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17161-17172
( ! [V__HOLE1] :
   ((s__instance(V__HOLE1,s__Hole) =>
       (( ? [V__HOLE2] :
           ((s__instance(V__HOLE2,s__Object) &
               s__properPart(V__HOLE2,V__HOLE1))))))
   )
)

Merge.kif 9486-9489
( ! [V__HOTEL] :
   ((s__instance(V__HOTEL,s__HotelBuilding) =>
       (( ? [V__ROOM] :
           ((s__instance(V__ROOM,s__HotelRoom) &
               s__properPart(V__ROOM,V__HOTEL))))))
   )
)

Hotel.kif 77-82
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__CellEnvelope) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ2,V__OBJ1)
             &
             s__instance(V__OBJ2,s__Lipoprotein))))))
   )
)

VirusProteinAndCellPart.kif 508-513
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__CellPart) =>
       (( ? [V__CELL] :
           ((s__instance(V__CELL,s__Cell) &
               s__properPart(V__OBJ1,V__CELL))))))
   )
)

Mid-level-ontology.kif 9883-9888
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__EnvelopedVirus) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ2,V__OBJ1)
             &
             s__instance(V__OBJ2,s__ViralCore) &
             ~(( ? [V__OBJ3] :
                 ((s__instance(V__OBJ3,s__ViralCore) &
                     s__properPart(V__OBJ3,V__OBJ1)
                   &
                   ~((V__OBJ3 = V__OBJ2)))))))))))
)
)

VirusProteinAndCellPart.kif 603-614
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__LipidBilayer) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ2,V__OBJ1)
             &
             s__instance(V__OBJ2,s__LipidMembraneMolecule))))))
   )
)

VirusProteinAndCellPart.kif 451-456
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__PlasmaMembrane) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ2,V__OBJ1)
             &
             s__instance(V__OBJ2,s__LipidBilayer) &
             ~(( ? [V__OBJ3] :
                 ((s__instance(V__OBJ3,s__LipidBilayer) &
                     s__properPart(V__OBJ3,V__OBJ1)
                   &
                   ~((V__OBJ3 = V__OBJ2)))))))))))
)
)

VirusProteinAndCellPart.kif 438-449
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__PlasmaMembrane) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ2,V__OBJ1)
             &
             s__instance(V__OBJ2,s__Protein))))))
   )
)

VirusProteinAndCellPart.kif 305-310
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__Virus) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ2,V__OBJ1)
             &
             s__instance(V__OBJ2,s__VirusPart))))))
   )
)

VirusProteinAndCellPart.kif 563-568
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__VirusCoreEnvelope) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ2,V__OBJ1)
             &
             s__instance(V__OBJ2,s__Palisade))))))
   )
)

VirusProteinAndCellPart.kif 544-549
( ! [V__OBJ1] :
   ((s__instance(V__OBJ1,s__VirusPart) =>
       (( ? [V__OBJ2] :
           ((s__properPart(V__OBJ1,V__OBJ2)
             &
             s__instance(V__OBJ2,s__Virus))))))
   )
)

VirusProteinAndCellPart.kif 556-561
( ! [V__OCEAN] :
   ((s__instance(V__OCEAN,s__Ocean) =>
       (s__properPart(V__OCEAN,s__WorldOcean)))
     )
   )

Geography.kif 4345-4347
No TPTP formula. May not be expressible in strict first order. Cars.kif 3485-3511
No TPTP formula. May not be expressible in strict first order. Cars.kif 3513-3526

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__PARTTYPE,V__CELL] :
   (((s__subclass(V__PARTTYPE,s__CellPart) &
         s__instance(V__CELL,s__Cell))
       =>
       (s__properPart(s__CellPartFn(V__CELL,V__PARTTYPE)
      ,V__CELL)))
)
)

VirusProteinAndCellPart.kif 592-592 The cell part of an entity and a kind of cell part is a proper part of the entity


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