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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 ComputerDirectory est une sous-classe de ComputerFile

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 Le nombre 2 argument de directoryOf est une instance de ComputerDirectory

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