Carbohydrate - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3453-3454
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14722-14724
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4581-4581
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14721-14721	Hydrate de carbone est une sous-classe de substance compos�e
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14720-14720	Hydrate de carbone est une sous-classe de nutriment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9219-9219	Cellulose est une sous-classe de hydrate de carbone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9222-9222	Starch est une sous-classe de hydrate de carbone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9226-9226	Sugar est une sous-classe de hydrate de carbone
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1008-1008
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1228-1228
No TPTP formula. May not be expressible in strict first order.	french_format.kif 685-685
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 216-216
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 219-219
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2369-2369
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 637-637
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 253-253
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 706-706
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 220-220

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14704-14704

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 3547-3554