Alga - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3384-3385
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14415-14416
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 26-26
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14414-14414	Alga is a subclass of non flowering plant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14410-14410	Non flowering plant is disjointly decomposed into alga, fern, and moss
No TPTP formula. May not be expressible in strict first order.	Food.kif 3385-3385	Seaweed is a subclass of alga
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 968-968
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1143-1143
No TPTP formula. May not be expressible in strict first order.	french_format.kif 645-645
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 176-176
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 179-179
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2329-2329
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 597-597
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 213-213
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 666-666
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 180-180

antecedent

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

Merge.kif 14418-14423

consequent

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

Geography.kif 6327-6332