| (=> (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)) |
Mid-level-ontology.kif 23356-23370 | |
| (subclass Group Collection) | Merge.kif 16383-16383 | グループ は コレクション の subclass では |
| (subclass Group AutonomousAgent) | Merge.kif 16384-16384 | グループ は AutonomousAgent の subclass では |
| (subclass GroupOfAnimals Group) | Mid-level-ontology.kif 8643-8643 | GroupOfAnimals は グループ の subclass では |
| (subclass GroupOfPeople Group) | Merge.kif 16394-16394 | GroupOfPeople は グループ の subclass では |
| (subclass Organization Group) | Merge.kif 16764-16764 | 組織 は グループ の subclass では |
| (subclass FileSystem Group) | engineering.kif 1648-1648 | FileSystem は グループ の subclass では |
|
|