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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerProgram
ComputerProgram(programme d'ordinateur)

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


(documentation ComputerProgram ChineseLanguage "这是一组可以由计算机执行的计算机编程语言的指令。") chinese_format.kif 3761-3761
(documentation ComputerProgram EnglishLanguage "A set of instructions in a computer programming language that can be executed by a computer.") Merge.kif 16959-16960
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") pictureList.kif 1707-1707
(lexicon ComputerProgram LexNoun "program") engineering.kif 1608-1608
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1607-1607
(subclass ComputerProgram Procedure) Merge.kif 16958-16958 Programme d'ordinateur est une sous-classe de proc�dure
(subclass ComputerProgram Software) ComputerInput.kif 813-813 Programme d'ordinateur est une sous-classe de Software

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1828-1828 JOPES est une instance de programme d'ordinateur
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2169-2169 AVCTP est une sous-classe de programme d'ordinateur
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2949-2949 AdobeFlashPlayer est une sous-classe de programme d'ordinateur
(subclass App ComputerProgram) ComputingBrands.kif 1947-1947 App est une sous-classe de programme d'ordinateur
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1970-1970 AppleAppStore est une sous-classe de programme d'ordinateur
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 917-917 AppleFaceTime est une sous-classe de programme d'ordinateur
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 955-955 AppleFairPlay est une sous-classe de programme d'ordinateur
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2932-2932 AppleFastAppSwitcher est une sous-classe de programme d'ordinateur
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 881-881 AppleGarageBand est une sous-classe de programme d'ordinateur
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 899-899 AppleICloud est une sous-classe de programme d'ordinateur
(subclass AppleILife ComputerProgram) ComputingBrands.kif 905-905 AppleILife est une sous-classe de programme d'ordinateur
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 893-893 AppleIMessages est une sous-classe de programme d'ordinateur
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 887-887 AppleIMovie est une sous-classe de programme d'ordinateur
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 911-911 AppleIWork est une sous-classe de programme d'ordinateur
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 988-988 AppleMigrationAssistant est une sous-classe de programme d'ordinateur
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 981-981 AppleSetupAssistant est une sous-classe de programme d'ordinateur
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1911-1911 ApplicationProgrammerInterface est une sous-classe de programme d'ordinateur
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 686-686 AutomaticApplication est une sous-classe de programme d'ordinateur
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2281-2281 Bookmarklet est une sous-classe de programme d'ordinateur
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2307-2307 CalendaringProgram est une sous-classe de programme d'ordinateur
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2329-2329 CameraProgram est une sous-classe de programme d'ordinateur
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 717-717 ConsoleApplication est une sous-classe de programme d'ordinateur
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 4049-4049 DHCPProgram est une sous-classe de programme d'ordinateur
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3102-3102 EmailProgram est une sous-classe de programme d'ordinateur
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4246-4246 FindMyIPhone est une sous-classe de programme d'ordinateur

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain CPUUtilizationFn 1 ComputerProgram) QoSontology.kif 1428-1428 Le nombre 1 argument de CPUUtilizationFn est une instance de programme d'ordinateur
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1421-1421 Le nombre 1 argument de InitialProfileFn est une instance de programme d'ordinateur
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 442-442 Le nombre 1 argument de ShutdownFn est une instance de programme d'ordinateur
(domain StartupFn 1 ComputerProgram) QoSontology.kif 402-402 Le nombre 1 argument de StartupFn est une instance de programme d'ordinateur
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1404-1404 Le nombre 1 argument de commandLineArguments est une instance de programme d'ordinateur
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 752-752 Le nombre 1 argument de criticalityLevel est une instance de programme d'ordinateur
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1353-1353 Le nombre 1 argument de dependencyDelay est une instance de programme d'ordinateur
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1330-1330 Le nombre 1 argument de dependencyType est une instance de programme d'ordinateur
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 462-462 Le nombre 1 argument de environmentAttributes est une instance de programme d'ordinateur
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1347-1347 Le nombre 1 argument de hasDependency est une instance de programme d'ordinateur
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1348-1348 Le nombre 2 argument de hasDependency est une instance de programme d'ordinateur
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4039-4039 Le nombre 1 argument de implementsProtocol est une instance de programme d'ordinateur
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 850-850 Le nombre 1 argument de maximumReplications est une instance de programme d'ordinateur
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 829-829 Le nombre 1 argument de minimumReplications est une instance de programme d'ordinateur
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 1083-1083 Le nombre 2 argument de monitorApplicationData est une instance de programme d'ordinateur
(domain portNumber 1 ComputerProgram) QoSontology.kif 877-877 Le nombre 1 argument de portNumber est une instance de programme d'ordinateur
(domain programCopy 2 ComputerProgram) QoSontology.kif 746-746 Le nombre 2 argument de programCopy est une instance de programme d'ordinateur
(domain programRunning 2 ComputerProgram) QoSontology.kif 210-210 Le nombre 2 argument de programRunning est une instance de programme d'ordinateur
(domain runningOn 1 ComputerProgram) QoSontology.kif 188-188 Le nombre 1 argument de runningOn est une instance de programme d'ordinateur
(domain runsOn 1 ComputerProgram) QoSontology.kif 339-339 Le nombre 1 argument de runsOn est une instance de programme d'ordinateur
(domain settlingTime 1 ComputerProgram) QoSontology.kif 822-822 Le nombre 1 argument de settlingTime est une instance de programme d'ordinateur
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 414-414 Le nombre 2 argument de shutdownOf est une instance de programme d'ordinateur
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 1030-1030 Le nombre 1 argument de softwareHeartBeatRate est une instance de programme d'ordinateur
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3860-3860 Le nombre 1 argument de softwareVersion est une instance de programme d'ordinateur
(domain startupOf 2 ComputerProgram) QoSontology.kif 374-374 Le nombre 2 argument de startupOf est une instance de programme d'ordinateur

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?I SoftwareInstallation)
        (dataProcessed ?I ?P)
        (instance ?P ComputerProgram)
        (destination ?I ?C))
    (hasPurpose ?I
        (exists (?PROC)
            (computerRunning ?PROC ?C))))
