meetsTemporally |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9094-9098 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9122-9126 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9207-9211 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9193-9197 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9179-9183 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 293-306 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1952-1959 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8683-8688 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5997-6017 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3212-3228 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 174-182 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8748-8753 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 104-118 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 120-135 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 427-438 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 387-398 |
|
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. | Merge.kif 9395-9407 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9423-9433 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9435-9445 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6128-6137 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6036-6043 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16411-16427 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19202-19207 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19209-19214 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |