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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerFile
ComputerFile

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 172-175
No TPTP formula. May not be expressible in strict first order. engineering.kif 1341-1341
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 171-171 ComputerFile est une sous-classe de DigitalData

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1454-1454 AudioFile est une sous-classe de ComputerFile
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 177-177 ComputerDirectory est une sous-classe de ComputerFile
No TPTP formula. May not be expressible in strict first order. Media.kif 1427-1427 ImageFile est une sous-classe de ComputerFile
No TPTP formula. May not be expressible in strict first order. Media.kif 1414-1414 MultimediaFile est une sous-classe de ComputerFile
No TPTP formula. May not be expressible in strict first order. Media.kif 1519-1519 SoftwareFile est une sous-classe de ComputerFile
No TPTP formula. May not be expressible in strict first order. Media.kif 1473-1473 XMLFile est une sous-classe de ComputerFile
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16302-16302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16301-16301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16300-16300

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 223-223 Le nombre 1 argument de AddressFn est une instance de ComputerFile
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 215-215 Le nombre 1 argument de directoryOf est une instance de ComputerFile
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 636-636 Le nombre 1 argument de programCopy est une instance de ComputerFile

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2761-2772
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 231-236

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1351-1355
No TPTP formula. May not be expressible in strict first order. engineering.kif 1344-1348
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1846-1851
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1858-1863
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 826-831


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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