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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?X Respirator)
        (instance ?PERSON Animal)
        (wears ?PERSON ?X))
    (hasPurpose ?X
        (exists (?INHAL ?INJ ?PROTECT ?I)
            (and
                (instance ?PROTECT Process)
                (instrument ?PROTECT ?X)
                (prevents ?PROTECT ?INJ)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?H)
                                (and
                                    (instance ?H Human)
                                    (patient ?I ?H)
                                    (instance ?INHAL Inhaling)
                                    (agent ?INHAL ?H)
                                    (causes ?I ?INHAL))))))))))		 Cars.kif 3539-3560
(subclass Respirator SafetyDevice) Cars.kif 3534-3534 Respirator è una sottoclasse di SafetyDevice
(subclass Respirator WearableItem) Cars.kif 3535-3535 Respirator è una sottoclasse di WearableItem
(subclass Respirator Mask) Cars.kif 3536-3536 Respirator è una sottoclasse di Mask
(subclass N95Mask Respirator) Medicine.kif 4868-4868 N95Mask è una sottoclasse di Respirator


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