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 14148-14162 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16995-17001 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25579-25584 | |
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 17414-17424 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19498-19508 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19514-19524 | |
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 14112-14114 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14116-14120 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14141-14146 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14169-14175 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14182-14191 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |