LeftParietalBone Literature
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21111-21112 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7198-7198 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7197-7197 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7190-7190 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7192-7192 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6671-6671 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7193-7193 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7195-7195 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7196-7196 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7191-7191 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21110-21110 | Literature est une sous-classe de champ d'�tude |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34715-34715 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34714-34714 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34713-34713 |