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


KB Term:  Term intersection
English Word: 

Sigma KEE - properPart
properPart

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


(instance properPart AsymmetricRelation) Merge.kif 933-933 proper part is an instance of asymmetric relation
(instance properPart TransitiveRelation) Merge.kif 934-934 proper part is an instance of transitive relation
(subrelation properPart part) Merge.kif 935-935 proper part is a subrelation of part
(domain properPart 1 Object) Merge.kif 936-936 The number 1 argument of proper part is an instance of object
(domain properPart 2 Object) Merge.kif 937-937 The number 2 argument of proper part is an instance of object
(documentation properPart 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 939-942 The number 2 argument of proper part is an instance of object

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


(subrelation geographicSubregion properPart) Merge.kif 14354-14354 geographic subregion is a subrelation of proper part
(subrelation engineeringSubcomponent properPart) Merge.kif 16440-16440 engineering subcomponent is a subrelation of proper part
(subrelation physicalEnd properPart) Merge.kif 18275-18275 physical end is a subrelation of proper part
(subrelation streamOutfall properPart) Geography.kif 7285-7285 stream outfall is a subrelation of proper part
(termFormat EnglishLanguage properPart "proper part") domainEnglishFormat.kif 47791-47791 stream outfall is a subrelation of proper part
(termFormat ChineseTraditionalLanguage properPart "適當的部分") domainEnglishFormat.kif 47792-47792 stream outfall is a subrelation of proper part
(termFormat ChineseLanguage properPart "适当的部分") domainEnglishFormat.kif 47793-47793 stream outfall is a subrelation of proper part
(format EnglishLanguage properPart "%1 is %n a proper part of %2") english_format.kif 176-176 stream outfall is a subrelation of proper part

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


(=>
    (properPart ?OBJ1 ?OBJ2)
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1))))		 Merge.kif 944-949 If X is a proper part of Y, then X is a part of Y and Y is not a part of X
(=>
    (and
        (instance ?HOLE1 HoleRegion)
        (properPart ?HOLE2 ?HOLE1))
    (exists (?OBJ)
        (and
            (meetsSpatially ?HOLE1 ?OBJ)
            (not
                (meetsSpatially ?HOLE2 ?OBJ)))))		 Merge.kif 10165-10173 If X is an instance of hole and Y is a proper part of X, then there exists Z such that X meets Z and Y doesn't meet Z
(=>
    (and
        (fills ?OBJ ?HOLE1)
        (properPart ?HOLE2 ?HOLE1))
    (completelyFills ?OBJ ?HOLE2))		 Merge.kif 10279-10283 If X fills Y and Z is a proper part of Y, then X completely fills Z
(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (properPart ?OBJ2 ?OBJ1))
    (properlyFills ?OBJ2 ?HOLE))		 Merge.kif 10285-10289 If X fills Y and Z is a proper part of X, then Z properly fills Y
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))		 ComputerInput.kif 1925-1931 If X is an instance of GUI element, X has state GUE active state, X is a proper part of Y, and Y is an instance of GUI element, then Y has state GUE active state
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_PassiveState))
    (hasGUEState ?GUIE_SM GUE_PassiveState))		 ComputerInput.kif 1993-1999 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE passive state, then ?GUIE_SM has state GUE passive state
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_NonVisibleState))
    (hasGUEState ?GUIE_SM GUE_NonVisibleState))		 ComputerInput.kif 2017-2023 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE non visible state, then ?GUIE_SM has state GUE non visible state
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_OffscreenState))
    (hasGUEState ?GUIE_SM GUE_OffscreenState))		 ComputerInput.kif 2045-2051 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE offscreen state, then ?GUIE_SM has state GUE offscreen state
