developmentalForm |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3366-3368 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14354-14357 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14344-14344 | O argumento numero 1 de developmentalForm e' uma instancia de Objeto Organico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14345-14345 | O argumento numero 2 de developmentalForm e' uma instancia de Atributo Desenvolvimental |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14341-14341 | developmentalForm e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14340-14340 | developmentalForm e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14342-14342 | developmentalForm e' uma instancia de Relacao Transitiva |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14343-14343 | developmentalForm e' uma sub-relacao de attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 519-519 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 524-524 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 307-307 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 72-72 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2075-2075 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 259-259 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 674-674 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 113-113 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 328-328 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 335-335 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 106-106 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19326-19326 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 520-520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19325-19325 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19324-19324 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 161-161 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14359-14366 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14359-14366 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 241-246 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 227-231 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 280-284 |
|