overlapsTemporally |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2717-2719 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8230-8232 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1441-1443 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8227-8227 | 域 暫時重疊, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8228-8228 | 域 暫時重疊, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8223-8223 | 例 暫時重疊 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8225-8225 | 例 暫時重疊 and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8226-8226 | 例 暫時重疊 and SymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8224-8224 | 例 暫時重疊 and TemporalRelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 431-431 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 437-437 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 250-250 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 208-208 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2044-2044 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 202-202 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 256-256 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 562-562 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 246-246 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 271-271 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 274-274 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 398-398 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 432-432 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43788-43788 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43787-43787 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43786-43786 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 399-399 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4958-4976 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5027-5037 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8234-8240 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8290-8296 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 968-975 | Integer 是 Organization 的 year 資金 Process IntegerEAR 暫時重疊 何時 Process and IntegerEAR 例 IntegerEAR and 年 Integer 例 Process and 創建 結果 Process and Organization |
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. | FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18203-18209 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22348-22356 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 450-463 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10289-10297 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2471-2482 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8242-8247 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8298-8303 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1464-1473 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1450-1459 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5779-5798 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8249-8256 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13863-13878 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13880-13893 |
|
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. | Mid-level-ontology.kif 20426-20436 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2280-2290 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21089-21101 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21066-21080 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2558-2563 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7891-7891 | 暫時重疊 共同時代 and 共同的時代之前 |