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 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7903-7903 | 时段 的 2 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7900-7900 | 时段 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7901-7901 | 时段 是 总值关系 的 instance |
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 |