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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - accountUsed
accountUsed

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4105-4105
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4102-4102 The number 1 argument of account used is an instance of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4103-4103 The number 2 argument of account used is an instance of user account
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4101-4101 account used is an instance of case role
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4104-4104 account used is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4107-4107
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4106-4106

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4314-4323


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