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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bacterium

 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 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 6567-6567 Pico is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6569-6569 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. 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