before |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2707-2708 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8104-8105 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1430-1431 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8101-8101 | 之前 的 1 数量 是 时点 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8102-8102 | 之前 的 2 数量 是 时点 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8097-8097 | 之前 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8096-8096 | 之前 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8098-8098 | 之前 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8100-8100 | 之前 和 更早 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8099-8099 | 之前 是 之前或同时 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 423-423 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 429-429 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 246-246 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 32-32 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2040-2040 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 198-198 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 66-66 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 251-251 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 550-550 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 76-76 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 267-267 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 267-267 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 80-80 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 424-424 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10534-10534 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10533-10533 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 81-81 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8086-8094 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8176-8180 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8054-8062 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 501-514 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1087-1099 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1598-1608 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8269-8279 | |
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 834-842 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8382-8384 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8151-8155 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 261-270 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6231-6244 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 457-470 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 684-695 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8281-8288 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15515-15532 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22920-22925 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29595-29604 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8722-8729 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1615-1624 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8706-8713 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7887-7891 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7869-7873 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12163-12172 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2328-2338 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8262-8267 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26973-26999 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8690-8697 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2788-2800 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14624-14638 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8145-8149 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4317-4321 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 667-675 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |