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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Governor

 Sigma KEE - MultipoleSection
MultipoleSection

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 426-429
No TPTP formula. May not be expressible in strict first order. engineering.kif 430-430
No TPTP formula. May not be expressible in strict first order. engineering.kif 431-431
No TPTP formula. May not be expressible in strict first order. engineering.kif 432-432
No TPTP formula. May not be expressible in strict first order. engineering.kif 433-433 MultipoleSection est une sous-classe de Model

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 456-456 MultipolePort est une sous-classe de MultipoleSection
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39251-39251
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39250-39250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39249-39249

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 444-452

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 391-399
No TPTP formula. May not be expressible in strict first order. engineering.kif 436-441
No TPTP formula. May not be expressible in strict first order. engineering.kif 480-492


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