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 211-213
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 209-209 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 210-210 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 208-208 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 2075-2075
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2074-2074
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2073-2073
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47650-47650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47649-47649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47648-47648

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1098-1101 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 300-308
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
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 428-439
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 388-399
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 769-779
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1379-1393
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1363-1377
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 167-170
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 651-654
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 617-620
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 634-637

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 428-439
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 388-399
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 4060-4067
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 785-793
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 158-165
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1916-1923
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 708-715
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 670-678
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 279-287
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1930-1936
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 859-864
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 842-847
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1088-1093
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 734-741
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