KappaFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13632-13646 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3668-3704 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 144-169 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2669-2685 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2623-2639 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2687-2703 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2641-2659 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13800-13812 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22172-22181 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 142-151 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21712-21727 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1521-1534 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2125-2134 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2974-2986 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2998-3010 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30695-30715 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1264-1272 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4476-4484 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2127-2137 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1588-1590 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3490-3517 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 89-96 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4914-4919 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1472-1492 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |