ImmediateFutureFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2745-2746 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8629-8631 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1471-1472 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8626-8626 | The number 1 argument of immediate future is an instance of time position |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8623-8623 | Immediate future is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8625-8625 | Immediate future is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8624-8624 | Immediate future is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8627-8627 | The range of immediate future is an instance of time interval |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 463-463 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 469-469 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 268-268 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 137-137 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2058-2058 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 220-220 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 274-274 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 605-605 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 176-176 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 289-289 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 295-295 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 278-278 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29360-29360 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 464-464 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29359-29359 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29358-29358 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 187-187 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 279-279 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 701-716 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 677-682 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 684-689 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1035-1048 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4477-4486 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1252-1267 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2414-2423 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16052-16059 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 758-776 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2785-2797 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4118-4130 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4074-4087 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4096-4109 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4138-4148 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 393-403 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4561-4571 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31973-31981 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4493-4502 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10347-10362 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 438-455 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 133-140 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1252-1265 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4446-4456 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26757-26778 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1320-1332 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2752-2755 | A time position is an instance of the day 1 of month the month October and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2726-2730 | A time position is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French_Speaking Community" holds during immediately after the time position |
![]() |
![]() |