BeginFn |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19565-19577 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17517-17522 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8262-8267 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8269-8279 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8690-8697 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1758-1780 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1708-1729 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12804-12810 | |
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 8025-8030 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 834-842 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8382-8384 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7998-8005 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8339-8343 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1270-1284 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1254-1268 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8212-8221 |