Likely |
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. | 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. | 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. | Medicine.kif 2735-2747 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2725-2733 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2654-2674 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2681-2697 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2704-2719 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1646-1654 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1626-1634 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5749-5759 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1614-1622 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4187-4195 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |