|
|
   RelationalAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1725-1726 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1817-1819 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 332-334 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | Relational attribute is a subclass of attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 15-15 | Relational attribute is an attribute of tourniquet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14135-14135 | Active agreement is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15254-15254 | Adjoining room is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1174-1174 | All wheel drive is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30244-30244 | Alone is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2571-2571 | Bad air quality is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30199-30199 | Bare is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30153-30153 | Barefoot is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 754-754 | Bereaved father is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 768-768 | Bereaved mother is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14404-14404 | Blank is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1700-1700 | Breakfast is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1844-1844 | Brunch is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30182-30182 | Clothed is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30336-30336 | Cloudy is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29516-29516 | Coin operated is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29553-29553 | Collectible is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27189-27189 | Communal is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1719-1719 | Computer user is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1613-1613 | Container empty is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1630-1630 | Container full is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30682-30682 | Dieting is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1788-1788 | Dinner is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27153-27153 | Domestic is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1877-1877 | Abnormal EKG is an instance of relational attribute |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 295-295 | The number 2 argument of album type is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2400-2400 | The number 2 argument of associate with status is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 764-764 | The number 2 argument of colocated business is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1552-1552 | The number 2 argument of included meal is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 628-628 | The number 2 argument of organization staff is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 461-461 | The number 2 argument of room attribute is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 261-261 | The number 2 argument of some rooms attribute is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | Attribute is exhaustively partitioned into internal attribute and relational attribute |
|
|
|