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 4603-4604
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4600-4600	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 4599-4599	Ceiling is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4598-4598	Ceiling is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4601-4601	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 695-695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13576-13576
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 13575-13575
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13574-13574

antecedent

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

Media.kif 3038-3059

If a symbolic string is equal to the reverse of another symbolic string and a nonnegative integer is equal to 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 an integer is equal to the ceiling of (the nonnegative integer and 1) and 2 and the other nonnegative integerEW is equal to ((the integer and the other nonnegative integer) and the integer) and a third symbolic string is equal to the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer),
then the third symbolic string is equal to 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