Fungus - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3386-3387
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14448-14451
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14447-14447	Cogumelo e' uma sub-classe de Organismo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2685-2685	initialPart Mushroom and Cogumelo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 214-214	FungalAgent e' uma sub-classe de Cogumelo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 969-969
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1145-1145
No TPTP formula. May not be expressible in strict first order.	french_format.kif 646-646
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 177-177
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 180-180
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2330-2330
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 598-598
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 182-182
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 214-214
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 667-667
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 181-181

appearance as argument number 4

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

Merge.kif 14379-14379

antecedent

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

Merge.kif 14453-14457

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5878-5885	Atributo e' uma instancia de FungalDisease Atributo e' um atributo de Objeto AtributoUN AtributoUN e' uma &parte de Objeto AtributoUN e' uma instancia de Cogumelo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6334-6339	Objeto e' uma instancia de Lichen Objeto Objeto e' uma instancia de Cogumelo Objeto e' uma &parte de Objeto