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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dataProcessed

 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 域 數據已處理, 1 and 電腦程序
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1878-1878 域 數據已處理, 2 and 數字數據
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1876-1876 例 數據已處理 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1875-1875 例 數據已處理 and CaseRole
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1874-1874 子關係 數據已處理 and 患者

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 simplified definition (without tree view)
Show simplified definition (with tree view)

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