No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2869-2873 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2356-2362 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1248-1256 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2672-2678 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2617-2622 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 629-645 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1803-1810 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25549-25556 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2782-2787 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17720-17726 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2828-2838 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2840-2852 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2424-2433 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25858-25864 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26371-26377 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 763-770 |
|