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 16784-16785
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") pictureList.kif 1708-1708
(lexicon ComputerProgram LexNoun "program") engineering.kif 1295-1295
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1294-1294
(subclass ComputerProgram Procedure) Merge.kif 16783-16783 コンピュータープログラム手順subclass では %n
(subclass ComputerProgram Software) ComputerInput.kif 813-813 コンピュータープログラムSoftwaresubclass では %n

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1828-1828 JOPESコンピュータープログラムinstance では %n
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2169-2169 オーディオ/ビデオ制御トランスポートプロトコルコンピュータープログラムsubclass では %n
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2949-2949 Flashコンピュータープログラムsubclass では %n
(subclass App ComputerProgram) ComputingBrands.kif 1947-1947 アプリコンピュータープログラムsubclass では %n
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1970-1970 Apple app store コンピュータープログラムsubclass では %n
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 917-917 FaceTimeコンピュータープログラムsubclass では %n
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 955-955 FairPlayコンピュータープログラムsubclass では %n
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2932-2932 Apple Fast App Switcherコンピュータープログラムsubclass では %n
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 881-881 GarageBandコンピュータープログラムsubclass では %n
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 899-899 ICloudコンピュータープログラムsubclass では %n
(subclass AppleILife ComputerProgram) ComputingBrands.kif 905-905 ILifeコンピュータープログラムsubclass では %n
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 893-893 IMessagesコンピュータープログラムsubclass では %n
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 887-887 IMovieコンピュータープログラムsubclass では %n
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 911-911 IWorkコンピュータープログラムsubclass では %n
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 988-988 Migration Assistantコンピュータープログラムsubclass では %n
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 981-981 設定アシスタントコンピュータープログラムsubclass では %n
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1911-1911 アプリケーションプログラマインタ フェースコンピュータープログラムsubclass では %n
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 578-578 AutomaticApplicationコンピュータープログラムsubclass では %n
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2281-2281 ブックマークレットコンピュータープログラムsubclass では %n
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2307-2307 CalendaringProgramコンピュータープログラムsubclass では %n
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2329-2329 カメラコンピュータープログラムsubclass では %n
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 608-608 ConsoleApplicationコンピュータープログラムsubclass では %n
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 4054-4054 DHCPProgramコンピュータープログラムsubclass では %n
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3102-3102 メーラーコンピュータープログラムsubclass では %n
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4251-4251 FindMyIPhoneコンピュータープログラムsubclass では %n

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 1319-1319 CPUUtilizationFn の数値 1 引数は コンピュータープログラムinstance では %n
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1312-1312 InitialProfileFn の数値 1 引数は コンピュータープログラムinstance では %n
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 441-441 ShutdownFn の数値 1 引数は コンピュータープログラムinstance では %n
(domain StartupFn 1 ComputerProgram) QoSontology.kif 401-401 StartupFn の数値 1 引数は コンピュータープログラムinstance では %n
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1295-1295 commandLineArguments の数値 1 引数は コンピュータープログラムinstance では %n
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 643-643 criticalityLevel の数値 1 引数は コンピュータープログラムinstance では %n
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1244-1244 dependencyDelay の数値 1 引数は コンピュータープログラムinstance では %n
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1221-1221 dependencyType の数値 1 引数は コンピュータープログラムinstance では %n
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 461-461 environmentAttributes の数値 1 引数は コンピュータープログラムinstance では %n
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1238-1238 hasDependency の数値 1 引数は コンピュータープログラムinstance では %n
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1239-1239 hasDependency の数値 2 引数は コンピュータープログラムinstance では %n
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4044-4044 implementsProtocol の数値 1 引数は コンピュータープログラムinstance では %n
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 741-741 maximumReplications の数値 1 引数は コンピュータープログラムinstance では %n
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 720-720 minimumReplications の数値 1 引数は コンピュータープログラムinstance では %n
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 974-974 monitorApplicationData の数値 2 引数は コンピュータープログラムinstance では %n
(domain portNumber 1 ComputerProgram) QoSontology.kif 768-768 portNumber の数値 1 引数は コンピュータープログラムinstance では %n
(domain programCopy 2 ComputerProgram) QoSontology.kif 637-637 programCopy の数値 2 引数は コンピュータープログラムinstance では %n
(domain programRunning 2 ComputerProgram) QoSontology.kif 209-209 programRunning の数値 2 引数は コンピュータープログラムinstance では %n
(domain runningOn 1 ComputerProgram) QoSontology.kif 187-187 runningOn の数値 1 引数は コンピュータープログラムinstance では %n
(domain runsOn 1 ComputerProgram) QoSontology.kif 338-338 runsOn の数値 1 引数は コンピュータープログラムinstance では %n
(domain settlingTime 1 ComputerProgram) QoSontology.kif 713-713 settlingTime の数値 1 引数は コンピュータープログラムinstance では %n
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 413-413 shutdownOf の数値 2 引数は コンピュータープログラムinstance では %n
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 921-921 softwareHeartBeatRate の数値 1 引数は コンピュータープログラムinstance では %n
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3865-3865 softwareVersion の数値 1 引数は コンピュータープログラムinstance では %n
(domain startupOf 2 ComputerProgram) QoSontology.kif 373-373 startupOf の数値 2 引数は コンピュータープログラムinstance では %n

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 3593-3601
(=>
    (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 3603-3617

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 3826-3840
(=>
    (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 3603-3617
(=>
    (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 3167-3174
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 16791-16796
(=>
    (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 1534-1540
(=>
    (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 157-164
(=>
    (instance ?RM RMStartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))
QoSontology.kif 599-606
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))
QoSontology.kif 562-570


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