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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeastCommonMultipleFn

 Sigma KEE - LeastCommonMultipleFn
LeastCommonMultipleFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2245-2246
No TPTP formula. May not be expressible in strict first order. Merge.kif 4935-4937
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 909-910
No TPTP formula. May not be expressible in strict first order. Merge.kif 4933-4933 最小公倍数函数 的 1 数量 是 整数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4929-4929 最小公倍数函数 是 函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4930-4930 最小公倍数函数 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4931-4931 最小公倍数函数 是 不定次元关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4932-4932 最小公倍数函数 的 range 是 整数 的实例

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 706-706
No TPTP formula. May not be expressible in strict first order. english_format.kif 708-708
No TPTP formula. May not be expressible in strict first order. french_format.kif 426-426
No TPTP formula. May not be expressible in strict first order. relations-it.txt 161-161
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2143-2143
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 378-378
No TPTP formula. May not be expressible in strict first order. relations-de.txt 919-919
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 200-200
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 448-448
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 477-477
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33683-33683
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 707-707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33682-33682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33681-33681

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4946-4956
No TPTP formula. May not be expressible in strict first order. Merge.kif 4958-4972
No TPTP formula. May not be expressible in strict first order. Merge.kif 4939-4944


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