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
-------------------------


s__documentation(s__computerRunning__m,s__EnglishLanguage,'"(computerRunning ?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer."')

QoSontology.kif 202-203
s__domain(s__computerRunning__m,n__1,s__ComputerProcess)

QoSontology.kif 200-200 The number 1 argument of computer running is an instance of computer process
s__domain(s__computerRunning__m,n__2,s__Computer)

QoSontology.kif 201-201 The number 2 argument of computer running is an instance of computer
s__instance(s__computerRunning__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

QoSontology.kif 198-198 computer running is an instance of binary predicate
s__instance(s__computerRunning__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

QoSontology.kif 199-199 computer running is an instance of case role
s__subrelation(s__computerRunning__m,s__instrument__m)

QoSontology.kif 197-197 computer running is a subrelation of instrument

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


s__format(s__ChineseLanguage,s__computerRunning__m,'"%1 是 running 在 %2 "')

domainEnglishFormat.kif 3063-3063
s__format(s__ChineseTraditionalLanguage,s__computerRunning__m,'"%1 是 running 在 %2 "')

domainEnglishFormat.kif 3062-3062
s__format(s__EnglishLanguage,s__computerRunning__m,'"%1 is running on %2"')

domainEnglishFormat.kif 3061-3061
s__termFormat(s__ChineseLanguage,s__computerRunning__m,'"电脑运行"')

domainEnglishFormat.kif 16383-16383
s__termFormat(s__ChineseTraditionalLanguage,s__computerRunning__m,'"電腦運行"')

domainEnglishFormat.kif 16382-16382
s__termFormat(s__EnglishLanguage,s__computerRunning__m,'"computer running"')

domainEnglishFormat.kif 16381-16381

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1957-1966
( ! [V__Computer,V__Program,V__Process] :
   (((s__instance(V__Computer,s__Computer) &
         s__instance(V__Program,s__ComputerProgram) &
         s__instance(V__Process,s__ComputerProcess))
       =>
       (((s__programRunning(V__Process,V__Program)
           &
           s__computerRunning(V__Process,V__Computer))
       =>
       (s__runsOn(V__Program,V__Computer)))))
)
)

QoSontology.kif 341-345
( ! [V__Computer,V__PC,V__Program,V__Process,V__CC] :
   (((s__instance(V__Computer,s__Computer) &
         s__subclass(V__PC,s__ComputerProgram) &
         s__instance(V__PC,s__Class) &
         s__instance(V__Program,s__ComputerProgram) &
         s__instance(V__Process,s__ComputerProcess) &
         s__subclass(V__CC,s__Computer) &
         s__instance(V__CC,s__Class))
       =>
       (((s__programRunning(V__Process,V__Program)
           &
           s__instance(V__Program,V__PC)
         &
         s__instance(V__Computer,V__CC)
       &
       s__computerRunning(V__Process,V__Computer))
   =>
   (s__canRunOn(V__PC,V__CC)))))
)
)

QoSontology.kif 355-361

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 703-712
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3564-3572
( ! [V__Software,V__Process] :
   (((s__instance(V__Software,s__SoftwareSystem) &
         s__instance(V__Process,s__ComputerProcess) &
         s__programRunning(V__Process,V__Software))
     =>
     (( ? [V__Hardware] :
         ((s__instance(V__Hardware,s__HardwareSystem) &
             s__computerRunning(V__Process,V__Hardware))))))
)
)

QoSontology.kif 297-305
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1927-1935
( ! [V__D] :
   ((s__instance(V__D,s__DHCPServer) =>
       (( ? [V__PROG, V__C] :
           ((s__instance(V__C,s__Computer) &
               s__instance(V__PROG,s__DHCPProgram) &
               s__computerRunning(V__D,V__C)
             &
             s__programRunning(V__D,V__PROG))))))
)
)

ComputingBrands.kif 4036-4043
( ! [V__Process] :
   ((s__instance(V__Process,s__ComputerProcess) =>
       (( ? [V__Computer, V__Program] :
           ((s__instance(V__Computer,s__Computer) &
               s__computerRunning(V__Process,V__Computer)
             &
             s__instance(V__Program,s__ComputerProgram) &
             s__programRunning(V__Process,V__Program))))))
)
)

QoSontology.kif 155-162
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4318-4329
( ! [V__Computer,V__Program] :
   (((s__instance(V__Computer,s__Computer) &
         s__instance(V__Program,s__ComputerProgram))
       =>
       ((s__runningOn(V__Program,V__Computer)
         =>
         (( ? [V__Process] :
             ((s__instance(V__Process,s__ComputerProcess) &
                 (s__programRunning(V__Process,V__Program)
                 &
                 s__computerRunning(V__Process,V__Computer)))))))))
)
)

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