| 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 940-943 | |
| (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 937-937 | Le nombre 1 argument de properPart est une instance de objet |
| (domain properPart 2 Object) | Merge.kif 938-938 | Le nombre 2 argument de properPart est une instance de objet |
| (instance properPart AsymmetricRelation) | Merge.kif 934-934 | properPart est une instance de relation asym�trique |
| (instance properPart TransitiveRelation) | Merge.kif 935-935 | properPart est une instance de relation transitive |
| (subrelation properPart part) | Merge.kif 936-936 | properPart est une sous-relation de 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 16259-16259 | engineeringSubcomponent est une sous-relation de properPart |
| (subrelation geographicSubregion properPart) | Merge.kif 14198-14198 | geographicSubregion est une sous-relation de properPart |
| (subrelation physicalEnd properPart) | Merge.kif 18117-18117 | physicalEnd est une sous-relation de properPart |
| (subrelation streamOutfall properPart) | Geography.kif 5955-5955 | streamOutfall est une sous-relation de properPart |
| (termFormat ChineseLanguage properPart "真正的部分") | chinese_format.kif 176-176 | streamOutfall est une sous-relation de properPart |
| (termFormat ChineseLanguage properPart "适当的部分") | domainEnglishFormat.kif 47800-47800 | streamOutfall est une sous-relation de properPart |
| (termFormat ChineseTraditionalLanguage properPart "適當的部分") | domainEnglishFormat.kif 47799-47799 | streamOutfall est une sous-relation de properPart |
| (termFormat EnglishLanguage properPart "proper part") | domainEnglishFormat.kif 47798-47798 | streamOutfall est une sous-relation de properPart |
| (termFormat de properPart "korrektesTeil") | terms-de.txt 69-69 | streamOutfall est une sous-relation de properPart |
| antecedent |
|
|
| consequent |
|
|
| (=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3)))) |
Merge.kif 10023-10030 |
|
| (=> (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 20135-20148 |
|
| (=> (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 952-957 | |
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 2039-2045 | |
| (=> (equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (properPart ?PART ?OBJ3) (and (properPart ?PART ?OBJ1) (not (properPart ?PART ?OBJ2)))))) |
Merge.kif 9975-9984 | |
| (=> (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 1265-1273 | |
| (=> (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 1278-1288 |
|
| (=> (instance ?COMPARTMENT ShipCabin) (exists (?SHIP) (and (instance ?COMPARTMENT ShipCabin) (properPart ?COMPARTMENT ?SHIP)))) |
Transportation.kif 2769-2774 | |
| (=> (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 1960-1969 | |
| (=> (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 1943-1951 | |
| (=> (instance ?GULF Gulf) (exists (?WATER) (and (instance ?WATER SaltWaterArea) (properPart ?GULF ?WATER)))) |
Geography.kif 5359-5364 | |
| (=> (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 20048-20059 |
|
| (=> (instance ?HOLE1 HoleRegion) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1))) |
Merge.kif 10056-10059 | |
| (=> (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 1098-1103 | |
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 12213-12218 | |
| (=> (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 | |
| (=> (instance ?OBJ1 LipidBilayer) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 LipidMembraneMolecule)))) |
VirusProteinAndCellPart.kif 575-580 | |
| (=> (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 | |
| (=> (instance ?OBJ1 PlasmaMembrane) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Protein)))) |
VirusProteinAndCellPart.kif 361-366 | |
| (=> (instance ?OBJ1 Virus) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 VirusPart)))) |
VirusProteinAndCellPart.kif 1153-1158 | |
| (=> (instance ?OBJ1 VirusCoreEnvelope) (exists (?OBJ2) (and (properPart ?OBJ2 ?OBJ1) (instance ?OBJ2 Palisade)))) |
VirusProteinAndCellPart.kif 1134-1139 | |
| (=> (instance ?OBJ1 VirusPart) (exists (?OBJ2) (and (properPart ?OBJ1 ?OBJ2) (instance ?OBJ2 Virus)))) |
VirusProteinAndCellPart.kif 1146-1151 | |
| 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 | CellPartFn objet and CellPart est une partie de objet |
|
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