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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - computerRunning
computerRunning

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 202-203
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 200-200 The number 1 argument of computer running is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 201-201 The number 2 argument of computer running is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 198-198 computer running is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 199-199 computer running is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 197-197 computer running is a subrelation of instrument

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3063-3063
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3062-3062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3061-3061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16383-16383
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16382-16382
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16381-16381

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1957-1966
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 341-345
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 355-361

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 703-712
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3564-3572
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 297-305
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1927-1935
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4036-4043
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 155-162
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4318-4329
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 190-195


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