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 |