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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerProgram
ComputerProgram

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 15485-15486
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") pictureList.kif 1709-1709 externalImage ComputerProgram and "http://upload.wikimedia.org/wikipedia/en/3/3f/Computer_program_source_code.jpg"
(lexicon ComputerProgram LexNoun "program") engineering.kif 1289-1289 lexicon ComputerProgram, LexNoun and "program"
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1288-1288 lexicon ComputerProgram, LexNoun and "{computer program}"
(subclass ComputerProgram Procedure) Merge.kif 15484-15484 subclass ComputerProgram and Procedure
(subclass ComputerProgram Software) ComputerInput.kif 735-735 subclass ComputerProgram and Software

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1809-1809 instance JOPES and ComputerProgram
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2149-2149 subclass オーディオ/ビデオ制御トランスポートプロトコル and ComputerProgram
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2922-2922 subclass Flash and ComputerProgram
(subclass App ComputerProgram) ComputingBrands.kif 1927-1927 subclass アプリ and ComputerProgram
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1950-1950 subclass Apple app store and ComputerProgram
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 894-894 subclass FaceTime and ComputerProgram
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 932-932 subclass FairPlay and ComputerProgram
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2905-2905 subclass Apple Fast App Switcher and ComputerProgram
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 858-858 subclass GarageBand and ComputerProgram
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 876-876 subclass iCloud and ComputerProgram
(subclass AppleILife ComputerProgram) ComputingBrands.kif 882-882 subclass AppleILife and ComputerProgram
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 870-870 subclass iMessages and ComputerProgram
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 864-864 subclass iMovie and ComputerProgram
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 888-888 subclass iWork and ComputerProgram
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 965-965 subclass Migration Assistant and ComputerProgram
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 958-958 subclass 設定アシスタント and ComputerProgram
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1891-1891 subclass アプリケーションプログラマインタ フェース and ComputerProgram
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 576-576 subclass AutomaticApplication and ComputerProgram
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2261-2261 subclass ブックマークレット and ComputerProgram
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2287-2287 subclass CalendaringProgram and ComputerProgram
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2309-2309 subclass カメラ and ComputerProgram
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 606-606 subclass ConsoleApplication and ComputerProgram
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 3979-3979 subclass DHCPProgram and ComputerProgram
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3075-3075 subclass メーラー and ComputerProgram
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4135-4135 subclass FindMyIPhone and ComputerProgram

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 1324-1324 domain CPUUtilizationFn, 1 and ComputerProgram
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1317-1317 domain InitialProfileFn, 1 and ComputerProgram
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 439-439 domain ShutdownFn, 1 and ComputerProgram
(domain StartupFn 1 ComputerProgram) QoSontology.kif 399-399 domain StartupFn, 1 and ComputerProgram
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1300-1300 domain commandLineArguments, 1 and ComputerProgram
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 641-641 domain criticalityLevel, 1 and ComputerProgram
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1249-1249 domain dependencyDelay, 1 and ComputerProgram
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1226-1226 domain dependencyType, 1 and ComputerProgram
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 459-459 domain environmentAttributes, 1 and ComputerProgram
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1243-1243 domain hasDependency, 1 and ComputerProgram
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1244-1244 domain hasDependency, 2 and ComputerProgram
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 3969-3969 domain implementsProtocol, 1 and ComputerProgram
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 739-739 domain maximumReplications, 1 and ComputerProgram
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 718-718 domain minimumReplications, 1 and ComputerProgram
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 972-972 domain monitorApplicationData, 2 and ComputerProgram
(domain portNumber 1 ComputerProgram) QoSontology.kif 766-766 domain portNumber, 1 and ComputerProgram
(domain programCopy 2 ComputerProgram) QoSontology.kif 635-635 domain programCopy, 2 and ComputerProgram
(domain programRunning 2 ComputerProgram) QoSontology.kif 207-207 domain programRunning, 2 and ComputerProgram
(domain runningOn 1 ComputerProgram) QoSontology.kif 185-185 domain runningOn, 1 and ComputerProgram
(domain runsOn 1 ComputerProgram) QoSontology.kif 336-336 domain runsOn, 1 and ComputerProgram
(domain settlingTime 1 ComputerProgram) QoSontology.kif 711-711 domain settlingTime, 1 and ComputerProgram
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 411-411 domain shutdownOf, 2 and ComputerProgram
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 919-919 domain softwareHeartBeatRate, 1 and ComputerProgram
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3811-3811 domain softwareVersion, 1 and ComputerProgram
(domain softwareVersion 2 ComputerProgram) ComputingBrands.kif 3812-3812 domain softwareVersion, 2 and ComputerProgram

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 3585-3593
(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))
ComputingBrands.kif 3830-3843
(=>
    (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 3595-3609

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


(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))
ComputingBrands.kif 3830-3843
(=>
    (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 3595-3609
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 1909-1914
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 3157-3164
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 15492-15497
(=>
    (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 1713-1723
(=>
    (instance ?FILE SoftwareFile)
    (exists (?PROGRAM ?SUBPROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
            (containsInformation ?FILE ?SUBPROGRAM))))
Media.kif 1524-1530
(=>
    (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 2513-2521
(=>
    (instance ?MODULE_SERVER PageModuleServer)
    (part ?MODULE_SERVER ComputerProgram))
UXExperimentalTerms.kif 2212-2214
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?PROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (part ?PROGRAM ?PACK))))
ComputerInput.kif 740-745
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 155-162
(=>
    (instance ?RM RM-StartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))
QoSontology.kif 597-604
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))
QoSontology.kif 560-568


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners