No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24236-24246 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 612-617 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 619-625 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23916-23932 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8722-8729 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8731-8736 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14837-14846 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8706-8713 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8715-8720 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 69-85 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 99-115 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9073-9078 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9066-9071 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9108-9112 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9164-9168 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9221-9228 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9080-9084 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9056-9060 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9150-9154 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9136-9140 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9094-9098 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9122-9126 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9207-9211 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9193-9197 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9179-9183 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |