typicallyContainsTemporalPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1478-1481 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1482-1482 | O argumento numero 1 de typicallyContainsTemporalPart e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1483-1483 | O argumento numero 2 de typicallyContainsTemporalPart e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1472-1472 | typicallyContainsTemporalPart e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1473-1473 | typicallyContainsTemporalPart e' uma instancia de Relacao Temporal |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1475-1475 | typicallyContainsTemporalPart e' relacionado internamente por SUMO a temporalPart |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1474-1474 | typicallyContainsTemporalPart e' relacionado internamente por SUMO a typicallyContainsPart |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1477-1477 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22872-22872 | typicalAction e' relacionado internamente por SUMO a typicallyContainsTemporalPart |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65965-65965 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1493-1510 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1485-1491 |
|