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

Formal Language: 


Term 1: Term 2:

(=>
    (and
        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W ?CLASS)
        (and
            (instance ?K ?CLASS)
            (subclass ?CLASS Keeping)
            (instance ?W FreshWater)
            (patient ?K ?W)
            (capability ?CLASS instrument ?TIS)
            (or
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))
Mid-level-ontology.kif 10890-10903
(subclass Keeping IntentionalProcess) Merge.kif 12324-12324 Garder est une sous-classe de processus intentionnel
(subclass Confining Keeping) Merge.kif 12350-12350 Confiner est une sous-classe de garder
(subclass PreservingFood Keeping) Food.kif 184-184 PreservingFood est une sous-classe de garder


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