| (=> (and (subclass ?OBJECTTYPE Substance) (instance ?OBJECT ?OBJECTTYPE) (piece ?PART ?OBJECT)) (instance ?PART ?OBJECTTYPE)) |
Merge.kif 1053-1058 | |
| (=> (instance ?OBJ CorpuscularObject) (exists (?SUBSTANCE1 ?SUBSTANCE2) (and (subclass ?SUBSTANCE1 Substance) (subclass ?SUBSTANCE2 Substance) (material ?SUBSTANCE1 ?OBJ) (material ?SUBSTANCE2 ?OBJ) (not (equal ?SUBSTANCE1 ?SUBSTANCE2))))) |
Merge.kif 1231-1239 | |
| (subclass Substance SelfConnectedObject) | Merge.kif 1041-1041 | 物質 は 自己接続オブジェクト の subclass では %n |
| (subclass Fuel Substance) | Mid-level-ontology.kif 1693-1693 | Fuel は 物質 の subclass では %n |
| (subclass Electricity Substance) | Mid-level-ontology.kif 2556-2556 | Electricity は 物質 の subclass では %n |
| (subclass Wicker Substance) | Mid-level-ontology.kif 4589-4589 | Wicker は 物質 の subclass では %n |
| (subclass Surfactant Substance) | Mid-level-ontology.kif 8822-8822 | Surfactant は 物質 の subclass では %n |
| (subclass Powder Substance) | Mid-level-ontology.kif 8950-8950 | Powder は 物質 の subclass では %n |
| (subclass ExplosiveSubstance Substance) | Mid-level-ontology.kif 17862-17862 | ExplosiveSubstance は 物質 の subclass では %n |
| (subclass Rock Substance) | Mid-level-ontology.kif 17904-17904 | Rock は 物質 の subclass では %n |
| (subclass SyntheticSubstance Substance) | Merge.kif 1067-1067 | SyntheticSubstance は 物質 の subclass では %n |
| (subclass NaturalSubstance Substance) | Merge.kif 1080-1080 | NaturalSubstance は 物質 の subclass では %n |
| (subclass PureSubstance Substance) | Merge.kif 1084-1084 | 純物質 は 物質 の subclass では %n |
| (subclass Mixture Substance) | Merge.kif 1182-1182 | 混合物 は 物質 の subclass では %n |
| (subclass Mineral Substance) | Merge.kif 14311-14311 | ミネラル は 物質 の subclass では %n |
| (subclass BiologicallyActiveSubstance Substance) | Merge.kif 14671-14671 | 生物活性物質 は 物質 の subclass では %n |
| (subclass BodySubstance Substance) | Merge.kif 14806-14806 | 体物質 は 物質 の subclass では %n |
| (subclass DrugCandidate Substance) | Medicine.kif 3082-3082 | DrugCandidate は 物質 の subclass では %n |
| (subclass Creatinine Substance) | Medicine.kif 3793-3793 | Creatinine は 物質 の subclass では %n |
| (subclass Effluent Substance) | Geography.kif 2664-2664 | Effluent は 物質 の subclass では %n |
| (subclass NoxiousSubstance Substance) | Geography.kif 2762-2762 | NoxiousSubstance は 物質 の subclass では %n |
| (subclass Crystal Substance) | Geography.kif 7110-7110 | Crystal は 物質 の subclass では %n |
| (subclass LiquidDrop Substance) | Geography.kif 7488-7488 | LiquidDrop は 物質 の subclass では %n |
| (subclass ConductorSubstance Substance) | engineering.kif 1281-1281 | ConductorSubstance は 物質 の subclass では %n |
| (subclass InsulatorSubstance Substance) | engineering.kif 1286-1286 | InsulatorSubstance は 物質 の subclass では %n |
| (subclass Sugar Substance) | Economy.kif 4158-4158 | Sugar は 物質 の subclass では %n |
| (subclass GumArabic Substance) | Economy.kif 4750-4750 | GumArabic は 物質 の subclass では %n |
| (subclass ChemicalAcid Substance) | Cars.kif 2471-2471 | ChemicalAcid は 物質 の subclass では %n |
| (subclass Lubricant Substance) | Cars.kif 2975-2975 | Lubricant は 物質 の subclass では %n |
|
|