modalAttribute |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1945-1958 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10576-10592 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30803-30814 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2784-2796 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13248-13253 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10054-10077 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10024-10045 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2596-2604 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1882-1891 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1865-1875 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4357-4374 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1594-1604 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25092-25113 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2586-2594 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1328-1340 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1563-1575 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1545-1554 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9773-9794 |
|
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 88-99 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3628-3644 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5490-5500 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 902-915 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2265-2274 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7497-7509 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |