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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LogFn
LogFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2247-2248
No TPTP formula. May not be expressible in strict first order. Merge.kif 4979-4980
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 911-912
No TPTP formula. May not be expressible in strict first order. Merge.kif 4975-4975 The number 1 argument of log is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4976-4976 The number 2 argument of log is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4974-4974 Log is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4977-4977 The range of log 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 708-708
No TPTP formula. May not be expressible in strict first order. english_format.kif 710-710
No TPTP formula. May not be expressible in strict first order. french_format.kif 427-427
No TPTP formula. May not be expressible in strict first order. relations-it.txt 171-171
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2144-2144
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 379-379
No TPTP formula. May not be expressible in strict first order. relations-de.txt 921-921
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 209-209
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 449-449
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 478-478
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 709-709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34919-34919
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34918-34918
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34917-34917


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