TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 1189-1189	BluRayDisc e' disjunto de CompactDisc
No TPTP formula. May not be expressible in strict first order.	Media.kif 1190-1190	BluRayDisc e' disjunto de DVD
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 785-785	diskTypeForDrive BluRayDisc and BluRayDrive
No TPTP formula. May not be expressible in strict first order.	Media.kif 1188-1188
No TPTP formula. May not be expressible in strict first order.	Media.kif 1187-1187	BluRayDisc e' uma sub-classe de OpticalDisc

appearance as argument number 2

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

domainEnglishFormat.kif 64547-64547

antecedent

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

Media.kif 1192-1202