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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of power component is an instance of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1735-1735 The number 2 argument of power component is an instance of artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1733-1733 power component is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1736-1736 power component is a subrelation of 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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