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 est une sous-classe de ElectricDevice

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 990-990 Amplifier est une sous-classe de ElectricalCircuit
No TPTP formula. May not be expressible in strict first order. engineering.kif 995-995 FrequencyFilter est une sous-classe de ElectricalCircuit
No TPTP formula. May not be expressible in strict first order. engineering.kif 1044-1044 OperationalAmplifier est une sous-classe de ElectricalCircuit
No TPTP formula. May not be expressible in strict first order. engineering.kif 1010-1010 Rectifier est une sous-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