desires |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1890-1900 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 318-328 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30956-30971 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30898-30908 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30973-30987 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30912-30921 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2777-2782 |
|
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 690-700 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19828-19837 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19791-19797 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 766-775 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19804-19810 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19816-19822 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22543-22551 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 464-471 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7432-7434 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7376-7384 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18408-18415 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7393-7396 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1865-1877 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1902-1914 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2095-2103 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5110-5125 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16434-16440 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |