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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerDirectory

 Sigma KEE - ComputerDirectory
ComputerDirectory(電腦目錄)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 178-184
No TPTP formula. May not be expressible in strict first order. engineering.kif 1339-1339
No TPTP formula. May not be expressible in strict first order. engineering.kif 1338-1338
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 177-177 子類 電腦目錄 and 電腦文件

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16290-16290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16289-16289
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16288-16288

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 216-216 域 的目錄, 2 and 電腦目錄

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 231-236
No TPTP formula. May not be expressible in strict first order. engineering.kif 1351-1355