Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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 Group is a subclass of collection
(subclass Group AutonomousAgent) Merge.kif 16224-16224 Group is a subclass of agent
(subclass GroupOfAnimals Group) Mid-level-ontology.kif 7476-7476 Group of animals is a subclass of group
(subclass GroupOfPeople Group) Merge.kif 16234-16234 Group of people is a subclass of group
(subclass Organization Group) Merge.kif 16604-16604 Organization is a subclass of group
(subclass FileSystem Group) engineering.kif 1335-1335 File system is a subclass of 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