(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) |
Merge.kif 1670-1670 |
Abstract wird zusammenhanglos auf Quantity, Attribute, Relation, Proposition, und List disjunkt |
(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) |
Merge.kif 14525-14525 |
Arthropod wird zusammenhanglos auf Arachnid, Myriapod, Insect, und Crustacean disjunkt |
(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) |
Merge.kif 14547-14547 |
ColdBloodedVertebrate wird zusammenhanglos auf Amphibian, Fish, und Reptile disjunkt |
(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) |
Military.kif 283-284 |
CommissionedOfficerRank wird zusammenhanglos auf FlagOfficerRank, FieldGradeOfficerRank, und CompanyGradeRank disjunkt |
(disjointDecomposition ComputerStatus HostReady HostDown Booting) |
ComputingBrands.kif 3215-3215 |
ComputerStatus wird zusammenhanglos auf HostReady, HostDown, und Booting disjunkt |
(disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) |
engineering.kif 180-180 |
DifferentialEquation wird zusammenhanglos auf FirstOrderDifferentialEquation und HigherOrderDifferentialEquation disjunkt |
(disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) |
engineering.kif 190-190 |
DifferentialEquation wird zusammenhanglos auf OrdinaryDifferentialEquation und PartialDifferentialEquation disjunkt |
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) |
Military.kif 269-269 |
EnlistedSoldierRank wird zusammenhanglos auf PrivateRank und NonCommissionedOfficerRank disjunkt |
(disjointDecomposition Expressing ExpressingApproval ExpressingDisapproval) |
Mid-level-ontology.kif 12944-12944 |
Expressing wird zusammenhanglos auf ExpressingApproval und ExpressingDisapproval disjunkt |
(disjointDecomposition GameArtifact GameBoard GamePiece) |
Mid-level-ontology.kif 16977-16977 |
GameArtifact wird zusammenhanglos auf GameBoard und GamePiece disjunkt |
(disjointDecomposition Invertebrate Worm Mollusk Arthropod) |
Merge.kif 14504-14504 |
Invertebrate wird zusammenhanglos auf Worm, Mollusk, und Arthropod disjunkt |
(disjointDecomposition LAN BusNetwork StarNetwork RingNetwork) |
QoSontology.kif 37-37 |
LAN wird zusammenhanglos auf BusNetwork, StarNetwork, und RingNetwork disjunkt |
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) |
Merge.kif 1406-1406 |
Language wird zusammenhanglos auf AnimalLanguage, HumanLanguage, und ComputerLanguage disjunkt |
(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) |
Merge.kif 14581-14581 |
Mammal wird zusammenhanglos auf AquaticMammal, HoofedMammal, Marsupial, Rodent, und Primate disjunkt |
(disjointDecomposition NSAID Aspirin Ibuprofen Acetaminophen) |
Medicine.kif 3505-3505 |
NSAID wird zusammenhanglos auf Aspirin, Ibuprofen, und Acetaminophen disjunkt |
(disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) |
Military.kif 306-306 |
NonCommissionedOfficerRank wird zusammenhanglos auf JuniorNCORank und SeniorNCORank disjunkt |
(disjointDecomposition NonFloweringPlant Alga Fern Moss) |
Merge.kif 14410-14410 |
NonFloweringPlant wird zusammenhanglos auf Alga, Fern, und Moss disjunkt |
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) |
Merge.kif 14682-14682 |
Nutrient wird zusammenhanglos auf Protein, Carbohydrate, und Vitamin disjunkt |
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) |
Merge.kif 15302-15302 |
Phrase wird zusammenhanglos auf VerbPhrase, NounPhrase, und PrepositionalPhrase disjunkt |
(disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) |
Economy.kif 2087-2087 |
PowerGeneration wird zusammenhanglos auf FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, und OtherSourcePowerGeneration disjunkt |
(disjointDecomposition Primate Ape Monkey Hominid) |
Merge.kif 14627-14627 |
Primate wird zusammenhanglos auf Ape, Monkey, und Hominid disjunkt |
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) |
Merge.kif 2160-2161 |
Relation wird zusammenhanglos auf BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation, und VariableArityRelation disjunkt |
(disjointDecomposition Residence PermanentResidence TemporaryResidence) |
Merge.kif 15777-15777 |
Residence wird zusammenhanglos auf PermanentResidence und TemporaryResidence disjunkt |
(disjointDecomposition Sentence Statement Supposition Question Request Order) |
Mid-level-ontology.kif 14231-14231 |
Sentence wird zusammenhanglos auf Statement, Supposition, Question, Request, und Order disjunkt |
(disjointDecomposition Tissue ConnectiveTissue MuscleTissue NervousTissue EpithelialTissue) |
Merge.kif 15125-15125 |
Tissue wird zusammenhanglos auf ConnectiveTissue, MuscleTissue, NervousTissue, und EpithelialTissue disjunkt |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |