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 and 電腦程序
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 504-504 域 標準輸入設備, 2 and 電腦輸入設備
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 502-502 例 標準輸入設備 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 501-501 例 標準輸入設備 and CaseRole
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 500-500 子關係 標準輸入設備 and 儀器

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