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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dependencyDelay

 Sigma KEE - dependencyDelay
dependencyDelay

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1246-1252
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1244-1244 依赖延迟 的 1 数量 是 电脑程序 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1245-1245 依赖延迟 的 2 数量 是 持续时间 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1243-1243 依赖延迟 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 704-704
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 703-703
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 702-702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19098-19098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19097-19097
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19096-19096

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1270-1284
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1254-1268


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