Crustacean(crustacean) | Amphipoda, Anostraca, Armadillidiidae, Armadillidium, Artemia, Artemia_salina, Balanidae, Balanus, Balanus_balanoides, Brachyura, Branchiopoda, Branchiura, Caprella, Chirocephalus, Cirripedia, Copepoda, Crangon, Crustacea, Cyamus, Decapoda, Entomostraca, Euphausia_pacifica, Euphausiacea, Isopoda, Lepadidae, Lepas, Lepas_fascicularis, Malacostraca, Mysidae, Mysis, Natantia, Notostraca, Oniscidae, Oniscus, Orchestia, Orchestiidae, Ostracoda, Paguridae, Pagurus, Palaemon, Palaemonidae, Porcellio, Porcellionidae, Praunus, Reptantia, Schizopoda, Squillidae, Stomatopoda, Triopidae, Triops... |
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 14542-14544 | |
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 14541-14541 | Crustacean is a subclass of arthropod |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2542-2542 | Crab is a subclass of crustacean |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2651-2651 | Lobster is a subclass of crustacean |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1968-1968 | Shrimp is a subclass of crustacean |
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 14525-14525 | Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6473-6477 |
|