| (disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) |
Merge.kif 2693-2693 |
抽象的な は 量, 属性, 同じセットまたはクラス, 関係, + 命題 に disjointly decomposed %n |
| (disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) |
Merge.kif 18958-18958 |
節足動物 は クモ形類動物, 多足類の（動物）, 昆虫, + 甲殻類 に disjointly decomposed %n |
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) |
Merge.kif 18988-18988 |
冷血脊椎動物 は 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 3046-3046 |
ComputerStatus は HostReady, HostDown, + 起動 に disjointly decomposed %n |
| (disjointDecomposition DifferentialEquation FirstOrderDifferentialEquation HigherOrderDifferentialEquation) |
engineering.kif 179-179 |
DifferentialEquation は FirstOrderDifferentialEquation + HigherOrderDifferentialEquation に disjointly decomposed %n |
| (disjointDecomposition DifferentialEquation OrdinaryDifferentialEquation PartialDifferentialEquation) |
engineering.kif 189-189 |
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 10549-10549 |
表現 は ExpressingApproval + ExpressingDisapproval に disjointly decomposed %n |
| (disjointDecomposition GameArtifact GameBoard GamePiece) |
Mid-level-ontology.kif 14533-14533 |
GameArtifact は GameBoard + GamePiece に disjointly decomposed %n |
| (disjointDecomposition Invertebrate Worm Mollusk Arthropod) |
Merge.kif 18942-18942 |
無脊椎動物 は 蠕虫, 軟体動物, + 節足動物 に 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 2236-2236 |
言語 は 動物言語, 人間の言語, + コンピューター言語 に disjointly decomposed %n |
| (disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) |
Merge.kif 19029-19029 |
哺乳動物 は 水生哺乳類［動物］, 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed %n |
| (disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) |
Military.kif 306-306 |
NonCommissionedOfficerRank は JuniorNCORank + SeniorNCORank に disjointly decomposed %n |
| (disjointDecomposition NonFloweringPlant Alga Fern Moss) |
Merge.kif 18831-18831 |
隠花植物 は 藻, シダ, + コケ に disjointly decomposed %n |
| (disjointDecomposition Nutrient Protein Carbohydrate Vitamin) |
Merge.kif 19158-19158 |
栄養素［栄養物］ は たんぱく質, 炭水化物, + ビタミン に disjointly decomposed %n |
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) |
Merge.kif 19766-19766 |
句 は 動詞句, 名詞句, + 前置詞句 に disjointly decomposed %n |
| (disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) |
Economy.kif 2091-2091 |
PowerGeneration は FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGeneration に disjointly decomposed %n |
| (disjointDecomposition Primate Ape Monkey Hominid) |
Merge.kif 19090-19090 |
霊長類 は 類人猿, 猿, + ヒト科の動物 に disjointly decomposed %n |
| (disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) |
Merge.kif 3515-3516 |
関係 は 2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係 に disjointly decomposed %n |
| (disjointDecomposition Residence PermanentResidence TemporaryResidence) |
Merge.kif 20290-20290 |
Residence は PermanentResidence + TemporaryResidence に disjointly decomposed %n |
| (disjointDecomposition Sentence Statement Supposition Question Request Order) |
Mid-level-ontology.kif 11849-11849 |
文 は Statement, Supposition, Question, Request, + Order に disjointly decomposed %n |
| (disjointDecomposition Tissue Bone Muscle FatTissue) |
Merge.kif 19648-19648 |
《医》組織 は 骨, 筋肉, + 脂肪組織 に disjointly decomposed %n |
