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 4696-4697
No TPTP formula. May not be expressible in strict first order. Merge.kif 4693-4693 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 4692-4692 Ceiling is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4691-4691 Ceiling is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4694-4694 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. domainEnglishFormat.kif 13635-13635
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 13634-13634
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13633-13633

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3056-3077


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