(=> (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 1772-1786 | |
(subclass Group Collection) | Merge.kif 16223-16223 | |
(subclass Group AutonomousAgent) | Merge.kif 16224-16224 | |
(subclass GroupOfAnimals Group) | Mid-level-ontology.kif 7476-7476 | |
(subclass GroupOfPeople Group) | Merge.kif 16234-16234 | |
(subclass Organization Group) | Merge.kif 16604-16604 | |
(subclass FileSystem Group) | engineering.kif 1335-1335 |