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


(documentation properPart ChineseLanguage "(properPart ?OBJ1 ?OBJ2) 的意思是除了 ?OBJ2 本身 ?OBJ1 是 ?OBJ2 的一部分。 这是一个 TransitiveRelationAsymmetricRelation (因此也是一个 IrreflexiveRelation)。") Merge.kif 972-974
(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 968-971
(instance properPart AsymmetricRelation) Merge.kif 965-965
(instance properPart TransitiveRelation) Merge.kif 966-966
(subrelation properPart part) Merge.kif 967-967

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


(format ChineseLanguage properPart "%1 %n 是 %2 的 properPart") chinese_format.kif 175-175
(format EnglishLanguage properPart "%1 is %n a proper part of %2") english_format.kif 114-114
(format FrenchLanguage properPart "%1 est %n une partie de %2") french_format.kif 107-107
(format ItalianLanguage properPart "%1 � %n una Parte propria di %2") relations-it.txt 234-234
(format PortugueseLanguage properPart "%1 e' %n uma &parte de %2") portuguese_format.kif 59-59
(format ar properPart "%1 هو %n مُعَيَّن مِن جُزْء %2") arabic_format.kif 57-57
(format cz properPart "%1 %p{je} %n{nen�} vlastn� ��st� %2") relations-cz.txt 65-65
(format de properPart "%1 ist ein korrektes teil von %2 %n{nicht}") relations-de.txt 220-220
(format hi properPart "%1 %2 kaa uchita bhaaga %n hai") relations-hindi.txt 272-272
(format tg properPart "%1 %n ay ang bahagi ng %2") relations-tg.txt 426-426
(subrelation engineeringSubcomponent properPart) Merge.kif 16208-16208
(subrelation geographicSubregion properPart) Merge.kif 13987-13987
(subrelation physicalEnd properPart) Mid-level-ontology.kif 1645-1645
(subrelation streamOutfall properPart) Geography.kif 5347-5347
(termFormat ChineseLanguage properPart "真正的部分") chinese_format.kif 176-176
(termFormat EnglishLanguage properPart "proper part") domainEnglishFormat.kif 8389-8389
(termFormat ar properPart "«مُعَيَّن مِن جُزْء»") arabic_format.kif 507-507

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


(<=>
    (properPart ?OBJ1 ?OBJ2)
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1))))
Merge.kif 976-981
(=>
    (and
        (fills ?OBJ ?HOLE1)
        (properPart ?HOLE2 ?HOLE1))
    (completelyFills ?OBJ ?HOLE2))
Merge.kif 10053-10057
(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (properPart ?OBJ2 ?OBJ1))
    (properlyFills ?OBJ2 ?HOLE))
Merge.kif 10059-10063
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))
ComputerInput.kif 1550-1556
(=>
    (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 1705-1711
(=>
    (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 1638-1644
(=>
    (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 1662-1668
(=>
    (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 1616-1622
(=>
    (and
        (instance ?HOLE1 Hole)
        (properPart ?HOLE2 ?HOLE1))
    (exists (?OBJ)
        (and
            (meetsSpatially ?HOLE1 ?OBJ)
            (not
                (meetsSpatially ?HOLE2 ?OBJ)))))
Merge.kif 9909-9917
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?GUIE))
ComputerInput.kif 2002-2009

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


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))
Merge.kif 9853-9860
(=>
    (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 1576-1589
(=>
    (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 16126-16139
(=>
    (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 1561-1570
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1855-1861
(=>
    (equal ?OBJ3
        (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (properPart ?PART ?OBJ3)
            (and
                (properPart ?PART ?OBJ1)
                (not
                    (properPart ?PART ?OBJ2))))))
Merge.kif 9792-9801
(=>
    (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 1588-1596
(=>
    (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 1601-1611
(=>
    (instance ?COMPARTMENT ShipCabin)
    (exists (?SHIP)
        (and
            (instance ?COMPARTMENT ShipCabin)
            (properPart ?COMPARTMENT ?SHIP))))
Transportation.kif 2477-2482
(=>
    (instance ?GULF Gulf)
    (exists (?WATER)
        (and
            (instance ?WATER SaltWaterArea)
            (properPart ?GULF ?WATER))))
Geography.kif 4803-4808
(=>
    (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 16027-16038
(=>
    (instance ?HOLE1 Hole)
    (exists (?HOLE2)
        (properPart ?HOLE2 ?HOLE1)))
Merge.kif 9886-9889
(=>
    (instance ?HOTEL HotelBuilding)
    (exists (?ROOM)
        (and
            (instance ?ROOM HotelRoom)
            (properPart ?ROOM ?HOTEL))))
Hotel.kif 77-82
(=>
    (instance ?OBJ1 CellEnvelope)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Lipoprotein))))
VirusProteinAndCellPart.kif 505-510
(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))
Mid-level-ontology.kif 9313-9318
(=>
    (instance ?OBJ1 EnvelopedVirus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 ViralCore)
            (not
                (exists (?OBJ3)
                    (and
                        (instance ?OBJ3 ViralCore)
                        (properPart ?OBJ3 ?OBJ1)
                        (not
                            (equal ?OBJ3 ?OBJ2))))))))
VirusProteinAndCellPart.kif 600-611
(=>
    (instance ?OBJ1 LipidBilayer)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 LipidMembraneMolecule))))
VirusProteinAndCellPart.kif 448-453
(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 LipidBilayer)
            (not
                (exists (?OBJ3)
                    (and
                        (instance ?OBJ3 LipidBilayer)
                        (properPart ?OBJ3 ?OBJ1)
                        (not
                            (equal ?OBJ3 ?OBJ2))))))))
VirusProteinAndCellPart.kif 435-446
(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Protein))))
VirusProteinAndCellPart.kif 302-307
(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 560-565
(=>
    (instance ?OBJ1 VirusCoreEnvelope)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Palisade))))
VirusProteinAndCellPart.kif 541-546
(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 553-558
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))
Geography.kif 4274-4276
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (=>
            (and
                (instance ?PERSON Human)
                (wears ?PERSON ?PE))
            (exists (?PROTECT ?EYE ?INJ)
                (and
                    (instance ?PROTECT Process)
                    (instrument ?PROTECT ?PE)
                    (subclass ?INJ
                        (KappaFn ?I
                            (exists (?EYE ?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 3452-3478
(=>
    (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 3480-3493

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(properPart
    (CellPartFn ?CELL ?PARTTYPE) ?CELL)
VirusProteinAndCellPart.kif 589-589


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