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

Formal Language: 


Term 1: Term 2:

(=>
    (instance ?GUN Firearm)
    (hasPurpose ?GUN
        (exists (?A ?CARRY ?C)
            (and
                (instance ?A Human)
                (subclass ?CARRY Carrying)
                (instance ?C ?CARRY)
                (objectTransferred ?C ?GUN)
                (capability ?CARRY instrument ?A)
                (not
                    (exists (?A2)
                        (and
                            (instance ?A2 Human)
                            (not
                                (equal ?A ?A2))
                            (instrument ?C ?A2))))))))
Mid-level-ontology.kif 1855-1871
(subclass Carrying Transfer) Merge.kif 11516-11516


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