No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18463-18468 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2806-2819 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4966-4971 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4861-4872 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4874-4888 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4946-4956 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4958-4972 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3219-3223 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5993-6006 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5979-5991 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5130-5142 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5104-5115 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3277-3284 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3252-3256 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3258-3268 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 295-302 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3083-3102 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1838-1845 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3068-3089 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3170-3177 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3179-3188 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3190-3202 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2005-2017 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1475-1484 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |