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 7141-7143 |
|
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 14122-14126 |
|
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 |
|