|
|
   Snake
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12562-12562 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 739-739 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 172-172 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12561-12561 | Snake e' uma sub-classe de Reptil |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12576-12576 | ConstrictorSnake e' uma sub-classe de Snake |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12571-12571 | Rattlesnake e' uma sub-classe de Snake |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53558-53558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53557-53557 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53556-53556 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12564-12569 |
|
|
|
