SUMO   View all facts   Glossary   Help
Entity > Abstract > Proposition > Procedure > ComputerProgram
Next Procedure: Plan    Up: Procedure

ComputerProgram
subjectfact 
ComputerProgramdocumentation A set of instructions in a computer programming language that can be executed by a computer2001-11-30 13:33:54.0
is a kind of Procedure2001-11-30 13:33:54.0
Propositionhas axiom 
(=>
     (instance ?SENTENCE Sentence)
     (exists (?PROP)
         (and
             (instance ?PROP Proposition)
             (containsInformation ?SENTENCE ?PROP))))
2001-11-30 13:35:05.0
is second domain of containsInformation2001-11-30 13:35:05.0
is second domain of realization2001-11-30 13:35:05.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0
Entityis first domain of documentation2001-11-30 13:34:11.0
is first domain of element2001-11-30 13:34:11.0
is first domain of equal2001-11-30 13:34:11.0
is first domain of IdentityFn2001-11-30 13:34:11.0
is first domain of instance2001-11-30 13:34:11.0
is first domain of relatedExternalConcept2001-11-30 13:34:11.0
is first domain of relatedInternalConcept2001-11-30 13:34:11.0