EndFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2699-2700 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8013-8014 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1422-1423 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8010-8010 | O argumento numero 1 de EndFn e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8007-8007 | EndFn e' uma instancia de Relacao Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8009-8009 | EndFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8008-8008 | EndFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8011-8011 | O contra-dominio de EndFn e' uma instancia de Ponto no tempo |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 451-451 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 457-457 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 262-262 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 92-92 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2052-2052 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 214-214 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 268-268 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 589-589 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 132-132 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 283-283 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 288-288 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 199-199 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22042-22042 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 452-452 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22041-22041 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22040-22040 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 200-200 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12466-12473 | Processo e' uma instancia de Combinar Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 655-667 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1936-1941 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1943-1948 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15515-15532 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21495-21506 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17143-17164 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2268-2277 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2332-2343 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2347-2354 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12656-12669 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12616-12629 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1326-1342 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12360-12367 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16343-16353 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17386-17397 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17427-17439 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 468-478 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16363-16373 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21395-21403 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13933-13941 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23768-23779 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23789-23800 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3076-3094 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 754-765 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |