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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dataProcessed
dataProcessed

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1879-1880
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1877-1877 The number 1 argument of data processed is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1878-1878 The number 2 argument of data processed is an instance of digital data
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1876-1876 data processed is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1875-1875 data processed is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1874-1874 data processed is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3158-3158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3157-3157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3156-3156
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18570-18570
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18569-18569
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18568-18568

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3496-3510
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1926-1940
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3593-3601
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3603-3617
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1893-1901

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3496-3510
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3603-3617
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1893-1901
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1909-1912


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