TreeView Knowledge Base Browser - InternalHardDisk

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

InternalHardDisk

Sigma KEE - InternalHardDisk

InternalHardDisk(internal hard disk)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 672-673
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 670-670	Internal hard disk is a subclass of hard disk
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 671-671	Internal hard disk is a subclass of internal digital data storage device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 745-745	External disk drive is disjoint from internal hard disk
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 686-686	Removable disk is disjoint from internal hard disk
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65039-65039

antecedent

No TPTP formula. May not be expressible in strict first order.

ComputerInput.kif 675-680

If a corpuscular object is an instance of internal hard disk,
then there exists another corpuscular object such that the other corpuscular object is an instance of hard disk drive and the corpuscular object is a component of the other corpuscular object

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