eventLocated |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2115-2116 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4123-4125 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 767-769 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4120-4120 | eventLocated 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4121-4121 | eventLocated 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4119-4119 | eventLocated 是 eventPartlyLocated 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3326-3326 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3325-3325 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3324-3324 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1845-1845 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1865-1870 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1872-1877 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 892-898 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 882-890 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 943-949 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 933-941 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 917-925 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 906-915 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16766-16776 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 586-602 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 572-577 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2492-2505 | |
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. | Weather.kif 2600-2608 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 509-521 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 463-475 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1314-1348 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1898-1917 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1868-1887 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1943-1965 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17585-17600 | |
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. | Cars.kif 207-217 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16852-16861 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 392-400 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8120-8130 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26594-26602 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26159-26171 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 840-847 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 349-361 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3498-3506 | |
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. | Weather.kif 1275-1296 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2573-2587 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8154-8162 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 655-669 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1579-1592 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7752-7765 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7877-7893 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5210-5222 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23506-23511 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1227-1246 |
|
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. | naics.kif 11456-11468 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1651-1672 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 491-500 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |