disjointDecomposition
|
|
Sigma KEE - disjointDecomposition
appearance as argument number 1
|
|
appearance as argument number 2
|
|
(format ChineseLanguage disjointDecomposition "%1 %n 分拆成不相交的 %*{2-}[,]") |
chinese_format.kif 287-287 |
|
(format EnglishLanguage disjointDecomposition "%1 is %n disjointly decomposed into %*{2-}[,]") |
english_format.kif 292-292 |
|
(format FrenchLanguage disjointDecomposition "%1 est %n disjointement decompos� en %*{2-}[,]") |
french_format.kif 166-166 |
|
(format ItalianLanguage disjointDecomposition "%1 è %n scomposto disgiuntivamente in %*{2-}[,]") |
relations-it.txt 76-76 |
|
(format JapaneseLanguage disjointDecomposition "%1 は %*{2-}[,] に disjointly decomposed %n") |
japanese_format.kif 1986-1986 |
|
(format PortugueseLanguage disjointDecomposition "%1 e' %n disjuntamente decomponivel em %*{2-}[,]") |
portuguese_format.kif 118-118 |
|
(format cb disjointDecomposition "%1 %n ay magtunga sa %*{2-}[,]") |
relations-cb.txt 110-110 |
|
(format cz disjointDecomposition "%1 %p{je} %n{nen�} disjointly decomposed into %*{2-}[,]") |
relations-cz.txt 186-186 |
|
(format de disjointDecomposition "%1 wird zusammenhanglos auf %*{2-}[,] %n{nicht} disjunkt") |
relations-de.txt 373-373 |
|
(format hi disjointDecomposition "%1 asanyukta ruupa se %*{2-}[,] men viyojita %n hai") |
relations-hindi.txt 116-116 |
|
(format ro disjointDecomposition "%1 %n{nu} decomposed%t{se descompune} disjointly%t{disjunct} în %*{2-}[,]") |
relations-ro.kif 186-186 |
|
(format sv disjointDecomposition "%1 är %n{inte} disjunkt nedbrutet till %*{2-}[,]") |
relations-sv.txt 173-173 |
|
(format tg disjointDecomposition "%1 %n ay maghati sa %*{2-}[,]") |
relations-tg.txt 168-168 |
|
(termFormat ChineseLanguage disjointDecomposition "不相交分解") |
domainEnglishFormat.kif 19854-19854 |
|
(termFormat ChineseLanguage disjointDecomposition "不相交的分拆") |
chinese_format.kif 288-288 |
|
(termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") |
domainEnglishFormat.kif 19853-19853 |
|
(termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") |
domainEnglishFormat.kif 19852-19852 |
|
(termFormat de disjointDecomposition "disjunkteAufspaltung") |
terms-de.txt 116-116 |
|
(termFormat tg disjointDecomposition "pagkakahati") |
relations-tg.txt 169-169 |
|
antecedent
|
|
consequent
|
|
appearance as argument number 0
|
|
(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) |
Merge.kif 1670-1670 |
抽象的な は 量, 属性, 関係, 命題, + リスト に disjointly decomposed %n |
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) |
Merge.kif 14525-14525 |
節足動物 は クモ形類動物, 多足類の(動物), 昆虫, + 甲殻類 に disjointly decomposed %n |
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) |
Merge.kif 14547-14547 |
冷血脊椎動物 は amphibian, 魚, + 爬虫類 に disjointly decomposed %n |
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) |
Military.kif 283-284 |
CommissionedOfficerRank は FlagOfficerRank, FieldGradeOfficerRank, + CompanyGradeRank に disjointly decomposed %n |
(disjointDecomposition ComputerStatus HostReady HostDown Booting) |
ComputingBrands.kif 3215-3215 |
ComputerStatus は HostReady, HostDown, + 起動 に disjointly decomposed %n |
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) |
engineering.kif 180-180 |
DifferentialEquation は FirstOrderDifferentialEquation + HigherOrderDifferentialEquation に disjointly decomposed %n |
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) |
engineering.kif 190-190 |
DifferentialEquation は OrdinaryDifferentialEquation + PartialDifferentialEquation に disjointly decomposed %n |
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) |
Military.kif 269-269 |
EnlistedSoldierRank は PrivateRank + NonCommissionedOfficerRank に disjointly decomposed %n |
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) |
Mid-level-ontology.kif 12944-12944 |
表現 は ExpressingApproval + ExpressingDisapproval に disjointly decomposed %n |
(disjointDecomposition GameArtifact GameBoard GamePiece) |
Mid-level-ontology.kif 16977-16977 |
GameArtifact は GameBoard + GamePiece に disjointly decomposed %n |
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) |
Merge.kif 14504-14504 |
無脊椎動物 は 蠕虫, 軟体動物, + 節足動物 に disjointly decomposed %n |
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) |
QoSontology.kif 37-37 |
LAN は BusNetwork, StarNetwork, + RingNetwork に disjointly decomposed %n |
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) |
Merge.kif 1406-1406 |
言語 は 動物言語, 人間の言語, + コンピューター言語 に disjointly decomposed %n |
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) |
Merge.kif 14581-14581 |
哺乳動物 は 水生哺乳類[動物], 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed %n |
(disjointDecomposition NSAID Aspirin Ibuprofen Acetaminophen) |
Medicine.kif 3505-3505 |
NSAID は Aspirin, Ibuprofen, + Acetaminophen に disjointly decomposed %n |
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) |
Military.kif 306-306 |
NonCommissionedOfficerRank は JuniorNCORank + SeniorNCORank に disjointly decomposed %n |
(disjointDecomposition NonFloweringPlant Alga Fern Moss) |
Merge.kif 14410-14410 |
隠花植物 は 藻, シダ, + コケ に disjointly decomposed %n |
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) |
Merge.kif 14682-14682 |
栄養素[栄養物] は たんぱく質, 炭水化物, + ビタミン に disjointly decomposed %n |
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) |
Merge.kif 15302-15302 |
句 は 動詞句, 名詞句, + 前置詞句 に disjointly decomposed %n |
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) |
Economy.kif 2087-2087 |
PowerGeneration は FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGeneration に disjointly decomposed %n |
(disjointDecomposition Primate Ape Monkey Hominid) |
Merge.kif 14627-14627 |
霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed %n |
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) |
Merge.kif 2160-2161 |
関係 は 2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係 に disjointly decomposed %n |
(disjointDecomposition Residence PermanentResidence TemporaryResidence) |
Merge.kif 15777-15777 |
Residence は PermanentResidence + TemporaryResidence に disjointly decomposed %n |
(disjointDecomposition Sentence Statement Supposition Question Request Order) |
Mid-level-ontology.kif 14231-14231 |
文 は Statement, Supposition, Question, Request, + Order に disjointly decomposed %n |
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) |
Merge.kif 15125-15125 |
《医》組織 は ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue に disjointly decomposed %n |
| Display limited to 25 items. Show next 25 |
| Display limited to 25 items. Show next 25 |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|