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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalCircuit

 Sigma KEE - ElectricalCircuit
ElectricalCircuit

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 982-983
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9170-9170
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8466-8466
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9171-9171
No TPTP formula. May not be expressible in strict first order. engineering.kif 984-984 ElectricalCircuit e' uma sub-classe de ElectricDevice

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 990-990 Amplifier e' uma sub-classe de ElectricalCircuit
No TPTP formula. May not be expressible in strict first order. engineering.kif 995-995 FrequencyFilter e' uma sub-classe de ElectricalCircuit
No TPTP formula. May not be expressible in strict first order. engineering.kif 1044-1044 OperationalAmplifier e' uma sub-classe de ElectricalCircuit
No TPTP formula. May not be expressible in strict first order. engineering.kif 1010-1010 Rectifier e' uma sub-classe de ElectricalCircuit
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21468-21468
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21467-21467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21466-21466


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