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. japanese_format.kif 1161-1164

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. french_format.kif 394-394
No TPTP formula. May not be expressible in strict first order. relations-it.txt 172-172
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2124-2124
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 346-346
No TPTP formula. May not be expressible in strict first order. relations-de.txt 857-857
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 210-210
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 416-416
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 437-437
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 342-342
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 656-656


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