No TPTP formula. May not be expressible in strict first order. |
Music.kif 310-312 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 664-670 |
|
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 3142-3148 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12870-12878 |
|
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 2947-2954 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26343-26369 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 706-712 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1296-1300 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1066-1072 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 203-232 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1297-1303 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 921-932 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 769-779 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 214-216 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2263-2265 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1102-1106 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 223-231 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4231-4233 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20482-20491 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14331-14336 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1208-1213 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |