part |
appearance as argument number 1 |
(documentation part ChineseLanguage "这是基本的逻辑分体关系。其他所有的逻辑分体关系都是根据它来下 定义的。 (part ?PART ?WHOLE) 的意思就是 Object ?PART 是 Object ?WHOLE 的一部分。 要注意 因为 part 是一个 ReflexiveRelation, 所以每个 Object 都是它自己本身的一部分。") | chinese_format.kif 1570-1572 | |
(documentation part EnglishLanguage "The basic mereological relation. All other mereological relations are defined in terms of this one. (part ?PART ?WHOLE) simply means that the Object ?PART is part of the Object ?WHOLE. Note that, since part is a ReflexiveRelation, every Object is a part of itself.") | Merge.kif 920-924 | |
(documentation part JapaneseLanguage "基本的な数学的関係。 他のすべての単なる関係は、この関係 で定義される。 (part ?PART ?WHOLE) とは、単にObject ?PARTは Object ?WHOLEの一部、という意味である。 注:part が ReflexiveRelation のため、すべての Object はそれ自体の一部である。") | japanese_format.kif 143-146 | |
(documentation part SpanishLanguage "La relación básica de mereología. Todas otras relaciones mereológicas son definidas en términos de ella. (part ?PART ?WHOLE) simplemente quiere decir el Object ?PART es parte del Object ?WHOLE. Note que, porque part es una ReflexiveRelation, cada Object es parte de consigo misma.") | spanish_format.kif 168-171 | |
(domain part 1 Object) | Merge.kif 917-917 | O argumento numero 1 de part e' uma instancia de Objeto |
(domain part 2 Object) | Merge.kif 918-918 | O argumento numero 2 de part e' uma instancia de Objeto |
(instance part BinaryPredicate) | Merge.kif 916-916 | part e' uma instancia de Predicado Binario |
(instance part PartialOrderingRelation) | Merge.kif 915-915 | part e' uma instancia de Relacao parcialmente Ordenada |
(instance part SpatialRelation) | Merge.kif 914-914 | part e' uma instancia de Relacao Espacial |
appearance as argument number 2 |
(disjointRelation contains part) | Merge.kif 1018-1018 | contains e part sao disjuntos |
(format ChineseLanguage part "%1 %n 是 %2 的 part") | chinese_format.kif 161-161 | |
(format EnglishLanguage part "%1 is %n a part of %2") | english_format.kif 162-162 | |
(format FrenchLanguage part "%1 est %n une partie de %2") | french_format.kif 100-100 | |
(format ItalianLanguage part "%1 è %n una parte di %2") | relations-it.txt 210-210 | |
(format JapaneseLanguage part "%1 は %2 の part では %n") | japanese_format.kif 1929-1929 | |
(format PortugueseLanguage part "%1 e' %n uma &parte de %2") | portuguese_format.kif 52-52 | |
(format cz part "%1 %p{je} %n{nen�} ��st� %2") | relations-cz.txt 64-64 | |
(format de part "%1 ist ein teil von %2 %n{nicht}") | relations-de.txt 197-197 | |
(format hi part "%1 %2 kaa bhaaga %n hai") | relations-hindi.txt 248-248 | |
(format ro part "%1 %n{nu} este o part%t{parte} a lui %2") | relations-ro.kif 119-119 | |
(format sv part "%1 är %n{inte} en del av %2") | relations-sv.txt 101-101 | |
(format tg part "%1 %n ay ang bahagi ng %2") | relations-tg.txt 402-402 | |
(relatedInternalConcept initialPart part) | Mid-level-ontology.kif 23698-23698 | initialPart e' relacionado internamente por SUMO a part |
(relatedInternalConcept initiallyContainsPart part) | Mid-level-ontology.kif 23725-23725 | initiallyContainsPart e' relacionado internamente por SUMO a part |
(relatedInternalConcept partTypes part) | Mid-level-ontology.kif 23751-23751 | partTypes e' relacionado internamente por SUMO a part |
(relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 23624-23624 | typicalPart e' relacionado internamente por SUMO a part |
(relatedInternalConcept typicallyContainsPart part) | Mid-level-ontology.kif 23661-23661 | typicallyContainsPart e' relacionado internamente por SUMO a part |
(subrelation component part) | Merge.kif 965-965 | component e' uma sub-relacao de part |
(subrelation geneticSubstrateOfVirus part) | VirusProteinAndCellPart.kif 34-34 | geneticSubstrateOfVirus e' uma sub-relacao de part |
(subrelation half part) | Mid-level-ontology.kif 13172-13172 | half e' uma sub-relacao de part |
(subrelation inString part) | Mid-level-ontology.kif 24376-24376 | inString e' uma sub-relacao de part |
(subrelation interiorPart part) | Merge.kif 9692-9692 | interiorPart e' uma sub-relacao de part |
(subrelation most part) | Mid-level-ontology.kif 13215-13215 | most e' uma sub-relacao de part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
appearance as argument number 0 |
(part (ViralPartFn ?VIR ?PARTTYPE) ?VIR) |
VirusProteinAndCellPart.kif 1163-1163 | ViralPartFn Virus and VirusPart e' uma &parte de Virus |
(part AtlantaGeorgia Georgia) | CountriesAndRegions.kif 711-711 | AtlantaGeorgia e' uma &parte de Georgia |
(part Australia Oceania) | CountriesAndRegions.kif 662-662 | Australia e' uma &parte de Oceania |
(part BaltimoreMaryland Maryland) | CountriesAndRegions.kif 714-714 | BaltimoreMaryland e' uma &parte de Maryland |
(part BostonMassachusetts Massachusetts) | CountriesAndRegions.kif 724-724 | BostonMassachusetts e' uma &parte de Massachusetts |
(part ChicagoUnitedStates Illinois) | CountriesAndRegions.kif 1611-1611 | ChicagoUnitedStates e' uma &parte de Illinois |
(part ClevelandOhio Ohio) | CountriesAndRegions.kif 854-854 | ClevelandOhio e' uma &parte de Ohio |
(part Connecticut NewEngland) | CountriesAndRegions.kif 915-915 | Connecticut e' uma &parte de NewEngland |
(part DallasTexas Texas) | CountriesAndRegions.kif 851-851 | DallasTexas e' uma &parte de Texas |
(part DetroitMichigan Michigan) | CountriesAndRegions.kif 841-841 | DetroitMichigan e' uma &parte de Michigan |
(part FargoNorthDakota NorthDakota) | CountriesAndRegions.kif 835-835 | FargoNorthDakota e' uma &parte de NorthDakota |
(part Germany Europe) | CountriesAndRegions.kif 1242-1242 | Germany e' uma &parte de Europe |
(part Greece Europe) | CountriesAndRegions.kif 1245-1245 | Greece e' uma &parte de Europe |
(part HoustonTexas Texas) | CountriesAndRegions.kif 828-828 | HoustonTexas e' uma &parte de Texas |
(part HudsonRiver NewYorkState) | CountriesAndRegions.kif 832-832 | HudsonRiver e' uma &parte de NewYorkState |
(part KansasCityMissouri Missouri) | CountriesAndRegions.kif 728-728 | KansasCityMissouri e' uma &parte de Missouri |
(part KoreanPeninsula Asia) | CountriesAndRegions.kif 820-820 | KoreanPeninsula e' uma &parte de Asia |
(part LongIsland NewYorkState) | CountriesAndRegions.kif 805-805 | LongIsland e' uma &parte de NewYorkState |
(part LosAngelesCalifornia California) | CountriesAndRegions.kif 810-810 | LosAngelesCalifornia e' uma &parte de California |
(part ManchesterNewHampshire NewHampshire) | CountriesAndRegions.kif 731-731 | ManchesterNewHampshire e' uma &parte de NewHampshire |
(part Massachusetts NewEngland) | CountriesAndRegions.kif 989-989 | Massachusetts e' uma &parte de NewEngland |
(part MemphisTennessee Tennessee) | CountriesAndRegions.kif 733-733 | MemphisTennessee e' uma &parte de Tennessee |
(part MinneapolisMinnesota Minnesota) | CountriesAndRegions.kif 737-737 | MinneapolisMinnesota e' uma &parte de Minnesota |
(part MississippiRiver UnitedStates) | CountriesAndRegions.kif 740-740 | MississippiRiver e' uma &parte de UnitedStates |
(part MontrealCanada Canada) | CountriesAndRegions.kif 746-746 | MontrealCanada e' uma &parte de Canada |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |