BeginFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2697-2698 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7985-7986 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1420-1421 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7982-7982 | O argumento numero 1 de BeginFn e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7979-7979 | BeginFn e' uma instancia de Relacao Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7981-7981 | BeginFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7980-7980 | BeginFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7983-7983 | O contra-dominio de BeginFn 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 449-449 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 455-455 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 261-261 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 34-34 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2051-2051 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 213-213 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 68-68 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 267-267 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 586-586 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 78-78 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 282-282 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 287-287 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 84-84 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10559-10559 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 450-450 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10558-10558 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10557-10557 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 85-85 |
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. | Mid-level-ontology.kif 6231-6244 |
|
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. | Hotel.kif 684-695 |
|
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. | Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30692-30698 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3836-3843 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1966-1973 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23710-23719 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23737-23745 | |
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 1042-1055 |
|
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. | 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. | Mid-level-ontology.kif 16363-16373 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21395-21403 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |