| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | Relational attribute is a subclass of attribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2054-2054 | Speed scale attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1338-1338 | Airport classification is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 446-446 | Environment software attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 783-783 | Process status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1066-1066 | Priority attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1089-1089 | Software attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1332-1332 | Realtime system attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2116-2116 | Computer status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 664-664 | Religious attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 21-21 | Industry attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 363-363 | Recording attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 473-473 | Album attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 501-501 | Music genre is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4097-4097 | Bed attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19536-19536 | Politico economic attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25317-25317 | Size attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30326-30326 | Conservation status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31032-31032 | Measurement attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1586-1586 | Legal agent is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16969-16969 | Truth value is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16995-16995 | Positional attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17163-17163 | Time zone is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17239-17239 | Social role is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17291-17291 | Normative attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17614-17614 | Perceptual attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5381-5381 | Gram stain is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6412-6412 | AVPU status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 973-973 | Hotel room attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1203-1203 | Hotel level attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 803-803 | Legal system attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2458-2458 | Member status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6225-6225 | Land vegetation attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | Area of concern is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 17-17 | Prepared food attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 447-447 | Coffee roast attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1058-1058 | Coffee grind attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1804-1804 | Investment attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1830-1830 | Liquidity attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1850-1850 | Risk attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1868-1868 | Yield attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2496-2496 | Financial rating is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3950-3950 | Service attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4003-4003 | Financial account status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3780-3780 | Economic role is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4180-4180 | Plant attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1253-1253 | Cuisine is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4360-4360 | Account security type is a subclass of relational attribute |
|
|