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 and Integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4929-4929 例 最不常見的倍數 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4930-4930 例 最不常見的倍數 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4931-4931 例 最不常見的倍數 and VariableArityRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4932-4932 範圍 最不常見的倍數 and Integer

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