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


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 1605-1605
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 101-101 Apple Computer is a subclass of computer
No TPTP formula. May not be expressible in strict first order. Cars.kif 2496-2496 Engine control module is a subclass of computer
No TPTP formula. May not be expressible in strict first order. Cars.kif 3238-3238 Ignition control module is a subclass of computer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31449-31449 Portable computer is a subclass of computer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16257-16257 Portable computer is a subclass of computer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16256-16256 Portable computer is a subclass of computer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16255-16255 Portable computer is a subclass of computer

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 204-204 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 3529-3529 The number 2 argument of connected peripheral is an instance of computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3946-3946 The number 2 argument of device account is an instance of computer
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1132-1132 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 2261-2261 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 658-658 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 2243-2243 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 871-871 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 1124-1124 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 189-189 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 340-340 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 1143-1143 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 4281-4281 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 353-353 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 728-728 The number 2 argument of device OS is a subclass of computer

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3472-3482
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3821-3835
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3213-3225
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1820-1827

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 1854-1859
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2779-2786
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3320-3333
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4060-4067
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3796-3807
No TPTP formula. May not be expressible in strict first order. engineering.kif 1624-1631
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 158-165
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1681-1687
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4342-4353


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