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 204-205
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 202-202 Le nombre 1 argument de computerRunning est une instance de ComputerProcess
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 203-203 Le nombre 2 argument de computerRunning est une instance de Computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 200-200 computerRunning est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 201-201 computerRunning est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 199-199 computerRunning est une sous-relation de instrument

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3058-3058
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3057-3057
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3056-3056
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16392-16392
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16391-16391
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16390-16390

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 343-347
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 357-363

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 3593-3601
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 299-307
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 4065-4072
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 157-164
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4347-4358
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 192-197


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