TreeView Knowledge Base Browser - CeilingFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CeilingFn

CeilingFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2226-2227
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4814-4815
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 890-891
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4811-4811	The number 1 argument of ceiling is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4810-4810	Ceiling is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4809-4809	Ceiling is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4812-4812	The range of ceiling is an instance of integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 690-690
No TPTP formula. May not be expressible in strict first order.	english_format.kif 692-692
No TPTP formula. May not be expressible in strict first order.	french_format.kif 418-418
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 43-43
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2135-2135
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 370-370
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 903-903
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 85-85
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 440-440
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 77-77
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13641-13641
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 691-691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13640-13640
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13639-13639
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 270-270
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 103-103

antecedent

No TPTP formula. May not be expressible in strict first order.

Media.kif 3052-3073

If equal a symbolic string and the reverse of another symbolic string and equal a nonnegative integer and the length of the other symbolic string and the nonnegative integer is greater than 1 and another nonnegative integer is greater than 0 and the other nonnegative integer is less than the nonnegative integer and equal an integer and the ceiling of (the nonnegative integer and 1) and 2 and equal the other nonnegative integerEW and ((the integer and the other nonnegative integer) and the integer) and equal a third symbolic string and the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer),
then equal the third symbolic string and the sub-string of the symbolic string from the other nonnegative integerEW to (1 and the other nonnegative integerEW)

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