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 8007-8008 | |
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 8004-8004 | 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 8001-8001 | BeginFn est une instance de relation temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8003-8003 | BeginFn est une instance de relation total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8002-8002 | BeginFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8005-8005 | 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 12488-12495 | 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 6230-6243 |
|
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 30680-30686 |
|
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 1962-1969 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23709-23718 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23736-23744 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21494-21505 | |
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 17142-17163 |
|
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 12678-12691 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12638-12651 |
|
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 12382-12389 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16342-16352 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17385-17396 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17426-17438 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16362-16372 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21394-21402 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |