between |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2119-2121 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4156-4159 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 772-774 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4152-4152 | 之间 的 1 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4153-4153 | 之间 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4154-4154 | 之间 的 3 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4150-4150 | 之间 是 空间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4151-4151 | 之间 是 三元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 65-65 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 65-65 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 58-58 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 37-37 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1881-1881 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 10-10 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 71-71 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 131-131 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 71-71 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 55-55 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 77-77 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 57-57 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 90-90 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 66-66 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10900-10900 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10899-10899 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 18-18 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 91-91 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1417-1436 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1395-1413 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4161-4163 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9542-9544 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17004-17009 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5823-5837 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 224-237 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 895-917 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1206-1212 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11082-11092 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15166-15187 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15152-15164 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15140-15150 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15124-15133 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4161-4163 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4178-4180 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9538-9540 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 799-810 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9081-9087 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15622-15637 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3236-3246 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1584-1597 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 233-233 | 圣海伦娜 是在 南美洲 和 西非 between |