No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17416-17418 |
模態屬性 Formula and 必要性 模態屬性 Formula and 可能性 |
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. |
Medicine.kif 5824-5834 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25748-25761 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26159-26171 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1522-1535 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3040-3054 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 336-350 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 223-234 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1545-1555 |
|
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. |
ComputingBrands.kif 3972-3986 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3988-4002 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8624-8635 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2535-2553 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1766-1776 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1748-1758 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25305-25315 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |