not |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5130-5142 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5104-5115 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18343-18358 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2636-2644 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3083-3102 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5790-5799 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6062-6068 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2120-2131 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30662-30683 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 501-514 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12383-12397 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 853-866 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 772-795 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2162-2175 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5016-5025 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4081-4113 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 108-122 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7142-7162 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 224-231 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2784-2796 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2746-2754 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 812-817 | |
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. | VirusProteinAndCellPart.kif 877-888 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |