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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - qoSSlack
qoSSlack

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1197-1199
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1194-1194 O argumento numero 1 de qoSSlack e' uma instancia de ComputerPath
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1195-1195 O argumento numero 2 de qoSSlack e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1196-1196 O argumento numero 3 de qoSSlack e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1193-1193 qoSSlack e' uma instancia de Predicado Ternario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4282-4282
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4281-4281
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4280-4280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48280-48280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48279-48279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48278-48278


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