MeasureFn |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 783-788 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13535-13544 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13546-13557 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13485-13496 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13565-13574 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13576-13585 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13504-13513 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13515-13526 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13466-13476 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 818-828 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1922-1930 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1834-1841 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2001-2013 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 546-561 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6165-6176 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5918-5925 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1172-1184 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25710-25725 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3331-3341 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1063-1073 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17142-17163 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1445-1457 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |