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 1767-1781
(subclass Group Collection) Merge.kif 20799-20799 グループコレクションsubclass では %n
(subclass Group Agent) Merge.kif 20800-20800 グループ代理(人)subclass では %n
(subclass GroupOfAnimals Group) Mid-level-ontology.kif 7186-7186 GroupOfAnimalsグループsubclass では %n
(subclass GroupOfPeople Group) Merge.kif 20812-20812 GroupOfPeopleグループsubclass では %n
(subclass Organization Group) Merge.kif 21228-21228 組織グループsubclass では %n
(subclass FileSystem Group) engineering.kif 1329-1329 FileSystemグループsubclass では %n


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners