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 and TimePoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8102-8102 | 域 之前, 2 and TimePoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8097-8097 | 例 之前 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8096-8096 | 例 之前 and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8098-8098 | 例 之前 and TransitiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8100-8100 | 相關的內部概念 之前 and 早期 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8099-8099 | 子關係 之前 and 之前或相等 |
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 |
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 |