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