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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UserRequest
UserRequest

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1731-1732
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1730-1730 UserRequest e' uma sub-classe de ComputerProcess

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60856-60856
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60855-60855
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60854-60854

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1747-1747 O argumento numero 2 de computerResponseTo e' uma instancia de UserRequest
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1774-1774 O argumento numero 1 de requestRate e' uma instancia de UserRequest
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1754-1754 O argumento numero 1 de responseTime e' uma instancia de UserRequest

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1734-1739


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