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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalOutlet

 Sigma KEE - ElectricalOutlet
ElectricalOutlet

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25894-25896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25893-25893 子類 ElectricalOutlet and Device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25897-25897

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25935-25948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25899-25905
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25907-25915

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25965-25974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25927-25933


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