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 16944-16945
(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 16943-16943 コンピュータープログラム は 手順 の subclass では
(subclass ComputerProgram Software) ComputerInput.kif 813-813 コンピュータープログラム は Software の subclass では

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


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

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 CPUUtilizationFn の数値 1 引数は コンピュータープログラム の instance では
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1421-1421 InitialProfileFn の数値 1 引数は コンピュータープログラム の instance では
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 442-442 ShutdownFn の数値 1 引数は コンピュータープログラム の instance では
(domain StartupFn 1 ComputerProgram) QoSontology.kif 402-402 StartupFn の数値 1 引数は コンピュータープログラム の instance では
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1404-1404 commandLineArguments の数値 1 引数は コンピュータープログラム の instance では
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 752-752 criticalityLevel の数値 1 引数は コンピュータープログラム の instance では
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1353-1353 dependencyDelay の数値 1 引数は コンピュータープログラム の instance では
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1330-1330 dependencyType の数値 1 引数は コンピュータープログラム の instance では
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 462-462 environmentAttributes の数値 1 引数は コンピュータープログラム の instance では
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1347-1347 hasDependency の数値 1 引数は コンピュータープログラム の instance では
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1348-1348 hasDependency の数値 2 引数は コンピュータープログラム の instance では
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4039-4039 implementsProtocol の数値 1 引数は コンピュータープログラム の instance では
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 850-850 maximumReplications の数値 1 引数は コンピュータープログラム の instance では
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 829-829 minimumReplications の数値 1 引数は コンピュータープログラム の instance では
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 1083-1083 monitorApplicationData の数値 2 引数は コンピュータープログラム の instance では
(domain portNumber 1 ComputerProgram) QoSontology.kif 877-877 portNumber の数値 1 引数は コンピュータープログラム の instance では
(domain programCopy 2 ComputerProgram) QoSontology.kif 746-746 programCopy の数値 2 引数は コンピュータープログラム の instance では
(domain programRunning 2 ComputerProgram) QoSontology.kif 210-210 programRunning の数値 2 引数は コンピュータープログラム の instance では
(domain runningOn 1 ComputerProgram) QoSontology.kif 188-188 runningOn の数値 1 引数は コンピュータープログラム の instance では
(domain runsOn 1 ComputerProgram) QoSontology.kif 339-339 runsOn の数値 1 引数は コンピュータープログラム の instance では
(domain settlingTime 1 ComputerProgram) QoSontology.kif 822-822 settlingTime の数値 1 引数は コンピュータープログラム の instance では
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 414-414 shutdownOf の数値 2 引数は コンピュータープログラム の instance では
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 1030-1030 softwareHeartBeatRate の数値 1 引数は コンピュータープログラム の instance では
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3860-3860 softwareVersion の数値 1 引数は コンピュータープログラム の instance では
(domain startupOf 2 ComputerProgram) QoSontology.kif 374-374 startupOf の数値 2 引数は コンピュータープログラム の instance では

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 16951-16956
(=>
    (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