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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMeasureMultiplier
UnitOfMeasureMultiplier

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2437-2439
No TPTP formula. May not be expressible in strict first order. Merge.kif 6451-6454
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1129-1131
No TPTP formula. May not be expressible in strict first order. Merge.kif 6449-6449 UnitOfMeasureMultiplier e' uma sub-classe de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 6448-6448 UnitOfMeasureMultiplier e' uma sub-classe de funcao Unaria

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6496-6496 GigaFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6468-6468 KiloFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6482-6482 MegaFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6538-6538 MicroFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6524-6524 MilliFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6552-6552 NanoFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6567-6567 PicoFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6510-6510 TeraFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65662-65662

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6456-6460
No TPTP formula. May not be expressible in strict first order. Merge.kif 6462-6466


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