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

Formal Language: 



KB Term:  Term intersection
English Word: 

  standardOutputDevice

 Sigma KEE - standardOutputDevice
standardOutputDevice

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 519-521
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 517-517 域 標準輸出設備, 1 and 電腦程序
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 518-518 域 標準輸出設備, 2 and 電腦輸出設備
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 516-516 例 標準輸出設備 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 515-515 例 標準輸出設備 and CaseRole
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 514-514 子關係 標準輸出設備 and 儀器

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4610-4610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4609-4609
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4608-4608
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55008-55008
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55007-55007
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55006-55006

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