Street |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3194-3194 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3193-3193 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2989-2989 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1644-1644 | Street e' uma sub-classe de Roadway |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55584-55584 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55583-55583 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55582-55582 |
consequent |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 66-71 |