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 4831-4832
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 898-899
No TPTP formula. May not be expressible in strict first order. Merge.kif 4828-4828 O argumento numero 1 de FloorFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 4827-4827 FloorFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 4826-4826 FloorFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 4829-4829 O contra-dominio de FloorFn 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 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. french_format.kif 422-422
No TPTP formula. May not be expressible in strict first order. relations-it.txt 112-112
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2139-2139
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 374-374
No TPTP formula. May not be expressible in strict first order. relations-de.txt 911-911
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 152-152
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 444-444
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 473-473
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 234-234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24260-24260
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 24259-24259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24258-24258
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 235-235

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5117-5128

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