time |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2079-2082 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3871-3877 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 726-730 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3866-3866 | 时间 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3867-3867 | 时间 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3864-3864 | 时间 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3862-3862 | 时间 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3863-3863 | 时间 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3865-3865 | 时间 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3869-3869 | 时间 和 在这段时间为真 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3868-3868 | 时间 和 位于 是 内部相关 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 191-191 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 192-192 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 115-115 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 299-299 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1944-1944 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 67-67 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 116-116 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 244-244 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 335-335 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 134-134 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 120-120 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 491-491 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8546-8546 | 日期 是 时间 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 192-192 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58117-58117 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58116-58116 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 77-77 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2754-2766 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2768-2780 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23513-23526 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1449-1466 |
|
No TPTP formula. May not be expressible in strict first order. | Justice.kif 61-69 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12804-12810 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23260-23267 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23289-23296 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23312-23317 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 467-492 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3312-3321 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8206-8210 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7974-7977 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 706-713 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7960-7967 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2438-2445 | |
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 2754-2766 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2768-2780 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23513-23526 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1428-1443 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22260-22273 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1449-1466 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 955-964 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2669-2685 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2623-2639 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2687-2703 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2641-2659 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3312-3321 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8110-8122 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2373-2380 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 839-844 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12795-12802 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12282-12289 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3097-3110 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 979-984 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23280-23287 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8124-8130 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |