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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6537-6540
No TPTP formula. May not be expressible in strict first order. Merge.kif 6534-6534 The number 1 argument of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6533-6533 Pico is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6535-6535 The range of pico 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 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. chinese_format.kif 650-650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45766-45766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45765-45765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45764-45764

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


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


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