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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Computer
Computer(computer)
ADPS, ADP_system, PC, PDA, analog_computer, analogue_computer, automatic_data_processing_system, client, computer, computer_system, computing_device, computing_machine, computing_system, data_processor, digital_computer, electronic_computer, file_server, guest, home_computer, information_processing_system, mainframe, mainframe_computer, microcomputer, node, non-dedicated_file_server, number_cruncher, organiser, organizer, pari-mutuel_machine, personal_computer, personal_digital_assistant, personal_organiser, personal_organizer, platform, predictor, supercomputer, totalisator, totaliser, totalizator, totalizer, workstation

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


s__documentation(s__Computer,s__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
s__externalImage(s__Computer,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ bullets/ computer_20.png"')

pictureList.kif 363-363
s__lexicon(s__Computer,s__LexNoun,'"computer"')

engineering.kif 1291-1291
s__subclass(s__Computer,s__ElectricDevice)

s__instance(s__ElectricDevice,s__Class)

s__instance(s__Computer,s__Class)

QoSontology.kif 25-25 Computer is a subclass of electric device

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


s__subclass(s__AppleComputer,s__Computer)

s__instance(s__AppleComputer,s__Class)

s__instance(s__Computer,s__Class)

ComputingBrands.kif 95-95 AppleComputer is a subclass of computer
s__instance(s__EngineControlModule,s__Class)

s__subclass(s__EngineControlModule,s__Computer)

s__instance(s__Computer,s__Class)

Cars.kif 2512-2512 Engine control module is a subclass of computer
s__subclass(s__IgnitionControlModule,s__Computer)

s__instance(s__IgnitionControlModule,s__Class)

s__instance(s__Computer,s__Class)

Cars.kif 3177-3177 Ignition control module is a subclass of computer
s__subclass(s__PortableComputer,s__Computer)

s__instance(s__PortableComputer,s__Class)

s__instance(s__Computer,s__Class)

Mid-level-ontology.kif 28589-28589 PortableComputer is a subclass of computer
s__termFormat(s__ChineseLanguage,s__Computer,'"电脑"')

domainEnglishFormat.kif 16239-16239
s__termFormat(s__ChineseTraditionalLanguage,s__Computer,'"電腦"')

domainEnglishFormat.kif 16238-16238
s__termFormat(s__EnglishLanguage,s__Computer,'"computer"')

domainEnglishFormat.kif 16237-16237

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


s__domain(s__computerRunning__m,n__2,s__Computer)

QoSontology.kif 201-201 The number 2 argument of computer running is an instance of computer
s__domain(s__connectedPeripheral__m,n__2,s__Computer)

ComputingBrands.kif 3507-3507 The number 2 argument of %1 is a connected peripheral of 2 is an instance of computer
s__domain(s__deviceAccount__m,n__2,s__Computer)

ComputingBrands.kif 3922-3922 The number 2 argument of deviceAccount is an instance of computer
s__domain(s__hardwareType__m,n__2,s__Computer)

QoSontology.kif 1021-1021 The number 2 argument of hardware type is an instance of computer
s__domain(s__hostJitter__m,n__1,s__Computer)

QoSontology.kif 2135-2135 The number 1 argument of host jitter is an instance of computer
s__domain(s__hostOf__m,n__2,s__Computer)

QoSontology.kif 548-548 The number 2 argument of host of is an instance of computer
s__domain(s__hostStatus__m,n__1,s__Computer)

QoSontology.kif 2117-2117 The number 1 argument of host status is an instance of computer
s__domain(s__ipAddressOf__m,n__1,s__Computer)

QoSontology.kif 760-760 The number 1 argument of ip address of is an instance of computer
s__domain(s__numberOfCPUs__m,n__1,s__Computer)

QoSontology.kif 1013-1013 The number 1 argument of number of CPUs is an instance of computer
s__domain(s__runningOn__m,n__2,s__Computer)

QoSontology.kif 186-186 The number 2 argument of running on is an instance of computer
s__domain(s__runsOn__m,n__2,s__Computer)

QoSontology.kif 337-337 The number 2 argument of runs on is an instance of computer
s__domain(s__thresholdOf__m,n__1,s__Computer)

QoSontology.kif 1039-1039 The number 1 argument of threshold of is an instance of computer
s__domain(s__trustedDevice__m,n__2,s__Computer)

ComputingBrands.kif 4257-4257 The number 2 argument of trusted device is an instance of computer
s__domainSubclass(s__canRunOn__m,n__2,s__Computer)

QoSontology.kif 350-350 The number 2 argument of can run on is a subclass of computer
s__domainSubclass(s__deviceOS__m,n__2,s__Computer)

ComputingBrands.kif 697-697 The number 2 argument of deviceOS is a subclass of computer

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3450-3459
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3797-3811

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


( ! [V__Hardware] :
   (((s__instance(V__Hardware,s__ComputerHardware) =>
         ( ? [V__Computer] :
           ((s__instance(V__Computer,s__Computer) &
               s__component(V__Hardware,V__Computer)))))
     &
     (( ? [V__Computer] :
         ((s__instance(V__Computer,s__Computer) &
             s__component(V__Hardware,V__Computer))))
     =>
     s__instance(V__Hardware,s__ComputerHardware)))
)
)

QoSontology.kif 63-68 A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object
( ! [V__ORG,V__ELEC] :
   ((s__instance(V__ELEC,s__Object) =>
       (((s__instance(V__ORG,s__Organization) &
             s__attribute(V__ORG,s__ComputerAndElectronicProductManufacturing))
           =>
           (( ? [V__EV, V__MEM] :
               ((s__instance(V__MEM,s__Process) &
                   (s__member(V__MEM,V__ORG)
                   &
                   s__agent(V__MEM,V__EV)
                 &
                 ( ? [V__THING, V__MEM2, V__EV2] :
                   ((s__instance(V__MEM2,s__Agent) &
                       (s__instance(V__EV,s__Manufacture) &
                         (s__instance(V__THING,s__Computer) |
                           (s__instance(V__THING,s__Machine) &
                             ( ? [V__EV3] :
                               ((s__instance(V__EV3,s__Process) &
                                   (s__patient(V__EV3,V__THING)
                                   &
                                   s__resource(V__EV3,V__ELEC)
                                 &
                                 s__instance(V__ELEC,s__Electricity)))))))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))))
)
)

naics.kif 5133-5157
( ! [V__User] :
   ((s__instance(V__User,s__Object) =>
       ((s__attribute(V__User,s__ComputerUser) =>
           (( ? [V__Computer] :
               ((s__instance(V__Computer,s__Computer) &
                   s__uses(V__User,V__Computer))))))))
   )
)

QoSontology.kif 1728-1733
( ! [V__CS] :
   ((s__instance(V__CS,s__ComputerSystem) =>
       (( ? [V__C1, V__C2, V__CN] :
           ((s__instance(V__C1,s__Computer) &
               s__instance(V__C2,s__Computer) &
               s__instance(V__CN,s__ComputerNetwork) &
               s__member(V__C1,V__CS)
             &
             s__member(V__C2,V__CS)
           &
           s__member(V__CN,V__CS)
         &
         ~((V__C1 = V__C2))
         &
         s__connectedEngineeringComponents(V__C1,V__CN)
       &
       s__connectedEngineeringComponents(V__C2,V__CN))))))
)
)

ComputingBrands.kif 3298-3311
( ! [V__D] :
   ((s__instance(V__D,s__DHCPServer) =>
       (( ? [V__PROG, V__C] :
           ((s__instance(V__C,s__Computer) &
               s__instance(V__PROG,s__DHCPProgram) &
               s__computerRunning(V__D,V__C)
             &
             s__programRunning(V__D,V__PROG))))))
)
)

ComputingBrands.kif 4036-4043
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3772-3783
( ! [V__PROCESS] :
   ((s__instance(V__PROCESS,s__ITProcess) =>
       (( ? [V__AGENT, V__PATIENT] :
           ((s__agent(V__PROCESS,V__AGENT)
             &
             s__patient(V__PROCESS,V__PATIENT)
           &
           s__instance(V__AGENT,s__ITAgent) &
           s__instance(V__PATIENT,s__Computer))))))
)
)

engineering.kif 1310-1317
( ! [V__Process] :
   ((s__instance(V__Process,s__ComputerProcess) =>
       (( ? [V__Computer, V__Program] :
           ((s__instance(V__Computer,s__Computer) &
               s__computerRunning(V__Process,V__Computer)
             &
             s__instance(V__Program,s__ComputerProgram) &
             s__programRunning(V__Process,V__Program))))))
)
)

QoSontology.kif 155-162
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1645-1651
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4318-4329


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