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 10577-10593 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30815-30826 | |
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 13226-13231 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10055-10078 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10025-10046 |
|
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. | 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 1598-1608 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25093-25114 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2590-2598 | |
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 9774-9795 |
|
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 |