property |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7216-7222 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7241-7247 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7181-7187 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14149-14163 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16973-16979 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25580-25585 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 230-234 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 211-217 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2788-2800 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2808-2820 |
|
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. | FinancialOntology.kif 2712-2716 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17392-17402 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19499-19509 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19515-19525 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3217-3229 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 490-497 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14113-14115 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14117-14121 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14142-14147 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14170-14176 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14183-14192 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |