RemainderFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RemainderFn

RemainderFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2267-2268
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5100-5102
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 932-933
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5096-5096	The number 1 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5097-5097	The number 2 argument of remainder is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5093-5093	Remainder is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5095-5095	Remainder is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5098-5098	The range of remainder is an instance of integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 722-722
No TPTP formula. May not be expressible in strict first order.	english_format.kif 724-724
No TPTP formula. May not be expressible in strict first order.	french_format.kif 434-434
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 252-252
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2151-2151
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 386-386
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 446-446
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 935-935
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 289-289
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 456-456
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 496-496
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 723-723
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49442-49442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49441-49441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49440-49440

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5130-5142	If an integer mod another integer is equal to a third integer and the third integer is not equal to 0 and the integer is not equal to 0 and the other integer is not equal to 0, then the sign of the other integer is equal to the sign of the third integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5104-5115	If an integer mod another integer is equal to a third integer and the other integer is not equal to 0, then (the largest integer less than or equal to the integer and the other integer and the other integer and the third integer) is equal to the integer

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4861-4872	If the greatest common divisor 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 other integer mod the integer is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	If the greatest common divisor 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 greater than the integer and for all a third integer if the third integer is a member of (@ROW), then the third integer mod the other integer is equal to 0
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 9001-9009	If an entity is an instance of leap year and the entity is an instance of the year an integer, then the integer mod 4 is equal to 0 and the integer mod 100 is not equal to 0 or the integer mod 400 is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5117-5128	If an integer is not equal to 0 and (the largest integer less than or equal to another integer and the integer and the integer and a third integer) is equal to the other integer, then the other integer mod the integer is equal to the third integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5144-5147	If an integer is an instance of even integer, then the integer mod 2 is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5149-5152	If an integer is an instance of odd integer, then the integer mod 2 is equal to 1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5154-5165	If an integer is an instance of prime number, then for all another integer if the integer mod the other integer is equal to 0 and the other integer is not equal to 0, then the other integer is equal to 1 or the other integer is equal to the integer

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