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 8531-8533 | |
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 8528-8528 | 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 8525-8525 | Immediate future is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8527-8527 | Immediate future is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8526-8526 | Immediate future is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8529-8529 | 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 29349-29349 | |
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 29348-29348 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29347-29347 | |
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 738-753 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 714-719 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 721-726 |
|
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. | ComputingBrands.kif 4482-4491 |
|
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 2397-2406 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29758-29765 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 767-785 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2784-2796 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4123-4135 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4079-4092 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4101-4114 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4143-4153 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 391-401 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4566-4576 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30079-30087 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4498-4507 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10222-10237 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 436-453 |
|
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 939-952 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4451-4461 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25093-25114 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1328-1340 |
|
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 2791-2794 | A time position is an instance of the day 1 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 2765-2769 | 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 |