No TPTP formula. May not be expressible in strict first order. |
Music.kif 312-314 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 531-537 |
|
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 202-214 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3135-3141 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13086-13094 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 801-812 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1794-1800 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1573-1580 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3025-3032 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 250-264 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 280-296 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26890-26916 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 569-575 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1099-1103 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1088-1094 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 436-465 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1319-1325 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 736-748 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 790-800 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 171-173 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2272-2274 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1109-1113 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 180-188 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4032-4034 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21132-21141 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |