properPart - Sigma 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 925-928
(documentation properPart JapaneseLanguage "(properPart ?OBJ1 ?OBJ2) とは、?OBJ1が?OBJ2 自体以外、?OBJ2の一部である。これは、TransitiveRelation と AsymmetricRelation である。 (したがって、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
(domain properPart 1 Object)	Merge.kif 922-922	The number 1 argument of proper part is an instance of object
(domain properPart 2 Object)	Merge.kif 923-923	The number 2 argument of proper part is an instance of object
(instance properPart AsymmetricRelation)	Merge.kif 919-919	proper part is an instance of asymmetric relation
(instance properPart TransitiveRelation)	Merge.kif 920-920	proper part is an instance of transitive relation
(subrelation properPart part)	Merge.kif 921-921	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 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 16244-16244	engineering subcomponent is a subrelation of proper part
(subrelation geographicSubregion properPart)	Merge.kif 14183-14183	geographic subregion is a subrelation of proper part
(subrelation physicalEnd properPart)	Merge.kif 18102-18102	physical end is a subrelation of proper part
(subrelation streamOutfall properPart)	Geography.kif 5755-5755	stream outfall is a subrelation of proper part
(termFormat ChineseLanguage properPart "真正的部分")	chinese_format.kif 176-176	stream outfall is a subrelation of proper part
(termFormat ChineseLanguage properPart "适当的部分")	domainEnglishFormat.kif 47829-47829	stream outfall is a subrelation of proper part
(termFormat ChineseTraditionalLanguage properPart "適當的部分")	domainEnglishFormat.kif 47828-47828	stream outfall is a subrelation of proper part
(termFormat EnglishLanguage properPart "proper part")	domainEnglishFormat.kif 47827-47827	stream outfall is a subrelation of proper part
(termFormat de properPart "korrektesTeil")	terms-de.txt 69-69	stream outfall is a subrelation of proper part

antecedent

(=> (and (fills ?OBJ ?HOLE1) (properPart ?HOLE2 ?HOLE1)) (completelyFills ?OBJ ?HOLE2))	Merge.kif 10177-10181	If an object fills a hole and another hole is a proper part of the hole, then the object completely fills the other hole
(=> (and (fills ?OBJ1 ?HOLE) (properPart ?OBJ2 ?OBJ1)) (properlyFills ?OBJ2 ?HOLE))	Merge.kif 10183-10187	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 1909-1915	If a GUI element is an instance of GUI element and the GUI element has state GUE active state and the GUI element is a proper part of another GUI element and the other GUI element is an instance of GUI element, then the other GUI element has state GUE active 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 2082-2088	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE covered state, then the entity_SM has state GUE covered 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 2001-2007	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE non visible state, then the entity_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 2029-2035	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE offscreen state, then the entity_SM has state GUE offscreen 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 1977-1983	If an entity_SM is an instance of GUI element and the entity_BIG is an instance of GUI element and the entity_SM is a proper part of the entity_BIG and the entity_BIG has state GUE passive state, then the entity_SM has state GUE passive state
(=> (and (instance ?HOLE1 HoleRegion) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ)))))	Merge.kif 10062-10070	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 2423-2430	If an uncovering graphical window is an instance of uncovering graphical window and a GUI element is a patient of the uncovering graphical window and the GUI element is an instance of interface window and an object is a proper part of the GUI element and the object is an instance of cursor, then the uncovering graphical window uncovers the GUI element
(=> (properPart ?OBJ1 ?OBJ2) (and (part ?OBJ1 ?OBJ2) (not (part ?OBJ2 ?OBJ1))))	Merge.kif 930-935	If an object is a proper part of another object, then the object is a part of the other object and the other object is not a part of the object

consequent

