attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29507-29519 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29458-29463 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29431-29435 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1833-1837 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1844-1848 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1854-1858 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4407-4411 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 437-445 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1165-1176 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5824-5834 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 155-170 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 359-365 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3984-4004 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30120-30127 |
|
No TPTP formula. May not be expressible in strict first order. | People.kif 795-799 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 299-303 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 408-419 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 378-385 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 426-436 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 444-449 |
|
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. | MilitaryPersons.kif 461-466 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 473-478 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |