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 3531-3552
(subclass Respirator SafetyDevice) Cars.kif 3526-3526 Respirator est une sous-classe de SafetyDevice
(subclass Respirator WearableItem) Cars.kif 3527-3527 Respirator est une sous-classe de WearableItem
(subclass Respirator Mask) Cars.kif 3528-3528 Respirator est une sous-classe de Mask
(subclass N95Mask Respirator) Medicine.kif 4868-4868 N95Mask est une sous-classe de 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