Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FloorFn

Sigma KEE - FloorFn
FloorFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2234-2235
No TPTP formula. May not be expressible in strict first order. Merge.kif 4735-4736
No TPTP formula. May not be expressible in strict first order. Merge.kif 4732-4732 The number 1 argument of floor is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4731-4731 Floor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4730-4730 Floor is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4733-4733 The range of floor is an instance of integer

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 698-698
No TPTP formula. May not be expressible in strict first order. english_format.kif 700-700
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24255-24255
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 699-699
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24254-24254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24253-24253

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5021-5032

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5008-5019


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