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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - reagent
reagent

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10007-10008
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10009-10009 The number 1 argument of reagent is an instance of chemical process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10010-10010 The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10012-10012 reagent is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10011-10011 reagent is a subrelation of instrument

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4342-4342
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4341-4341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4340-4340
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48870-48870
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48869-48869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48868-48868


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