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 16668-16669
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") pictureList.kif 1709-1709
(lexicon ComputerProgram LexNoun "program") engineering.kif 1294-1294
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1293-1293
(subclass ComputerProgram Procedure) Merge.kif 16667-16667 コンピュータープログラム は 手順 の subclass では %n
(subclass ComputerProgram Software) ComputerInput.kif 813-813 コンピュータープログラム は Software の subclass では %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 4052-4052 DHCPProgram は コンピュータープログラム の subclass では %n
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3102-3102 メーラー は コンピュータープログラム の subclass では %n
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4249-4249 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 4042-4042 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 3863-3863 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 3591-3599
(=>
    (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 3601-3615

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 3824-3838
(=>
    (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 3601-3615
(=>
    (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 16675-16680
(=>
    (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 2214-2216
(=>
    (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 RM-StartApplication)
    (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