LeastCommonMultipleFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	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 4929-4929	Least common multiple is an instance of function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4930-4930	Least common multiple is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4931-4931	Least common multiple is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4932-4932	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.	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	If the least common multiple of @ROW is equal to an integer and the integer is not equal to 0, then for all another integer if the other integer is a member of (@ROW), then the integer mod the other integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	If the least common multiple of @ROW is equal to an integer and the integer is not equal to 0, then there doesn't exist another integer such that the other integer is less than the integer and for all a third integer if the third integer is a member of (@ROW), then the other integer mod the third integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4939-4944	If the least common multiple of @ROW is equal to an integer, then if another entity is a member of (@ROW), then the other entity is an instance of number

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