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

Formal Language: 



KB Term:  Term intersection
English Word: 

  runsOn

 Sigma KEE - runsOn
runsOn

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 340-341
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 338-338 能够操作 的 1 数量 是 电脑程序 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 339-339 能够操作 的 2 数量 是 电脑 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 337-337 能够操作 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 336-336 能够操作 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2191-2191
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2190-2190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2189-2189
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50625-50625
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50624-50624
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50623-50623

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2242-2246
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 343-347


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