No TPTP formula. May not be expressible in strict first order. |
Food.kif 2883-2889 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4967-4972 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5031-5037 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5831-5839 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5846-5852 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 195-200 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 938-948 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19914-19929 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19972-19977 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4091-4101 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4085-4089 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2636-2644 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 289-296 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3096-3115 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5285-5290 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4503-4509 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5798-5807 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 862-866 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5782-5791 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3994-4001 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2562-2569 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4870-4881 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5471-5476 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9657-9661 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3052-3073 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |