(=> (and (instance ?CS1 ?CLASS) (subclass ?CLASS CompoundSubstance) (not (exists (?CS2) (and (instance ?CS2 ?CLASS) (part ?CS2 ?CS1)))) (molecularRatio ?ECLASS ?N ?CLASS) (instance ?G Group) (member ?E ?G) (part ?E ?CS1) (instance ?E ?ECLASS)) (memberCount ?G ?N)) |
Cars.kif 1778-1792 | |
(subclass Group Collection) | Merge.kif 16245-16245 | |
(subclass Group AutonomousAgent) | Merge.kif 16246-16246 | |
(subclass GroupOfAnimals Group) | Mid-level-ontology.kif 7475-7475 | |
(subclass GroupOfPeople Group) | Merge.kif 16256-16256 | |
(subclass Organization Group) | Merge.kif 16626-16626 | |
(subclass FileSystem Group) | engineering.kif 1335-1335 |