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)。") chinese_format.kif 1573-1575
(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 930-933
(documentation properPart JapaneseLanguage "(properPart ?OBJ1 ?OBJ2) とは、?OBJ1が?OBJ2 自体以外、?OBJ2の一部である。これは、TransitiveRelationAsymmetricRelation である。 (したがって、IrreflexiveRelation)。") japanese_format.kif 147-149
(documentation properPart SpanishLanguage "(properPart ?OBJ1 ?OBJ2) quiere decir que ?OBJ1 es una parte de ?OBJ2 aparte de ?OBJ2 mismo. Esta es una TransitiveRelation y AsymmetricRelation (y por lo tanto IrreflexiveRelation).") spanish_format.kif 172-174
(instance properPart AsymmetricRelation) Merge.kif 926-926
(instance properPart TransitiveRelation) Merge.kif 927-927
(subrelation properPart part) Merge.kif 928-928

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 176-176
(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 JapaneseLanguage properPart "%1 は %2 の proper part では %n") japanese_format.kif 1936-1936
(format PortugueseLanguage properPart "%1 e' %n uma &parte de %2") portuguese_format.kif 59-59
(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 ro properPart "%1 %n{nu} este o part%t{parte} proper%t{proprie} a lui %2") relations-ro.kif 126-126
(format sv properPart "%1 är %n{inte} en riktig del av %2") relations-sv.txt 112-112
(format tg properPart "%1 %n ay ang bahagi ng %2") relations-tg.txt 426-426
(subrelation engineeringSubcomponent properPart) Merge.kif 16083-16083
(subrelation geographicSubregion properPart) Merge.kif 14045-14045
(subrelation physicalEnd properPart) Mid-level-ontology.kif 1255-1255
(subrelation streamOutfall properPart) Geography.kif 5685-5685
(termFormat ChineseLanguage properPart "真正的部分") chinese_format.kif 176-176
(termFormat ChineseLanguage properPart "适当的部分") domainEnglishFormat.kif 47798-47798
(termFormat ChineseTraditionalLanguage properPart "適當的部分") domainEnglishFormat.kif 47797-47797
(termFormat EnglishLanguage properPart "proper part") domainEnglishFormat.kif 47796-47796
(termFormat de properPart "korrektesTeil") terms-de.txt 69-69

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


(=>
    (and
        (fills ?OBJ ?HOLE1)
        (properPart ?HOLE2 ?HOLE1))
    (completelyFills ?OBJ ?HOLE2))
Merge.kif 10052-10056
(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (properPart ?OBJ2 ?OBJ1))
    (properlyFills ?OBJ2 ?HOLE))
Merge.kif 10058-10062
(=>
    (and
        (instance ?GUIE1 GUIElement)
        (hasGUEState ?GUIE1 GUE_ActiveState)
        (properPart ?GUIE1 ?GUIE2)
        (instance ?GUIE2 GUIElement))
    (hasGUEState ?GUIE2 GUE_ActiveState))
ComputerInput.kif 1909-1915
(=>
    (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 2082-2088
(=>
    (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 2001-2007
(=>
    (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 2029-2035
(=>
    (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 1977-1983
(=>
    (and
        (instance ?HOLE1 HoleRegion)
        (properPart ?HOLE2 ?HOLE1))
    (exists (?OBJ)
        (and
            (meetsSpatially ?HOLE1 ?OBJ)
            (not
                (meetsSpatially ?HOLE2 ?OBJ)))))
Merge.kif 9939-9947
(=>
    (and
        (instance ?UNCOVER UncoveringGraphicalWindow)
        (patient ?UNCOVER ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (properPart ?CURSOR ?WINDOW)
        (instance ?CURSOR Cursor))
    (guiElementUncovered ?UNCOVER ?WINDOW))
ComputerInput.kif 2423-2430
(=>
    (properPart ?OBJ1 ?OBJ2)
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1))))
Merge.kif 935-940

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


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))
Merge.kif 9885-9892
(=>
    (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 1935-1948
(=>
    (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 18564-18577
(=>
    (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 1920-1929
(=>
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1)))
    (properPart ?OBJ1 ?OBJ2))
Merge.kif 942-947
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
(=>
    (equal ?OBJ3
        (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (properPart ?PART ?OBJ3)
            (and
                (properPart ?PART ?OBJ1)
                (not
                    (properPart ?PART ?OBJ2))))))
Merge.kif 9837-9846
(=>
    (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 1199-1207
(=>
    (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 1212-1222
(=>
    (instance ?COMPARTMENT ShipCabin)
    (exists (?SHIP)
        (and
            (instance ?COMPARTMENT ShipCabin)
            (properPart ?COMPARTMENT ?SHIP))))
Transportation.kif 2563-2568
(=>
    (instance ?GULF Gulf)
    (exists (?WATER)
        (and
            (instance ?WATER SaltWaterArea)
            (properPart ?GULF ?WATER))))
Geography.kif 5138-5143
(=>
    (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 18477-18488
(=>
    (instance ?HOLE1 HoleRegion)
    (exists (?HOLE2)
        (properPart ?HOLE2 ?HOLE1)))
Merge.kif 9918-9921
(=>
    (instance ?HOTEL HotelBuilding)
    (exists (?ROOM)
        (and
            (instance ?ROOM HotelRoom)
            (properPart ?ROOM ?HOTEL))))
Hotel.kif 82-87
(=>
    (instance ?OBJ1 CellEnvelope)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Lipoprotein))))
VirusProteinAndCellPart.kif 1090-1095
(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))
Mid-level-ontology.kif 10882-10887
(=>
    (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 1185-1196
(=>
    (instance ?OBJ1 LipidBilayer)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 LipidMembraneMolecule))))
VirusProteinAndCellPart.kif 571-576
(=>
    (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 558-569
(=>
    (instance ?OBJ1 PlasmaMembrane)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Protein))))
VirusProteinAndCellPart.kif 356-361
(=>
    (instance ?OBJ1 Virus)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 VirusPart))))
VirusProteinAndCellPart.kif 1145-1150
(=>
    (instance ?OBJ1 VirusCoreEnvelope)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ2 ?OBJ1)
            (instance ?OBJ2 Palisade))))
VirusProteinAndCellPart.kif 1126-1131
(=>
    (instance ?OBJ1 VirusPart)
    (exists (?OBJ2)
        (and
            (properPart ?OBJ1 ?OBJ2)
            (instance ?OBJ2 Virus))))
VirusProteinAndCellPart.kif 1138-1143
(=>
    (instance ?OCEAN Ocean)
    (properPart ?OCEAN WorldOcean))
Geography.kif 4530-4532
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (=>
            (exists (?PERSON)
                (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 3482-3509

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


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