TreeView Knowledge Base Browser - transformerCapacity

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

transformerCapacity

Sigma KEE - transformerCapacity

transformerCapacity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31337-31337	O argumento numero 1 de transformerCapacity e' uma instancia de ElectricalTransformer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31338-31338	O argumento numero 2 de transformerCapacity e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31334-31334	transformerCapacity e' uma instancia de Predicado Binario

appearance as argument number 2

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31348-31353	memberMeasure Conjunto, MeasurementAttribute and Funcao de Quantidade Conjunto e' uma instancia de Conjunto ElectricalTransformer e' um elemento de Conjunto transformerCapacity ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31355-31360	memberMeasure Classe, TransformerCapacity and Funcao de Quantidade Classe e' uma instancia de Classe ElectricalTransformer e' uma instancia de Classe transformerCapacity ElectricalTransformer and Funcao de Quantidade

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