| (=> (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 1133-1141 | |
| (subclass CorpuscularObject SelfConnectedObject) | Merge.kif 1128-1128 | |
| (subclass Sonar CorpuscularObject) | Mid-level-ontology.kif 3077-3077 | |
| (subclass Bubble CorpuscularObject) | Mid-level-ontology.kif 5303-5303 | |
| (subclass Nest CorpuscularObject) | Mid-level-ontology.kif 5330-5330 | |
| (subclass ContentBearingObject CorpuscularObject) | Merge.kif 1224-1224 | |
| (subclass OrganicObject CorpuscularObject) | Merge.kif 13346-13346 | |
| (subclass RealEstate CorpuscularObject) | FinancialOntology.kif 1297-1297 |
|
|