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 4786-4787
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 4783-4783	O argumento numero 1 de CeilingFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4782-4782	CeilingFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4781-4781	CeilingFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4784-4784	O contra-dominio de CeilingFn e' uma instancia de Numero Inteiro

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 13632-13632
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 13631-13631
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13630-13630
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 3068-3089

Sequencia Simbolica e' igual a ReverseFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' maior que 1 Numero Inteiro nao-negativo e' maior que 0 Numero Inteiro nao-negativo e' menos que Numero Inteiro nao-negativo Numero Inteiro e' igual a o teto de ( Numero Inteiro nao-negativo + 1) + 2 Numero Inteiro nao-negativoEW e' igual a (( Numero Inteiro + Numero Inteiro nao-negativo) + Numero Inteiro) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and (1 + Numero Inteiro nao-negativo)
Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativoEW and (1 + Numero Inteiro nao-negativoEW)

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