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 4839-4841
No TPTP formula. May not be expressible in strict first order. Merge.kif 4837-4837 The number 1 argument of least common multiple is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4833-4833 Least common multiple is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4834-4834 Least common multiple is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4835-4835 Least common multiple is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4836-4836 The range of least common multiple is an instance of 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. domainEnglishFormat.kif 33666-33666
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 33665-33665
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33664-33664

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4850-4860
No TPTP formula. May not be expressible in strict first order. Merge.kif 4862-4876
No TPTP formula. May not be expressible in strict first order. Merge.kif 4843-4848


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