member |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 944-952 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2887-2903 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2922-2940 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1033-1060 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3970-3985 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3911-3926 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3879-3894 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 719-731 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1772-1786 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2673-2682 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1458-1467 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1450-1456 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1351-1355 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 285-296 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1344-1348 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1061-1065 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1084-1088 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18814-18820 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16228-16232 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16238-16242 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1771-1780 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1270-1278 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7023-7027 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7940-7947 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |