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))
Mid-level-ontology.kif 23356-23370
(subclass Group Collection) Merge.kif 16383-16383 グループコレクションsubclass では
(subclass Group AutonomousAgent) Merge.kif 16384-16384 グループAutonomousAgentsubclass では
(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 では


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