  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 19863-19863 |
|
| (termFormat ChineseLanguage disjointDecomposition "不相交的分拆") |
chinese_format.kif 288-288 |
|
| (termFormat ChineseTraditionalLanguage disjointDecomposition "不相交分解") |
domainEnglishFormat.kif 19862-19862 |
|
| (termFormat EnglishLanguage disjointDecomposition "disjoint decomposition") |
domainEnglishFormat.kif 19861-19861 |
|
| (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 1680-1680 |
Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
| (disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) |
Merge.kif 14678-14678 |
Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) |
Merge.kif 14700-14700 |
Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
| (disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) |
Military.kif 360-361 |
Commissioned officer rank is disjointly decomposed into flag officer rank, field grade officer rank, and company grade rank |
| (disjointDecomposition ComputerStatus HostReady HostDown Booting) |
ComputingBrands.kif 3211-3211 |
Computer status is disjointly decomposed into host ready, host down, and booting up |
| (disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) |
engineering.kif 179-179 |
Differential equation is disjointly decomposed into first order differential equation and higher order differential equation |
| (disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) |
engineering.kif 189-189 |
Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation |
| (disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) |
Military.kif 346-346 |
Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank |
| (disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) |
Mid-level-ontology.kif 14275-14275 |
Expressing is disjointly decomposed into expressing approval and expressing disapproval |
| (disjointDecomposition GameArtifact GameBoard GamePiece) |
Mid-level-ontology.kif 18364-18364 |
Game artifact is disjointly decomposed into game board and game piece |
| (disjointDecomposition Invertebrate Worm Mollusk Arthropod) |
Merge.kif 14657-14657 |
Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
| (disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) |
QoSontology.kif 37-37 |
LAN is disjointly decomposed into bus network, star network, and ring network |
| (disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) |
Merge.kif 1416-1416 |
Language is disjointly decomposed into animal language, human language, and computer language |
| (disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) |
Merge.kif 14734-14734 |
Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate |
| (disjointDecomposition NSAID Aspirin Ibuprofen Acetaminophen) |
Medicine.kif 3506-3506 |
Non-steriodal anti-inflammatory is disjointly decomposed into aspirin, ibuprofen, and paracetamol |
| (disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) |
Military.kif 383-383 |
Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank |
| (disjointDecomposition NonFloweringPlant Alga Fern Moss) |
Merge.kif 14563-14563 |
Non flowering plant is disjointly decomposed into alga, fern, and moss |
| (disjointDecomposition Nutrient Protein Carbohydrate Vitamin) |
Merge.kif 14835-14835 |
Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) |
Merge.kif 15455-15455 |
Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase |
| (disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) |
Economy.kif 2327-2327 |
Power generation is disjointly decomposed into fossil fuel power generation, hydro electric power generation, nuclear power generation, and other source power generation |
| (disjointDecomposition Primate Ape Monkey Hominid) |
Merge.kif 14780-14780 |
Primate is disjointly decomposed into ape, monkey, and hominid |
| (disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) |
Merge.kif 2171-2172 |
Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation |
| (disjointDecomposition Residence PermanentResidence TemporaryResidence) |
Merge.kif 15927-15927 |
Residence is disjointly decomposed into permanent residence and temporary residence |
| (disjointDecomposition Sentence Statement Supposition Question Request Order) |
Mid-level-ontology.kif 15602-15602 |
Sentence is disjointly decomposed into statement, supposition, question, request, and order |
| (disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) |
Merge.kif 15278-15278 |
Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue |
| | 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)
|