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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DensityFn
DensityFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2480-2482
No TPTP formula. May not be expressible in strict first order. Merge.kif 6650-6653
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1174-1177
No TPTP formula. May not be expressible in strict first order. Merge.kif 6646-6646 Le nombre 1 argument de DensityFn est une instance de mesure de masse
No TPTP formula. May not be expressible in strict first order. Merge.kif 6647-6647 Le nombre 2 argument de DensityFn est une instance de mesure de volume
No TPTP formula. May not be expressible in strict first order. Merge.kif 6645-6645 DensityFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 6644-6644 DensityFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 6648-6648 Le domaine de DensityFn est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 6643-6643 DensityFn est une sous-relation de PerFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 657-657
No TPTP formula. May not be expressible in strict first order. english_format.kif 660-660
No TPTP formula. May not be expressible in strict first order. french_format.kif 395-395
No TPTP formula. May not be expressible in strict first order. relations-it.txt 69-69
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2125-2125
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 347-347
No TPTP formula. May not be expressible in strict first order. relations-de.txt 860-860
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 110-110
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 417-417
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 438-438
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 103-103
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19056-19056
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 658-658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19055-19055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19054-19054


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