holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18225-18235 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5919-5926 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6470-6482 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6447-6459 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1500-1512 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3231-3245 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 480-489 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2567-2583 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4257-4263 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 151-167 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23889-23903 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30662-30683 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 120-131 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 101-111 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 195-201 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16324-16329 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7562-7569 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1900-1904 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1888-1892 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1912-1916 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1906-1910 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1894-1898 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7972-7982 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3836-3843 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |