No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | Internal attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 383-383 | Track gauge is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1860-1860 | Device state attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19249-19249 | Linguistic attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19663-19663 | Breakability attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1810-1810 | Physical attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17563-17563 | Physical state is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17745-17745 | Structure attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18007-18007 | Saturation attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18045-18045 | Biological attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1737-1737 | Terrain attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2600-2600 | Biodiversity attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4064-4064 | Volcano status is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7334-7334 | Solubility attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 44-44 | Lexicon category is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 209-209 | Equation attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 229-229 | Algebro differential attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 254-254 | Physical domain is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 319-319 | Multipole attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 705-705 | Nonlinear is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 711-711 | Backlashless is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 715-715 | Brushless is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 725-725 | Autonomous is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1369-1369 | Web document attribute is a subclass of internal attribute |