(=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3))))	Merge.kif 10008-10015	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 1935-1948	If a GUI element is an instance of GUI element and another GUI element is an instance of GUI element and the GUI element is not an instance of interface window and the other GUI element is not an instance of interface window and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the GUI element is a proper part of the other GUI element or the other GUI element is a proper part of the GUI element or the GUI element is equal to the other GUI element
(=> (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 20152-20165	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 an object is a patient of the process, then there exist another process and another object such that the other process is an instance of giving and the other process is a subprocess of the process and the other object is a patient of the other process and the other object is a proper part of the object 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 1920-1929	If a GUI element is an instance of interface window and another GUI element is an instance of GUI element and the GUI element is displayed on a computer screen and the other GUI element is displayed on the computer screen and the other GUI element is not an instance of interface window and the GUI element has state GUE active state and the other GUI element has state GUE active state, then the other GUI element is a proper part of the GUI element
(=> (and (part ?OBJ1 ?OBJ2) (not (part ?OBJ2 ?OBJ1))) (properPart ?OBJ1 ?OBJ2))	Merge.kif 937-942	If an object is a part of another object and the other object is not a part of the object, then the object is a proper part of the other object
(=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT))))	Geography.kif 1902-1908	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 9960-9969	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 1264-1272	If a physical is an instance of bullet cartridge, then the physical has the 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 1277-1287	If an agent is an instance of casing, then there exist an object, another object and a process such that the object is an instance of bullet cartridge and the other object is an instance of bullet and the process is an instance of keeping and the agent is a proper part of the object and the other object is a proper part of the object and the agent is an agent of the process and the other object is a patient of the process
(=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP))))	Transportation.kif 2769-2774	If an object is an instance of ship cabin, then there exists another object such that the object is an instance of ship cabin and the object is a proper part of the other object
(=> (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 1959-1968	If an object is an instance of rifle, then there exist another object and a third object such that the other object is an instance of gun bore and the other object is a proper part of the object and the third object is a superficial part of the other object and the third object is inside to the other object and smooth is not an attribute of the third object
(=> (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 1942-1950	If an object is an instance of shot gun, then there exist another object and a third object such that the other object is an instance of gun bore and the other object is a proper part of the object and the third object is a superficial part of the other object and the third object is inside to the other object and smooth is an attribute of the third object
(=> (instance ?GULF Gulf) (exists (?WATER) (and (instance ?WATER SaltWaterArea) (properPart ?GULF ?WATER))))	Geography.kif 5208-5213	If an object is an instance of gulf, then there exists another object such that the other object is an instance of salt water area and the object is a proper part of the other object
(=> (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 20065-20076	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 HoleRegion) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1)))	Merge.kif 10041-10044	If an object is an instance of hole, then there exists another object such that the other object is a proper part of the object
(=> (instance ?HOTEL HotelBuilding) (exists (?ROOM) (and (instance ?ROOM HotelRoom) (properPart ?ROOM ?HOTEL))))	Hotel.kif 82-87	If an object is an instance of hotel, then there exists another object such that the other object is an instance of hotel room and the other object is a proper part of the object
(=> (instance ?OBJ1 CellEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Lipoprotein))))	VirusProteinAndCellPart.kif 1098-1103	If an object is an instance of cell envelope, then there exists another object such that the other object is a proper part of the object and the other object is an instance of lipoprotein
(=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL))))	Mid-level-ontology.kif 12231-12236	If an object is an instance of cell part, then there exists another object such that the other object is an instance of cell and the object is a proper part of the other object
(=> (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 1193-1204	If an object is an instance of enveloped virus, then there exists another object such that the other object is a proper part of the object and the other object is an instance of viral core and there doesn't exist a third object such that the third object is an instance of viral core and the third object is a proper part of the object and the third object is not equal to the other object
(=> (instance ?OBJ1 LipidBilayer) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 LipidMembraneMolecule))))	VirusProteinAndCellPart.kif 575-580	If an object is an instance of lipid bilayer, then there exists another object such that the other object is a proper part of the object and the other 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 562-573	If an object is an instance of plasma membrane, then there exists another object such that the other object is a proper part of the object and the other object is an instance of lipid bilayer and there doesn't exist a third object such that the third object is an instance of lipid bilayer and the third object is a proper part of the object and the third object is not equal to the other object
(=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Protein))))	VirusProteinAndCellPart.kif 361-366	If an object is an instance of plasma membrane, then there exists another object such that the other object is a proper part of the object and the other object is an instance of protein
(=> (instance ?OBJ1 Virus) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 VirusPart))))	VirusProteinAndCellPart.kif 1153-1158	If an object is an instance of virus, then there exists another object such that the other object is a proper part of the object and the other object is an instance of virus part
(=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade))))	VirusProteinAndCellPart.kif 1134-1139	If an object is an instance of virus core envelope, then there exists another object such that the other object is a proper part of the object and the other object is an instance of palisade
(=> (instance ?OBJ1 VirusPart) (exists (?OBJ2) (and (properPart ?OBJ1 ?OBJ2) (instance ?OBJ2 Virus))))	VirusProteinAndCellPart.kif 1146-1151	If an object is an instance of virus part, then there exists another object such that the object is a proper part of the other object and the other object is an instance of virus

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

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

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

KB Term:			Term intersection

English Word: