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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PureTwopole

 Sigma KEE - PureTwopole
PureTwopole

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 494-495
No TPTP formula. May not be expressible in strict first order. engineering.kif 497-497
No TPTP formula. May not be expressible in strict first order. engineering.kif 496-496
No TPTP formula. May not be expressible in strict first order. engineering.kif 498-498 PureTwopole est une sous-classe de Twopole

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 513-513 AcrossVariableAccumulator est une sous-classe de PureTwopole
No TPTP formula. May not be expressible in strict first order. engineering.kif 509-509 Dissipator est une sous-classe de PureTwopole
No TPTP formula. May not be expressible in strict first order. engineering.kif 531-531 ElectricalTwopole est une sous-classe de PureTwopole
No TPTP formula. May not be expressible in strict first order. engineering.kif 501-501 IdealSwitch est une sous-classe de PureTwopole
No TPTP formula. May not be expressible in strict first order. engineering.kif 506-506 IdealTwopole est une sous-classe de PureTwopole
No TPTP formula. May not be expressible in strict first order. engineering.kif 520-520 Source est une sous-classe de PureTwopole
No TPTP formula. May not be expressible in strict first order. engineering.kif 517-517 ThroughVariableAccumulator est une sous-classe de PureTwopole
No TPTP formula. May not be expressible in strict first order. engineering.kif 569-569 TranslatoryTwopole est une sous-classe de PureTwopole
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48182-48182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48181-48181
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48180-48180


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