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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - programRunning
programRunning

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 208-210
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 206-206 The number 1 argument of program running is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 207-207 The number 2 argument of program running is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 205-205 program running is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2071-2071
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2070-2070
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2069-2069
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47642-47642
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47641-47641
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47640-47640

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 987-990 There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1972-1981
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3017-3025
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. QoSontology.kif 341-345
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 355-361
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 425-436
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 385-396
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 658-668
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1275-1289
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1259-1273
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 164-167
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 541-544
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 507-510
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 524-527

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 674-682 An entity is an instance of feedback if and only if there exist a resource management program, a computer process and a software system such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and a process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 709-718
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 425-436
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 385-396
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1942-1950
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2302-2309
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2323-2330
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4006-4013
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3095-3103
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2515-2523
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. QoSontology.kif 1790-1797
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 597-604
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 560-568
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 276-284
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1804-1810
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 748-753
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 731-736
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 977-982
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 623-630
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