| 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 | |
| (instance properPart TransitiveRelation) | Merge.kif 885-885 | |
| (subrelation properPart part) | Merge.kif 886-886 |
| 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 | |
| (subrelation geographicSubregion properPart) | Merge.kif 13044-13044 | |
| (subrelation physicalEnd properPart) | Mid-level-ontology.kif 1646-1646 | |
| (subrelation streamOutfall properPart) | Geography.kif 5376-5376 | |
| (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 | |
| (=> (and (fills ?OBJ ?HOLE1) (properPart ?HOLE2 ?HOLE1)) (completelyFills ?OBJ ?HOLE2)) |
Merge.kif 9493-9497 | |
| (=> (and (fills ?OBJ1 ?HOLE) (properPart ?OBJ2 ?OBJ1)) (properlyFills ?OBJ2 ?HOLE)) |
Merge.kif 9499-9503 | |
| (=> (and (instance ?GUIE1 GUIElement) (hasGUEState ?GUIE1 GUE_ActiveState) (properPart ?GUIE1 ?GUIE2) (instance ?GUIE2 GUIElement)) (hasGUEState ?GUIE2 GUE_ActiveState)) |
ComputerInput.kif 1924-1930 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (and (instance ?HOLE1 Hole) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ))))) |
Merge.kif 9371-9379 | |
| (=> (and (instance ?UNCOVER UncoveringGraphicalWindow) (patient ?UNCOVER ?WINDOW) (instance ?WINDOW InterfaceWindow) (properPart ?CURSOR ?WINDOW) (instance ?CURSOR Cursor)) (guiElementUncovered ?UNCOVER ?WINDOW)) |
ComputerInput.kif 2438-2445 |
| consequent |
|
|
| (=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3)))) |
Merge.kif 9317-9324 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 1867-1873 | |
| (=> (equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (properPart ?PART ?OBJ3) (and (properPart ?PART ?OBJ1) (not (properPart ?PART ?OBJ2)))))) |
Merge.kif 9264-9273 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP)))) |
Transportation.kif 2541-2546 | |
| (=> (instance ?GULF Gulf) (exists (?WATER) (and (instance ?WATER SaltWaterArea) (properPart ?GULF ?WATER)))) |
Geography.kif 4831-4836 | |
| (=> (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 | |
| (=> (instance ?HOLE1 Hole) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1))) |
Merge.kif 9350-9353 | |
| (=> (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 506-511 | |
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 9297-9302 | |
| (=> (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 | |
| (=> (instance ?OBJ1 LipidBilayer) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 LipidMembraneMolecule)))) |
VirusProteinAndCellPart.kif 449-454 | |
| (=> (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 | |
| (=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Protein)))) |
VirusProteinAndCellPart.kif 303-308 | |
| (=> (instance ?OBJ1 Virus) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 VirusPart)))) |
VirusProteinAndCellPart.kif 561-566 | |
| (=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade)))) |
VirusProteinAndCellPart.kif 542-547 | |
| (=> (instance ?OBJ1 VirusPart) (exists (?OBJ2) (and (properPart ?OBJ1 ?OBJ2) (instance ?OBJ2 Virus)))) |
VirusProteinAndCellPart.kif 554-559 | |
| (=> (instance ?OCEAN Ocean) (properPart ?OCEAN WorldOcean)) |
Geography.kif 4286-4288 | |
| (=> (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 | |
| (=> (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 | |
| 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 |
|
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