ComputingBrands.kif 3588-3596
(=>
    (and
        (instance ?U SoftwareUnInstallation)
        (equal ?T2
            (WhenFn ?U))
        (dataProcessed ?U ?P)
        (instance ?P ComputerProgram)
        (located ?U ?C))
    (exists (?I ?T1)
        (and
            (instance ?I SoftwareInstallation)
            (equal ?T1
                (WhenFn ?I))
            (dataProcessed ?I ?P)
            (instance ?P ComputerProgram)
            (located ?I ?C)
            (earlier ?T1 ?T2))))
ComputingBrands.kif 3598-3612

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


(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer))
    (exists (?P)
        (and
            (objectTransferred ?SU ?P)
            (instance ?P ComputerProgram)
            (holdsDuring
                (BeginFn
                    (WhenFn ?SU)
                    (softwareVersion ?P PreviousVersion)))
            (holdsDuring
                (EndFn
                    (WhenFn ?SU)
                    (softwareVersion ?P CurrentVersion))))))
ComputingBrands.kif 3821-3835
(=>
    (and
        (instance ?U SoftwareUnInstallation)
        (equal ?T2
            (WhenFn ?U))
        (dataProcessed ?U ?P)
        (instance ?P ComputerProgram)
        (located ?U ?C))
    (exists (?I ?T1)
        (and
            (instance ?I SoftwareInstallation)
            (equal ?T1
                (WhenFn ?I))
            (dataProcessed ?I ?P)
            (instance ?P ComputerProgram)
            (located ?I ?C)
            (earlier ?T1 ?T2))))
ComputingBrands.kif 3598-3612
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 1929-1934
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 3163-3170
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 16966-16971
(=>
    (instance ?CP ComputerProtocol)
    (hasPurpose ?CP
        (exists (?P1 ?P2 ?C)
            (and
                (instance ?P1 ComputerProgram)
                (instance ?P2 ComputerProgram)
                (instance ?C DataTransfer)
                (origin ?C ?P1)
                (destination ?C ?P2)
                (represents ?CP ?C)))))
ComputingBrands.kif 1736-1746
(=>
    (instance ?FILE SoftwareFile)
    (exists (?PROGRAM ?SUBPROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
            (containsInformation ?FILE ?SUBPROGRAM))))
Media.kif 1536-1542
(=>
    (instance ?G GUIDock)
    (exists (?I ?P ?CP)
        (and
            (instance ?CP ComputerProgram)
            (programRunning ?P ?CP)
            (instance ?I Icon)
            (represents ?I ?P)
            (orientation ?I ?G Inside))))
ComputingBrands.kif 2544-2552
(=>
    (instance ?MODULE_SERVER PageModuleServer)
    (part ?MODULE_SERVER ComputerProgram))
UXExperimentalTerms.kif 2008-2010
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?PROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (part ?PROGRAM ?PACK))))
ComputerInput.kif 819-824
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 158-165
(=>
    (instance ?R Robot)
    (hasPurpose ?R
        (exists (?PROC ?COMP)
            (and
                (instance ?PROC ComputerProcess)
                (instance ?COMP ComputerProgram)
                (computerRunning ?PROC ?COMP)
                (patient ?PROC ?R)
                (holdsDuring
                    (WhenFn ?PROC)
                    (exists (?INT)
                        (and
                            (instance ?INT IntentionalProcess)
                            (instrument ?INT ?R))))))))
engineering.kif 999-1013
(=>
    (instance ?RM RMStartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))
QoSontology.kif 708-715
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))
QoSontology.kif 670-678


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