Crustacean - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3410-3411
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14564-14566
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 947-947
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14563-14563	Crustac� est une sous-classe de arthropode

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2542-2542	Crab est une sous-classe de crustac�
No TPTP formula. May not be expressible in strict first order.	Food.kif 2651-2651	Lobster est une sous-classe de crustac�
No TPTP formula. May not be expressible in strict first order.	Food.kif 1968-1968	Prawn est une sous-classe de crustac�
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 984-984
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1175-1175
No TPTP formula. May not be expressible in strict first order.	french_format.kif 661-661
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 192-192
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 195-195
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2345-2345
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 613-613
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 229-229
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 682-682
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 196-196

appearance as argument number 5

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

Merge.kif 14547-14547

antecedent

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

Geography.kif 6473-6477