No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11381-11386 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4247-4257 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4206-4216 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3999-4010 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4231-4241 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 863-872 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 852-861 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16943-16951 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18135-18140 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16953-16957 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15188-15209 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 954-967 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2724-2744 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2746-2767 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29789-29798 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29811-29820 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29778-29787 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29800-29809 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9114-9116 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9110-9112 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17101-17104 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19236-19247 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17176-17178 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17154-17157 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17159-17161 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |