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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MagnitudeFn
MagnitudeFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2468-2471
No TPTP formula. May not be expressible in strict first order. Merge.kif 6317-6323
No TPTP formula. May not be expressible in strict first order. Merge.kif 6314-6314 The number 1 argument of magnitude is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6312-6312 Magnitude is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6311-6311 Magnitude is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6315-6315 The range of magnitude is an instance of real number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 655-655
No TPTP formula. May not be expressible in strict first order. english_format.kif 661-661
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35622-35622
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 656-656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35621-35621
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35620-35620

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 532-541
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 514-520

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6325-6329
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 514-520


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