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

Formal Language: 



KB Term:  Term intersection
English Word: 

  standardInputDevice

 Sigma KEE - standardInputDevice
standardInputDevice

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 505-507
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 503-503 标准输入设备 的 1 数量 是 电脑程序 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 504-504 标准输入设备 的 2 数量 是 电脑输入设备 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 502-502 标准输入设备 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 501-501 标准输入设备 是 格角色 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 500-500 标准输入设备 是 工具 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4606-4606
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4605-4605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4604-4604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55002-55002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55001-55001
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55000-55000

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 509-512


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