(=> (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 Fuel Substance) | Mid-level-ontology.kif 1693-1693 | |
(subclass Electricity Substance) | Mid-level-ontology.kif 2556-2556 | |
(subclass Wicker Substance) | Mid-level-ontology.kif 4589-4589 | |
(subclass Surfactant Substance) | Mid-level-ontology.kif 8822-8822 | |
(subclass Powder Substance) | Mid-level-ontology.kif 8950-8950 | |
(subclass ExplosiveSubstance Substance) | Mid-level-ontology.kif 17862-17862 | |
(subclass Rock Substance) | Mid-level-ontology.kif 17904-17904 | |
(subclass SyntheticSubstance Substance) | Merge.kif 1067-1067 | |
(subclass NaturalSubstance Substance) | Merge.kif 1080-1080 | |
(subclass PureSubstance Substance) | Merge.kif 1084-1084 | |
(subclass Mixture Substance) | Merge.kif 1182-1182 | |
(subclass Mineral Substance) | Merge.kif 14311-14311 | |
(subclass BiologicallyActiveSubstance Substance) | Merge.kif 14671-14671 | |
(subclass BodySubstance Substance) | Merge.kif 14806-14806 | |
(subclass DrugCandidate Substance) | Medicine.kif 3082-3082 | |
(subclass Creatinine Substance) | Medicine.kif 3793-3793 | |
(subclass Effluent Substance) | Geography.kif 2664-2664 | |
(subclass NoxiousSubstance Substance) | Geography.kif 2762-2762 | |
(subclass Crystal Substance) | Geography.kif 7110-7110 | |
(subclass LiquidDrop Substance) | Geography.kif 7488-7488 | |
(subclass ConductorSubstance Substance) | engineering.kif 1281-1281 | |
(subclass InsulatorSubstance Substance) | engineering.kif 1286-1286 | |
(subclass Sugar Substance) | Economy.kif 4158-4158 | |
(subclass GumArabic Substance) | Economy.kif 4750-4750 | |
(subclass ChemicalAcid Substance) | Cars.kif 2471-2471 | |
(subclass Lubricant Substance) | Cars.kif 2975-2975 |