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 205-206
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 203-203 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 204-204 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 201-201 computer running is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 202-202 computer running is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 200-200 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 3054-3054
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3053-3053
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3052-3052
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16401-16401
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16400-16400
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16399-16399

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1990-1999
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 344-348
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 358-364

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 734-743
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3588-3596
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 300-308
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1960-1968
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4060-4067
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 158-165
No TPTP formula. May not be expressible in strict first order. engineering.kif 999-1013
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4342-4353
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 193-198


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