holdsDuring |
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 16346-16351 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7561-7568 | |
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. | Merge.kif 3889-3893 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14359-14366 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7976-7980 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3529-3534 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2583-2592 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 546-553 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23709-23718 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23736-23744 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21494-21505 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6257-6275 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 966-975 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 949-958 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29608-29620 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1042-1055 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6304-6313 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1008-1019 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 983-992 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |