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

Formal Language: 



KB Term:  Term intersection
English Word: 

  programRunning

Sigma KEE - programRunning
programRunning

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 210-212
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 208-208 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 209-209 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 207-207 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 47648-47648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47647-47647
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47646-47646

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 989-992 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 1990-1999
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3042-3050
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. QoSontology.kif 343-347
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 357-363
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 427-438
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 387-398
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 660-670
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1270-1284
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1254-1268
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 166-169
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 543-546
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 509-512
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 526-529

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. QoSontology.kif 427-438
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 387-398
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 736-748
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 2320-2327
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2341-2348
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. ComputingBrands.kif 3120-3128
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 676-684
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2544-2552
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. QoSontology.kif 1785-1792
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 599-606
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 562-570
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 278-286
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1799-1805
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 750-755
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 733-738
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 979-984
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 625-632
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 192-197


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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