(=>
    (and
        (instance ?GUIE_SM GUIElement)
        (instance ?GUIE_BIG GUIElement)
        (properPart ?GUIE_SM ?GUIE_BIG)
        (hasGUEState ?GUIE_BIG GUE_CoveredState))
    (hasGUEState ?GUIE_SM GUE_CoveredState))		 ComputerInput.kif 2098-2104 If ?GUIE_SM is an instance of GUI element, ?GUIE_BIG is an instance of GUI element, ?GUIE_SM is a proper part of ?GUIE_BIG, and ?GUIE_BIG has state GUE covered state, then ?GUIE_SM has state GUE covered state
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))		 ComputerInput.kif 2439-2446 If X is an instance of uncovering graphical window, Y is a patient of X, Y is an instance of interface window, Z is a proper part of Y, and Z is an instance of cursor, then X uncovers Y

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


(=>
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1)))
    (properPart ?OBJ1 ?OBJ2))		 Merge.kif 951-956 If X is a part of Y and Y is not a part of X, then X is a proper part of Y
(=>
    (equal ?OBJ3
        (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (properPart ?PART ?OBJ3)
            (and
                (properPart ?PART ?OBJ1)
                (not
                    (properPart ?PART ?OBJ2))))))		 Merge.kif 10064-10073 If equal X, the difference between the parts of Y, and Z, then For all Object W: W is a proper part of X if, only if W is a proper part of Y, and W is not a proper part of Z
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))		 Merge.kif 10112-10119 If X is a hole in Y and X is a hole in Z, then there exists W such that W is a proper part of the intersection of the parts of Y, Z, and X is a hole in W
(=>
    (instance ?HOLE1 HoleRegion)
    (exists (?HOLE2)
        (properPart ?HOLE2 ?HOLE1)))		 Merge.kif 10145-10148 If X is an instance of hole, then there exists Y such that Y is a proper part of X
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 14551-14556 If X is an instance of state or province, then there exists Y such that Y is an instance of nation and X is a proper part of Y
(=>
    (instance ?STATE County)
    (exists (?LAND)
        (and
            (instance ?LAND StateOrProvince)
            (properPart ?STATE ?LAND))))		 Merge.kif 14572-14577 If X is an instance of county, then there exists Y such that Y is an instance of state or province and X is a proper part of Y
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))		 Merge.kif 16047-16052 If X is an instance of room, then there exists Y such that Y is an instance of building and X is a proper part of Y
(=>
    (instance ?S ShotShell)
    (hasPurpose ?S
        (exists (?X)
            (and
                (contains ?S ?X)
                (properPart ?X ?S)
                (or
                    (instance ?X FirearmShot)
                    (instance ?X ShotgunSlug))))))		 Mid-level-ontology.kif 1118-1127 If X is an instance of shot shell, then X has the purpose there exists Y such that X contains Y, Y is a proper part of X, and Y is an instance of firearm shot or Y is an instance of shotgun slug
(=>
    (instance ?CARTRIDGE BulletCartridge)
    (hasPurpose ?CARTRIDGE
        (exists (?BULLET ?CASE)
            (and
                (instance ?BULLET Bullet)
                (instance ?CASE CartridgeCase)
                (properPart ?BULLET ?CARTRIDGE)
                (properPart ?CASE ?CARTRIDGE)))))		 Mid-level-ontology.kif 1300-1308 If X is an instance of bullet cartridge, then X has the purpose there exist Y, Z such that Y is an instance of bullet, Z is an instance of casing, Y is a proper part of X, and Z is a proper part of X
(=>
    (instance ?CASE CartridgeCase)
    (exists (?CARTRIDGE ?BULLET ?K)
        (and
            (instance ?CARTRIDGE BulletCartridge)
            (instance ?BULLET Bullet)
            (instance ?K Keeping)
            (properPart ?CASE ?CARTRIDGE)
            (properPart ?BULLET ?CARTRIDGE)
            (agent ?K ?CASE)
            (patient ?K ?BULLET))))		 Mid-level-ontology.kif 1313-1323 If X is an instance of casing, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of bullet cartridge (3) Z is an instance of bullet (4) W is an instance of keeping (5) X is a proper part of Y (6) Z is a proper part of Y (7) X is an agent of W (8) Z is a patient of W
