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 6541-6544
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 6538-6538 The number 1 argument of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6537-6537 Nano is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6539-6539 The range of nano is an instance of unit of measure

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 39708-39708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39707-39707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39706-39706

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6546-6550


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