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 8553-8555 | |
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 8550-8550 | Le nombre 1 argument de ImmediateFutureFn est une instance de position temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8547-8547 | ImmediateFutureFn est une instance de relation temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8549-8549 | ImmediateFutureFn est une instance de relation total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8548-8548 | ImmediateFutureFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8551-8551 | Le domaine de ImmediateFutureFn est une instance de interval temporel |
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 29746-29753 | |
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 30067-30075 | |
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 10244-10259 | |
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 25092-25113 |
|
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 | Position temporel est une instance de le jour 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations pendant immediatement apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2769 | Position temporel est une instance de l' ann�e 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity pendant immediatement apr�s position temporel |
![]() |
![]() |