(=>
    (instance ?G Shotgun)
    (exists (?B ?P)
        (and
            (instance ?B GunBore)
            (properPart ?B ?G)
            (superficialPart ?P ?B)
            (orientation ?P ?B Inside)
            (attribute ?P Smooth))))		 Mid-level-ontology.kif 1993-2001 If X is an instance of shot gun, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is an attribute of Z
(=>
    (instance ?G Rifle)
    (exists (?B ?P)
        (and
            (instance ?B GunBore)
            (properPart ?B ?G)
            (superficialPart ?P ?B)
            (orientation ?P ?B Inside)
            (not
                (attribute ?P Smooth)))))		 Mid-level-ontology.kif 2010-2019 If X is an instance of rifle, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is not an attribute of Z
(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))		 Mid-level-ontology.kif 12309-12314 If X is an instance of cell part, then there exists Y such that Y is an instance of cell and X is a proper part of Y
(=>
    (instance ?X Exoskeleton)
    (exists (?A)
        (and
            (instance ?A Animal)
            (part ?X ?A)
            (not
                (exists (?PART)
                    (and
                        (properPart ?PART ?A)
                        (orientation ?PART ?X Outside)))))))		 Mid-level-ontology.kif 13162-13172 If X is an instance of exoskeleton, then there exists Y such that Y is an instance of animal, X is a part of Y, there doesn't exist Z such that Z is a proper part of Y, and Z is outside of to X
(=>
    (instance ?H Hanging)
    (exists (?S ?N ?P)
        (and
            (instance ?P Human)
            (instance ?S String)
            (instance ?N Neck)
            (experiencer ?H ?P)
            (properPart ?N ?P)
            (instrument ?H ?S)
            (holdsDuring
                (WhenFn ?H)
                (meetsSpatially ?S ?N)))))		 Mid-level-ontology.kif 20353-20364 If X is an instance of hanging, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of human (3) Y is an instance of string (4) Z is an instance of neck (5) W experiences X (6) Z is a proper part of W (7) Y is an instrument for X (8) Y meets Z holds during the time of existence of X
(=>
    (and
        (instance ?SHARE Sharing)
        (agent ?SHARE ?AGENT1)
        (destination ?SHARE ?AGENT2)
        (patient ?SHARE ?OBJ))
    (exists (?GIVE ?PART)
        (and
            (instance ?GIVE Giving)
            (subProcess ?GIVE ?SHARE)
            (patient ?GIVE ?PART)
            (properPart ?PART ?OBJ)
            (agent ?GIVE ?AGENT1)
            (destination ?GIVE ?AGENT2))))		 Mid-level-ontology.kif 20454-20467 If X is an instance of sharing, Y is an agent of X, X ends up at Z, and W is a patient of X, then All of the following hold: (1) there exist V (2) U such that V is an instance of giving (3) V is a subprocess of X (4) U is a patient of V (5) U is a proper part of W (6) Y is an agent of V (7) V ends up at Z
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (=>
            (and
                (instance ?PERSON Human)
                (wears ?PERSON ?PE))
            (exists (?PROTECT ?EYE ?INJ ?I ?T)
                (and
                    (instance ?PROTECT Process)
                    (instrument ?PROTECT ?PE)
                    (subclass ?INJ
                        (KappaFn ?I
                            (exists (?HUMAN)
                                (and
                                    (instance ?I Injuring)
                                    (instance ?EYE Eye)
                                    (instance ?HUMAN Human)
                                    (properPart ?EYE ?HUMAN)
                                    (patient ?I ?EYE)
                                    (=>
                                        (holdsDuring ?T
                                            (patient ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROTECT ?PERSON))))))))
                    (prevents ?PROTECT ?INJ))))))		 Cars.kif 3347-3373 If X is an instance of protective eyewear, then X has the purpose Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (exists (?PERSON ?FACE ?EYE ?COVER)
            (and
                (instance ?PERSON Animal)
                (instance ?FACE Face)
                (instance ?EYE Eye)
                (properPart ?EYE ?FACE)
                (properPart ?FACE ?PERSON)
                (wears ?PERSON ?PE)
                (instance ?COVER Covering)
                (agent ?COVER ?PE)
                (patient ?COVER ?FACE)))))		 Cars.kif 3375-3388 If X is an instance of protective eyewear, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) Z is an instance of face (4) W is an instance of eye (5) W is a proper part of Z (6) Z is a proper part of Y (7) Y wears X (8) V is an instance of covering (9) X is an agent of V (10) Z is a patient of V
