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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diskTypeForDrive

 Sigma KEE - diskTypeForDrive
diskTypeForDrive

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 738-740
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 736-736 O argumento numero 1 de diskTypeForDrive e' uma sub-classe de ComputerDisk
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 737-737 O argumento numero 2 de diskTypeForDrive e' uma sub-classe de DiskDrive
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 735-735 diskTypeForDrive e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3262-3262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3261-3261
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3260-3260
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65811-65811

appearance as argument number 0
-------------------------


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. ComputerInput.kif 760-760 diskTypeForDrive CartridgeHardDisk and CartridgeHardDiskDrive
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 777-777 diskTypeForDrive CompactDisc and CDDrive
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 781-781 diskTypeForDrive DVD and DVDDrive
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 768-768 diskTypeForDrive FloppyDisk and FloppyDiskDrive
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 773-773 diskTypeForDrive OpticalDisc and OpticalDiscDrive


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