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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Alfalfa

 Sigma KEE - ComputerIODevice
ComputerIODevice

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 120-121
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 119-119 ComputerIODevice e' uma sub-classe de ComputerInputDevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 118-118 ComputerIODevice e' uma sub-classe de ComputerOutputDevice

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 123-123 ComputerTerminal e' uma sub-classe de ComputerIODevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 731-731 DiskDrive e' uma sub-classe de ComputerIODevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 794-794 FlashDrive e' uma sub-classe de ComputerIODevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 615-615 GameIODevice e' uma sub-classe de ComputerIODevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 802-802 MemoryCard e' uma sub-classe de ComputerIODevice
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 562-562 Modem e' uma sub-classe de ComputerIODevice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64673-64673

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3801-3812


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