Sigma KB Term Intersection

(=> (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	WearableItem は Respirator の instance では %n 動物は動物の instance では %n 動物は % を wears %n{ない} WearableItem はエンティティーエンティティー, エンティティー and エンティティーエンティティーは工程の instance では %n WearableItem はエンティティーの instrument では %n エンティティーはエンティティーの出来事を prevents %n{ない} エンティティーはエンティティーで記述される class の subclass では %n の目的 %n{ない}
(subclass Respirator SafetyDevice)	Cars.kif 3526-3526	Respirator は SafetyDevice の subclass では %n
(subclass Respirator WearableItem)	Cars.kif 3527-3527	Respirator は WearableItem の subclass では %n
(subclass Respirator Mask)	Cars.kif 3528-3528	Respirator は Mask の subclass では %n
(subclass N95Mask Respirator)	Medicine.kif 4868-4868	N95Mask は Respirator の subclass では %n

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