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

Formal Language: 



KB Term:  Term intersection
English Word: 

  powerComponent

 Sigma KEE - powerComponent
powerComponent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1738-1740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1734-1734 O argumento numero 1 de powerComponent e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1735-1735 O argumento numero 2 de powerComponent e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1733-1733 powerComponent e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1736-1736 powerComponent e' uma sub-relacao de component

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2015-2015
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2014-2014
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2013-2013
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47006-47006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47005-47005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47004-47004

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2755-2760
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1798-1801
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1787-1791


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