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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Computer

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
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 26-28
No TPTP formula. May not be expressible in strict first order. pictureList.kif 363-363
No TPTP formula. May not be expressible in strict first order. engineering.kif 1291-1291
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 25-25 Computer is a subclass of electric device

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 94-94 AppleComputer is a subclass of computer
No TPTP formula. May not be expressible in strict first order. Cars.kif 2512-2512 Engine control module is a subclass of computer
No TPTP formula. May not be expressible in strict first order. Cars.kif 3177-3177 Ignition control module is a subclass of computer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29034-29034 PortableComputer is a subclass of computer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16239-16239
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16238-16238
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16237-16237

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 201-201 The number 2 argument of computer running is an instance of computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3499-3499 The number 2 argument of %1 is a connected peripheral of 2 is an instance of computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3914-3914 The number 2 argument of deviceAccount is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1021-1021 The number 2 argument of hardware type is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2134-2134 The number 1 argument of host jitter is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 548-548 The number 2 argument of host of is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2116-2116 The number 1 argument of host status is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 760-760 The number 1 argument of ip address of is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1013-1013 The number 1 argument of number of CPUs is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 186-186 The number 2 argument of running on is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 337-337 The number 2 argument of runs on is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1039-1039 The number 1 argument of threshold of is an instance of computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4249-4249 The number 2 argument of trusted device is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 350-350 The number 2 argument of can run on is a subclass of computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 696-696 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 3442-3451
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3789-3803
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1788-1795

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


No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. naics.kif 5126-5150
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1728-1733
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2775-2782
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3290-3303
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4028-4035
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3764-3775
No TPTP formula. May not be expressible in strict first order. engineering.kif 1310-1317
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 155-162
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1670-1676
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4310-4321


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 3.0 is open source software produced by Articulate Software and its partners