|
|
   January
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2795-2795 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9086-9086 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1536-1536 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4897-4897 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9084-9084 | 一月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9060-9060 | successorClass 一月 and 二月 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1277-1277 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1771-1771 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 955-955 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 490-490 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 494-494 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2639-2639 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 907-907 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 496-496 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 530-530 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 976-976 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 495-495 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9257-9264 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9092-9096 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9088-9090 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2391-2396 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2973-2973 | 1 Day 是 共同经济援助理事会 的闭幕 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2859-2859 | 20 Day 是 国际结算银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2972-2972 | 25 Day 是 共同经济援助理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3110-3110 | 一月 month 是 经济合作组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3147-3147 | 4 Day 是 欧洲自由贸易协会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3453-3453 | 26 Day 是 国际发展协会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3678-3678 | 1 Day 是 欧洲安全与合作组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3729-3729 | 9 Day 是 阿拉伯石油出口国组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3772-3772 | 11 Day 是 和平伙伴关系 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4024-4024 | 24 Day 是 联合国驻印度和巴基斯坦军事观察组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4332-4332 | 2 Day 是 世界旅游组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2143-2143 | Unix时代 equal 0 second |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 517-517 | Epiphany 是 6 day 的 subclass |
|
|
|
