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 子類 呼吸器 and SafetyDevice
(subclass Respirator WearableItem) Cars.kif 3535-3535 子類 呼吸器 and 可穿戴物品
(subclass Respirator Mask) Cars.kif 3536-3536 子類 呼吸器 and Mask
(subclass N95Mask Respirator) Medicine.kif 4868-4868 子類 N95Mask and 呼吸器


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