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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NanoFn

 Sigma KEE - NanoFn
NanoFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2458-2460
No TPTP formula. May not be expressible in strict first order. Merge.kif 6555-6558
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1150-1152
No TPTP formula. May not be expressible in strict first order. Merge.kif 6552-6552 O argumento numero 1 de NanoFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Merge.kif 6551-6551 NanoFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6553-6553 O contra-dominio de NanoFn e' uma instancia de Unidade de Medida

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 647-647
No TPTP formula. May not be expressible in strict first order. english_format.kif 650-650
No TPTP formula. May not be expressible in strict first order. french_format.kif 390-390
No TPTP formula. May not be expressible in strict first order. relations-it.txt 198-198
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2120-2120
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 342-342
No TPTP formula. May not be expressible in strict first order. relations-de.txt 845-845
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 236-236
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 412-412
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 433-433
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 648-648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39693-39693
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39692-39692
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39691-39691

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