ImmediatePastFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2741-2742 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8500-8502 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1467-1468 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8497-8497 | 紧接过去函数 的 1 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8494-8494 | 紧接过去函数 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8496-8496 | 紧接过去函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8495-8495 | 紧接过去函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8498-8498 | 紧接过去函数 的 range 是 时距 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 459-459 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 465-465 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 266-266 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 139-139 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2056-2056 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 218-218 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 272-272 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 600-600 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 178-178 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 287-287 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 293-293 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 282-282 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29361-29361 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 460-460 | |
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. | domainEnglishFormat.kif 29359-29359 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 283-283 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9839-9861 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9900-9922 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1926-1940 | |
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. | Geography.kif 7016-7030 | |
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. | Mid-level-ontology.kif 1332-1355 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10555-10570 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10533-10548 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 408-424 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1987-1999 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7068-7082 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 466-481 |
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. | Medicine.kif 6257-6275 |
|
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. | Mid-level-ontology.kif 18679-18695 |
|
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. | Mid-level-ontology.kif 6056-6075 |
|
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. | Mid-level-ontology.kif 6122-6140 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 137-146 | |
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 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. | ComputingBrands.kif 4451-4461 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18621-18639 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5711-5718 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1393-1411 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1427-1445 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5779-5798 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7848-7862 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21147-21177 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 802-809 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4000-4010 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4022-4031 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1519-1529 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |