Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SafetyDevice

 Sigma KEE - SafetyDevice
SafetyDevice

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3352-3353
No TPTP formula. May not be expressible in strict first order. Cars.kif 3350-3350 子類 SafetyDevice and Device

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30838-30838 子類 ClimbingCarabiner and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3444-3444 子類 聽力保護 and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 4359-4359 子類 Helmet and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 4742-4742 子類 MotorcycleGlove and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3478-3478 子類 防護眼鏡 and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3526-3526 子類 呼吸器 and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3419-3419 子類 安全套 and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3555-3555 子類 SafetyVest and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3375-3375 子類 VehicleSafetyDevice and SafetyDevice
No TPTP formula. May not be expressible in strict first order. Cars.kif 3351-3351

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 3355-3373


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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