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 and Physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3867-3867 | 域 時間, 2 and TimePosition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3864-3864 | 例 時間 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3862-3862 | 例 時間 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3863-3863 | 例 時間 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3865-3865 | 例 時間 and TotalValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3869-3869 | 相關的內部概念 時間 and 持有期間 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3868-3868 | 相關的內部概念 時間 and 位於 |
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 | 子關係 日期 and 時間 |
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 |