(=>
    (and
        (instance ?WINDOW InterfaceWindow)
        (instance ?GUIE GUIElement)
        (screenOfGUIE ?WINDOW ?SCREEN)
        (screenOfGUIE ?GUIE ?SCREEN)
        (not
            (instance ?GUIE InterfaceWindow))
        (hasGUEState ?WINDOW GUE_ActiveState)
        (hasGUEState ?GUIE GUE_ActiveState))
    (properPart ?GUIE ?WINDOW))		 ComputerInput.kif 1936-1945 If All of the following hold: (1) X is an instance of interface window (2) Y is an instance of GUI element (3) X is displayed on Z (4) Y is displayed on Z (5) Y is not an instance of interface window (6) X has state GUE active state (7) Y has state GUE active state, then Y is a proper part of X
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (instance ?GUIE2 GUIElement)
        (not
            (instance ?GUIE1 InterfaceWindow))
        (not
            (instance ?GUIE2 InterfaceWindow))
        (screenOfGUIE ?GUIE1 ?SCREEN)
        (screenOfGUIE ?GUIE2 ?SCREEN)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (hasGUEState ?GUIE2 GUE_ActiveState))
    (or
        (properPart ?GUIE1 ?GUIE2)
        (properPart ?GUIE2 ?GUIE1)
        (equal ?GUIE1 ?GUIE2)))		 ComputerInput.kif 1951-1964 If All of the following hold: (1) X is an instance of GUI element (2) Y is an instance of GUI element (3) X is not an instance of interface window (4) Y is not an instance of interface window (5) X is displayed on Z (6) Y is displayed on Z (7) X has state GUE active state (8) Y has state GUE active state, then At least one of the following holds: (1) X is a proper part of Y (2) Y is a proper part of X (3) equal X and Y
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))		 Geography.kif 3365-3371 If X is an elevation of Y, then there exists Z such that Z is a proper part of sea level, Y is vertical to to Z, the distance between Y, and Z is X
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))		 Geography.kif 6072-6074 If X is an instance of ocean, then X is a proper part of world ocean
(=>
    (instance ?SEA Sea)
    (properPart ?SEA WorldOcean))		 Geography.kif 6321-6323 If X is an instance of sea, then X is a proper part of world ocean
(=>
    (instance ?GULF Gulf)
    (exists (?WATER)
        (and
            (instance ?WATER SaltWaterArea)
            (properPart ?GULF ?WATER))))		 Geography.kif 6694-6699 If X is an instance of gulf, then there exists Y such that Y is an instance of salt water area and X is a proper part of Y
(=>
    (instance ?SHELF ContinentalShelf)
    (exists (?MARGIN)
        (and
            (instance ?MARGIN ContinentalMargin)
            (properPart ?SHELF ?MARGIN)
            (overlapsSpatially ?SHELF ?MARGIN))))		 Geography.kif 7696-7702 If X is an instance of continental shelf, then there exists Y such that Y is an instance of continental margin, X is a proper part of Y, X, and Y overlapsSpatially

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25