No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4175-4190 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3333-3356 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 274-291 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 469-479 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26961-26987 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22719-22723 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4638-4652 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4627-4636 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4620-4625 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3466-3473 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9615-9621 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22655-22659 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 852-860 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 840-850 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3629-3638 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3623-3627 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3640-3650 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4455-4459 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4461-4465 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1267-1273 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1257-1271 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1251-1255 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 839-846 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |