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 | Le nombre 1 argument de BeginFn est une instance de interval temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7979-7979 | BeginFn est une instance de relation temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7981-7981 | BeginFn est une instance de relation total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7980-7980 | BeginFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7983-7983 | Le domaine de BeginFn est une instance de point temporel |
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 | Processus est une instance de combiner objet est une resource pour processus entit� est le resultat de processus objet est une partie de entit� pendant le d�but de temps d'existence de processus objet est une partie de entit� pendant la fin de temps d'existence de processus |
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 |