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 |