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	Wenn Object ist ein fall von CompoundSubstance %n{nicht} und CompoundSubstance ist eine teilkategorie von CompoundSubstance und es gibt nicht Object um Object ist ein fall von CompoundSubstance %n{nicht} und Object ist ein teil von Object %n{nicht} und molecularRatio ElementalSubstance, Integer and CompoundSubstance und Collection ist ein fall von Group %n{nicht} und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von ElementalSubstance %n{nicht}, dann memberCount Collection and ** Integer
(subclass Group Collection)	Merge.kif 16223-16223	Group ist eine teilkategorie von Collection
(subclass Group AutonomousAgent)	Merge.kif 16224-16224	Group ist eine teilkategorie von AutonomousAgent
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7476-7476	GroupOfAnimals ist eine teilkategorie von Group
(subclass GroupOfPeople Group)	Merge.kif 16234-16234	GroupOfPeople ist eine teilkategorie von Group
(subclass Organization Group)	Merge.kif 16604-16604	Organization ist eine teilkategorie von Group
(subclass FileSystem Group)	engineering.kif 1335-1335	FileSystem ist eine teilkategorie von Group

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