property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1097-1102 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 979-984 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7142-7144 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2591-2593 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2604-2606 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2725-2727 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14123-14127 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2540-2551 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1290-1292 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 689-694 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2745-2747 |