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 433-433
(defaultMaximumLength Computer
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 437-437
(defaultMaximumMeasure Computer
    (MeasureFn 30 PoundMass))
DimensioningAmenities.kif 439-439
(defaultMaximumWidth Computer
    (MeasureFn 9 Inch))
DimensioningAmenities.kif 435-435
(defaultMinimumHeight Computer
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 432-432
(defaultMinimumLength Computer
    (MeasureFn 19 Inch))
DimensioningAmenities.kif 436-436
(defaultMinimumMeasure Computer
    (MeasureFn 5 PoundMass))
DimensioningAmenities.kif 438-438
(defaultMinimumWidth Computer
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 434-434
(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 1286-1286
(subclass Computer ElectricDevice) QoSontology.kif 25-25

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


(subclass EngineControlModule Computer) Cars.kif 2498-2498
(subclass IgnitionControlModule Computer) Cars.kif 3148-3148
(subclass PortableComputer Computer) Mid-level-ontology.kif 27620-27620
(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 995-995
(domain hostJitter 1 Computer) QoSontology.kif 2092-2092
(domain hostOf 2 Computer) QoSontology.kif 531-531
(domain hostStatus 1 Computer) QoSontology.kif 2074-2074
(domain ipAddressOf 1 Computer) QoSontology.kif 735-735
(domain numberOfCPUs 1 Computer) QoSontology.kif 987-987
(domain runningOn 2 Computer) QoSontology.kif 183-183
(domain runsOn 2 Computer) QoSontology.kif 334-334
(domain thresholdOf 1 Computer) QoSontology.kif 1013-1013

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 1305-1312
(=>
    (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 1702-1707
(=>
    (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