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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerHardware
ComputerHardware

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 60-61
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 596-596 ComputerHardware e' uma sub-classe de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 59-59 ComputerHardware e' uma sub-classe de Produto

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 539-539 partTypes InternalComputerLoudspeaker and ComputerHardware
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 811-811 ComputerComponent e' uma sub-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 467-467 ComputerInputDevice e' uma sub-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 477-477 ComputerOutputDevice e' uma sub-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 288-288 HardwareSystem e' uma sub-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1668-1668 Sensor e' uma sub-classe de ComputerHardware
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16308-16308
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16307-16307
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16306-16306

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3533-3533 O argumento numero 1 de connectedPeripheral e' uma instancia de ComputerHardware

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 63-68 Objeto Corpuscular e' uma instancia de ComputerHardware Objeto Corpuscular Objeto Corpuscular e' uma instancia de Computer Objeto Corpuscular e' um componente de Objeto Corpuscular


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