(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition List) |
Merge.kif 1579-1579 |
Abstract is disjointly decomposed into quantity, attribute, set or class, relation, proposition, and list |
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) |
Merge.kif 13501-13501 |
Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) |
Merge.kif 13523-13523 |
Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) |
Military.kif 283-284 |
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 3203-3203 |
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 269-269 |
Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank |
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) |
Mid-level-ontology.kif 10581-10581 |
Expressing is disjointly decomposed into expressing approval and expressing disapproval |
(disjointDecomposition GameArtifact GameBoard GamePiece) |
Mid-level-ontology.kif 14560-14560 |
Game artifact is disjointly decomposed into game board and game piece |
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) |
Merge.kif 13489-13489 |
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 1291-1291 |
Language is disjointly decomposed into animal language, human language, and computer language |
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) |
Merge.kif 13557-13557 |
Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate |
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) |
Military.kif 306-306 |
Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank |
(disjointDecomposition NonFloweringPlant Alga Fern Moss) |
Merge.kif 13395-13395 |
Non flowering plant is disjointly decomposed into alga, fern, and moss |
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) |
Merge.kif 13658-13658 |
Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) |
Merge.kif 14168-14168 |
Phrase is disjointly decomposed into verb phrase, noun phrase, and PrepositionalPhrase |
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) |
Economy.kif 2091-2091 |
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 13603-13603 |
Primate is disjointly decomposed into ape, monkey, and hominid |
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) |
Merge.kif 2073-2074 |
Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation |
(disjointDecomposition Residence PermanentResidence TemporaryResidence) |
Merge.kif 14643-14643 |
Residence is disjointly decomposed into permanent residence and temporary residence |
(disjointDecomposition Sentence Statement Supposition Question Request Order) |
Mid-level-ontology.kif 11881-11881 |
Sentence is disjointly decomposed into statement, supposition, question, request, and order |
(disjointDecomposition Tissue Bone Muscle FatTissue) |
Merge.kif 14071-14071 |
Tissue is disjointly decomposed into bone, muscle, and fat tissue |