properPart |
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 | properPart の数値 1 引数は オブジェクト の instance では |
(domain properPart 2 Object) | Merge.kif 923-923 | properPart の数値 2 引数は オブジェクト の instance では |
(instance properPart AsymmetricRelation) | Merge.kif 919-919 | properPart は 非対称関係 の instance では |
(instance properPart TransitiveRelation) | Merge.kif 920-920 | properPart は 推移関係 の instance では |
(subrelation properPart part) | Merge.kif 921-921 | properPart は part の subrelation では |
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 | engineeringSubcomponent は properPart の subrelation では |
(subrelation geographicSubregion properPart) | Merge.kif 14183-14183 | geographicSubregion は properPart の subrelation では |
(subrelation physicalEnd properPart) | Merge.kif 18102-18102 | physicalEnd は properPart の subrelation では |
(subrelation streamOutfall properPart) | Geography.kif 5818-5818 | streamOutfall は properPart の subrelation では |
(termFormat ChineseLanguage properPart "真正的部分") | chinese_format.kif 176-176 | streamOutfall は properPart の subrelation では |
(termFormat ChineseLanguage properPart "适当的部分") | domainEnglishFormat.kif 47800-47800 | streamOutfall は properPart の subrelation では |
(termFormat ChineseTraditionalLanguage properPart "適當的部分") | domainEnglishFormat.kif 47799-47799 | streamOutfall は properPart の subrelation では |
(termFormat EnglishLanguage properPart "proper part") | domainEnglishFormat.kif 47798-47798 | streamOutfall は properPart の subrelation では |
(termFormat de properPart "korrektesTeil") | terms-de.txt 69-69 | streamOutfall は properPart の subrelation では |
antecedent |
![]() |
consequent |
![]() |
(=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3)))) |
Merge.kif 10008-10015 |
|
(=> (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 937-942 | |
(=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 1902-1908 | |
(=> (equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (properPart ?PART ?OBJ3) (and (properPart ?PART ?OBJ1) (not (properPart ?PART ?OBJ2)))))) |
Merge.kif 9960-9969 | |
(=> (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 5234-5239 | |
(=> (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 10041-10044 | |
(=> (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 オブジェクト and CellPart は オブジェクト の proper part では |
![]() |
![]() |