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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PicoFn

 Sigma KEE - PicoFn
PicoFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2461-2463
No TPTP formula. May not be expressible in strict first order. Merge.kif 6571-6574
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1153-1155
No TPTP formula. May not be expressible in strict first order. Merge.kif 6568-6568 O argumento numero 1 de PicoFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Merge.kif 6567-6567 PicoFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6569-6569 O contra-dominio de PicoFn 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 649-649
No TPTP formula. May not be expressible in strict first order. english_format.kif 652-652
No TPTP formula. May not be expressible in strict first order. french_format.kif 391-391
No TPTP formula. May not be expressible in strict first order. relations-it.txt 222-222
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2121-2121
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 343-343
No TPTP formula. May not be expressible in strict first order. relations-de.txt 848-848
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 260-260
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 413-413
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 434-434
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 650-650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45782-45782
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45781-45781
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45780-45780

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6576-6580


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