No TPTP formula. May not be expressible in strict first order. |
Government.kif 738-753 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 261-270 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 757-776 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29495-29507 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29446-29451 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 437-445 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 426-436 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 457-470 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19442-19452 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30092-30100 |
|
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. |
Hotel.kif 1466-1474 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25736-25749 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1003-1014 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 367-385 |
|
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. |
Anatomy.kif 32-46 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 476-484 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 295-306 |
|
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. |
Merge.kif 4874-4888 |
|
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. |
Media.kif 2093-2103 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |