duration |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2688-2690 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7905-7908 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1411-1413 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7902-7902 | 域 持續時間, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7903-7903 | 域 持續時間, 2 and TimeDuration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7900-7900 | 例 持續時間 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7901-7901 | 例 持續時間 and TotalValuedRelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 413-413 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 419-419 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 241-241 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 85-85 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2035-2035 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 193-193 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 119-119 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 246-246 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 536-536 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 125-125 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 262-262 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 261-261 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 185-185 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20688-20688 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 414-414 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20687-20687 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20686-20686 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 186-186 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3984-4004 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5919-5926 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 155-166 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1497-1502 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 466-482 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9463-9467 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 611-617 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2016-2029 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2104-2113 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5997-6017 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14040-14046 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4064-4068 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1975-1980 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16447-16459 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9073-9078 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9066-9071 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7524-7528 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 538-547 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 473-482 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 559-568 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1860-1864 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 118-124 | |
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. | QoSontology.kif 1759-1763 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 660-670 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9383-9393 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3744-3746 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2019-2023 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1270-1284 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1254-1268 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7917-7927 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8770-8772 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8774-8776 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9236-9238 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1630-1642 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3716-3718 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |