Sigma KB Term Intersection

(=> (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	オブジェクトは合成物質の instance では %n 合成物質は合成物質の subclass では %n オブジェクトオブジェクトは合成物質の instance では %n オブジェクトはオブジェクトの part では %n molecularRatio 単体, 整数 and 合成物質コレクションはグループの instance では %n オブジェクトはコレクションの member では %n オブジェクトはオブジェクトの part では %n オブジェクトは単体の instance では %n memberCount コレクション and 整数
(subclass Group Collection)	Merge.kif 16223-16223	グループはコレクションの subclass では %n
(subclass Group AutonomousAgent)	Merge.kif 16224-16224	グループは AutonomousAgent の subclass では %n
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7476-7476	GroupOfAnimals はグループの subclass では %n
(subclass GroupOfPeople Group)	Merge.kif 16234-16234	GroupOfPeople はグループの subclass では %n
(subclass Organization Group)	Merge.kif 16604-16604	組織はグループの subclass では %n
(subclass FileSystem Group)	engineering.kif 1335-1335	FileSystem はグループの subclass では %n

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners