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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SecurityDevice

 Sigma KEE - SecurityDevice
SecurityDevice(安全裝置)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2653-2654
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1247-1247
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2652-2652 子類 安全裝置 and Device

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3692-3692 子類 CarAlarm and 安全裝置
No TPTP formula. May not be expressible in strict first order. Cars.kif 1014-1014 子類 FuelCapLock and 安全裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2660-2660 子類 鍵 and 安全裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2656-2656 子類 鎖 and 安全裝置
No TPTP formula. May not be expressible in strict first order. Cars.kif 3757-3757 子類 RemoteKeylessSystem and 安全裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2715-2715 子類 安全的容器 and 安全裝置
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2860-2860 子類 安全警報 and 安全裝置
No TPTP formula. May not be expressible in strict first order. Cars.kif 3977-3977 子類 SteeringColumnLock and 安全裝置
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51929-51929
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51928-51928
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51927-51927


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