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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Computer

Sigma KEE - Computer
Computer
حاسِب, حاسِب آلي, حاسِبة الكْترُونِيّة, حاسُوب, كمبيوتر,

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


(defaultMaximumHeight Computer
    (MeasureFn 23 Inch))
DimensioningAmenities.kif 680-680
(defaultMaximumLength Computer
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 684-684
(defaultMaximumMeasure Computer
    (MeasureFn 30 PoundMass))
DimensioningAmenities.kif 686-686
(defaultMaximumWidth Computer
    (MeasureFn 9 Inch))
DimensioningAmenities.kif 682-682
(defaultMinimumHeight Computer
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 679-679
(defaultMinimumLength Computer
    (MeasureFn 19 Inch))
DimensioningAmenities.kif 683-683
(defaultMinimumMeasure Computer
    (MeasureFn 5 PoundMass))
DimensioningAmenities.kif 685-685
(defaultMinimumWidth Computer
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 681-681
(documentation Computer EnglishLanguage "A general-purpose machine that processes data according to a set of instructions that are stored internally either temporarily or permanently.") QoSontology.kif 26-28
(externalImage Computer "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ bullets/ computer_20.png") pictureList.kif 363-363
(lexicon Computer LexNoun "computer") engineering.kif 1296-1296
(subclass Computer ElectricDevice) QoSontology.kif 25-25

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


(subclass EngineControlModule Computer) Cars.kif 2539-2539
(subclass IgnitionControlModule Computer) Cars.kif 3189-3189
(subclass PortableComputer Computer) Mid-level-ontology.kif 27259-27259
(termFormat EnglishLanguage Computer "computer") domainEnglishFormat.kif 3129-3129

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


(domain computerRunning 2 Computer) QoSontology.kif 198-198
(domain hardwareType 2 Computer) QoSontology.kif 1012-1012
(domain hostJitter 1 Computer) QoSontology.kif 2109-2109
(domain hostOf 2 Computer) QoSontology.kif 548-548
(domain hostStatus 1 Computer) QoSontology.kif 2091-2091
(domain ipAddressOf 1 Computer) QoSontology.kif 752-752
(domain numberOfCPUs 1 Computer) QoSontology.kif 1004-1004
(domain runningOn 2 Computer) QoSontology.kif 183-183
(domain runsOn 2 Computer) QoSontology.kif 334-334
(domain thresholdOf 1 Computer) QoSontology.kif 1030-1030

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


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ComputerAndElectronicProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Computer)
                        (and
                            (instance ?THING Machine)
                            (exists (?EV3)
                                (and
                                    (patient ?EV3 ?THING)
                                    (resource ?EV3 ?ELEC)
                                    (instance ?ELEC Electricity)))))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 5133-5157
(=>
    (instance ?DOWNLOAD Downloading)
    (exists (?FILE ?COMPUTER)
        (and
            (instance ?DOWNLOAD Transfer)
            (or
                (instance ?FILE ComputerFile)
                (instance ?FILE ComputerProgram))
            (instance ?COMPUTER Computer)
            (instance ?STORAGEDEVICE DigitalDataStorageDevice)
            (patient ?DOWNLOAD ?FILE)
            (agent ?DOWNLOAD ?COMPUTER)
            (origin ?DOWNLOAD ?STORAGEDEVICE)
            (destination ?DOWNLOAD ?COMPUTER))))
Facebook.kif 505-518
(=>
    (instance ?PROCESS ITProcess)
    (exists (?AGENT ?PATIENT)
        (and
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?PATIENT)
            (instance ?AGENT ITAgent)
            (instance ?PATIENT Computer))))
engineering.kif 1315-1322
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 152-159
(=>
    (instance ?UPLOAD Uploading)
    (exists (?FILE ?COMPUTER)
        (and
            (instance ?UPLOAD Transfer)
            (or
                (instance ?FILE ComputerFile)
                (instance ?FILE ComputerProgram))
            (instance ?COMPUTER Computer)
            (instance ?STORAGEDEVICE DigitalDataStorageDevice)
            (patient ?UPLOAD ?FILE)
            (agent ?UPLOAD ?COMPUTER)
            (origin ?UPLOAD ?COMPUTER)
            (destination ?UPLOAD ?STORAGEDEVICE))))
Facebook.kif 479-492
(=>
    (instance ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?User ?Computer))))
QoSontology.kif 1719-1724
(=>
    (instance ?X BusinessCenter)
    (modalAttribute
        (exists (?COMP)
            (and
                (instance ?COMP Computer)
                (located ?COMP ?X))) Likely))
Hotel.kif 1614-1620


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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