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 |