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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerResponse
ComputerResponse(computer response)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1742-1743
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1741-1741 Computer response is a subclass of computer process

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16380-16380
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16379-16379
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16378-16378

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1746-1746 The number 1 argument of computer response to is an instance of computer response
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1767-1767 The number 1 argument of response rate is an instance of computer response


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