| (=> (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 1224-1232 | |
| (subclass CorpuscularObject SelfConnectedObject) | Merge.kif 1219-1219 | |
| (subclass Sonar CorpuscularObject) | Mid-level-ontology.kif 2678-2678 | |
| (subclass Bubble CorpuscularObject) | Mid-level-ontology.kif 5549-5549 | |
| (subclass Nest CorpuscularObject) | Mid-level-ontology.kif 5576-5576 | |
| (subclass Organelle CorpuscularObject) | Mid-level-ontology.kif 11014-11014 | |
| (subclass ContentBearingObject CorpuscularObject) | Merge.kif 1320-1320 | |
| (subclass OrganicObject CorpuscularObject) | Merge.kif 14420-14420 | |
| (subclass RealEstate CorpuscularObject) | FinancialOntology.kif 1370-1370 |
|
|