TreeView Knowledge Base Browser

appearance as argument number 1

(documentation properPart ChineseLanguage "(properPart ?OBJ1 ?OBJ2) 的意思是除了 ?OBJ2 本身 ?OBJ1 是 ?OBJ2 的一部分。这是一个 TransitiveRelation 和 AsymmetricRelation (因此也是一个 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 888-891
(instance properPart AsymmetricRelation)	Merge.kif 884-884	proper part is an instance of asymmetric relation
(instance properPart TransitiveRelation)	Merge.kif 885-885	proper part is an instance of transitive relation
(subrelation properPart part)	Merge.kif 886-886	proper part is a subrelation of part

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 179-179
(subrelation engineeringSubcomponent properPart)	Merge.kif 14949-14949	engineering subcomponent is a subrelation of proper part
(subrelation geographicSubregion properPart)	Merge.kif 13044-13044	geographic subregion is a subrelation of proper part
(subrelation physicalEnd properPart)	Mid-level-ontology.kif 1646-1646	physicalEnd is a subrelation of proper part
(subrelation streamOutfall properPart)	Geography.kif 5376-5376	stream outfall is a subrelation of proper part
(termFormat ChineseLanguage properPart "真正的部分")	chinese_format.kif 176-176
(termFormat ChineseLanguage properPart "适当的部分")	domainEnglishFormat.kif 47726-47726
(termFormat ChineseTraditionalLanguage properPart "適當的部分")	domainEnglishFormat.kif 47725-47725
(termFormat EnglishLanguage properPart "proper part")	domainEnglishFormat.kif 47724-47724

antecedent

(<=> (properPart ?OBJ1 ?OBJ2) (and (part ?OBJ1 ?OBJ2) (not (part ?OBJ2 ?OBJ1))))	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
(=> (and (fills ?OBJ ?HOLE1) (properPart ?HOLE2 ?HOLE1)) (completelyFills ?OBJ ?HOLE2))	Merge.kif 9493-9497	If an object fills a hole and another object is a proper part of the hole, then the object completely fills the other object
(=> (and (fills ?OBJ1 ?HOLE) (properPart ?OBJ2 ?OBJ1)) (properlyFills ?OBJ2 ?HOLE))	Merge.kif 9499-9503	If an object fills a hole and another object is a proper part of the object, then the other object properly fills the hole
(=> (and (instance ?GUIE1 GUIElement) (hasGUEState ?GUIE1 GUE_ActiveState) (properPart ?GUIE1 ?GUIE2) (instance ?GUIE2 GUIElement)) (hasGUEState ?GUIE2 GUE_ActiveState))	ComputerInput.kif 1924-1930	If a GUIElement is an instance of GUIElement and the GUIElement has state GUE_ActiveState and the GUIElement is a proper part of another GUIElement and the other GUIElement is an instance of GUIElement, then the other GUIElement has state GUE_ActiveState
(=> (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 2097-2103	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_CoveredState, then the entity_SM has state GUE_CoveredState
(=> (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 2016-2022	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_NonVisibleState, then the entity_SM has state GUE_NonVisibleState
(=> (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 2044-2050	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_OffscreenState, then the entity_SM has state GUE_OffscreenState
(=> (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 1992-1998	If an entity_SM is an instance of GUIElement and the entity_BIG is an instance of GUIElement and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE_PassiveState, then the entity_SM has state GUE_PassiveState
(=> (and (instance ?HOLE1 Hole) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ)))))	Merge.kif 9371-9379	If an object is an instance of hole and another object is a proper part of the object, then there exists a third object such that the object meets the third object and the other object doesn't meet the third object
(=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow) (properPart ?CURSOR ?WINDOW) (instance ?CURSOR Cursor)) (guiElementUncovered ?UNCOVER ?WINDOW))	ComputerInput.kif 2438-2445	If an UncoveringGraphicalWindow is an instance of UncoveringGraphicalWindow and a GUIElement is a patient of the UncoveringGraphicalWindow and the GUIElement is an instance of InterfaceWindow and an object is a proper part of the GUIElement and the object is an instance of Cursor, then the UncoveringGraphicalWindow uncovers the GUIElement

consequent

(=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3))))	Merge.kif 9317-9324	If a hole is a hole in a self connected object and the hole is a hole in another self connected object, then there exists a third self connected object such that the third self connected object is a proper part of the intersection of the parts of the self connected object and the other self connected object and the hole is a hole in the third self connected object
(=> (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 1950-1963	If a GUIElement is an instance of GUIElement and another GUIElement is an instance of GUIElement and the GUIElement is not an instance of InterfaceWindow and the other GUIElement is not an instance of InterfaceWindow and the GUIElement is displayed on a ComputerScreen and the other GUIElement is displayed on the ComputerScreen and the GUIElement has state GUE_ActiveState and the other GUIElement has state GUE_ActiveState, then the GUIElement is a proper part of the other GUIElement or the other GUIElement is a proper part of the GUIElement or the GUIElement is equal to the other GUIElement
(=> (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 16266-16279	If a process is an instance of sharing and an agent is an agent of the process and the process ends up at an entity and another entity is a patient of the process, then there exist another process and an object such that the other process is an instance of giving and the other process is a subprocess of the process and the object is a patient of the other process and the object is a proper part of the other entity and the agent is an agent of the other process and the other process ends up at the entity
(=> (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 1935-1944	If a GUIElement is an instance of InterfaceWindow and another GUIElement is an instance of GUIElement and the GUIElement is displayed on a ComputerScreen and the other GUIElement is displayed on the ComputerScreen and the other GUIElement is not an instance of InterfaceWindow and the GUIElement has state GUE_ActiveState and the other GUIElement has state GUE_ActiveState, then the other GUIElement is a proper part of the GUIElement
(=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT))))	Geography.kif 1867-1873	If a length measure is an elevation of an object, then there exists another object such that the other object is a proper part of sea level and the object is vertical to the other object and the distance between the object and the other object is the length measure
(=> (equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (properPart ?PART ?OBJ3) (and (properPart ?PART ?OBJ1) (not (properPart ?PART ?OBJ2))))))	Merge.kif 9264-9273	If an object is equal to the difference between the parts of another object and a third object, then for all a fourth object the fourth object is a proper part of the object if and only if the fourth object is a proper part of the other object and the fourth object is not a proper part of the third object
(=> (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 1589-1597	If a physical is an instance of bullet cartridge, then the physical purpose there exist an entity and another entity such that the entity is an instance of bullet and the other entity is an instance of casing and the entity is a proper part of the physical and the other entity is a proper part of the physical
(=> (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 1602-1612	If an agent is an instance of casing, then there exist an entity, an object and a process such that the entity is an instance of bullet cartridge and the object is an instance of bullet and the process is an instance of keeping and the agent is a proper part of the entity and the object is a proper part of the entity and the agent is an agent of the process and the object is a patient of the process
(=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP))))	Transportation.kif 2541-2546	If an object is an instance of ship cabin, then there exists an entity such that the object is an instance of ship cabin and the object is a proper part of the entity
(=> (instance ?GULF Gulf) (exists (?WATER) (and (instance ?WATER SaltWaterArea) (properPart ?GULF ?WATER))))	Geography.kif 4831-4836	If an object is an instance of gulf, then there exists an entity such that the entity is an instance of salt water area and the object is a proper part of the entity
(=> (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 16167-16178	If a process is an instance of hanging, then there exist an object, another object and an agent such that the agent is an instance of human and the object is an instance of string and the other object is an instance of neck and the agent experiences the process and the other object is a proper part of the agent and the object is an instrument for the process and the object meets the other object holds during the time of existence of the process
(=> (instance ?HOLE1 Hole) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1)))	Merge.kif 9350-9353	If an entity is an instance of hole, then there exists an object such that the object is a proper part of the entity
(=> (instance ?HOTEL HotelBuilding) (exists (?ROOM) (and (instance ?ROOM HotelRoom) (properPart ?ROOM ?HOTEL))))	Hotel.kif 77-82	If an entity is an instance of hotel, then there exists an object such that the object is an instance of hotel room and the object is a proper part of the entity
(=> (instance ?OBJ1 CellEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Lipoprotein))))	VirusProteinAndCellPart.kif 506-511	If an entity is an instance of cell envelope, then there exists an object such that the object is a proper part of the entity and the object is an instance of lipoprotein
(=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL))))	Mid-level-ontology.kif 9297-9302	If an object is an instance of cell part, then there exists an entity such that the entity is an instance of cell and the object is a proper part of the entity
(=> (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 601-612	If an entity is an instance of enveloped virus, then there exists an object such that the object is a proper part of the entity and the object is an instance of viral core and there doesn't exist another object such that the other object is an instance of viral core and the other object is a proper part of the entity and the other object is not equal to the object
(=> (instance ?OBJ1 LipidBilayer) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 LipidMembraneMolecule))))	VirusProteinAndCellPart.kif 449-454	If an entity is an instance of lipid bilayer, then there exists an object such that the object is a proper part of the entity and the object is an instance of lipid membrane molecule
(=> (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 436-447	If an entity is an instance of plasma membrane, then there exists an object such that the object is a proper part of the entity and the object is an instance of lipid bilayer and there doesn't exist another object such that the other object is an instance of lipid bilayer and the other object is a proper part of the entity and the other object is not equal to the object
(=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Protein))))	VirusProteinAndCellPart.kif 303-308	If an entity is an instance of plasma membrane, then there exists an object such that the object is a proper part of the entity and the object is an instance of protein
(=> (instance ?OBJ1 Virus) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 VirusPart))))	VirusProteinAndCellPart.kif 561-566	If an entity is an instance of virus, then there exists an object such that the object is a proper part of the entity and the object is an instance of virus part
(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade))))	VirusProteinAndCellPart.kif 542-547	If an entity is an instance of virus core envelope, then there exists an object such that the object is a proper part of the entity and the object is an instance of palisade
(=> (instance ?OBJ1 VirusPart) (exists (?OBJ2) (and (properPart ?OBJ1 ?OBJ2) (instance ?OBJ2 Virus))))	VirusProteinAndCellPart.kif 554-559	If an object is an instance of virus part, then there exists an entity such that the object is a proper part of the entity and the entity is an instance of virus
(=> (instance ?OCEAN Ocean) (properPart ?OCEAN WorldOcean))	Geography.kif 4286-4288	If an object is an instance of ocean, then the object is a proper part of world ocean
(=> (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 (?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 3460-3486	If a physical is an instance of protective eyewear, then the physical purpose if the physicalRSON is an instance of human and the physicalRSON は % を wears %n{ない}, then there exist another entity, a third entity and a fourth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by a fifth entity and the other entity prevents the occurrence of the fourth entity
(=> (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 3488-3501	If a physical is an instance of protective eyewear, then the physical purpose there exist the physicalRSON, another entity,, , a third entity and a fourth entity such that the physicalRSON is an instance of animal and the other entity is an instance of face and the third entity is an instance of eye and the third entity is a proper part of the other entity and the other entity is a proper part of the physicalRSON and the physicalRSON は % を wears %n{ない} and the fourth entity is an instance of covering and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity

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

The cell part of an entity and a kind of cell part is a proper part of the entity

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

KB Term:			Term intersection

English Word: