| RelationalAttribute(relational attribute) | | agency, dint, end, escape, improvisation, means, ownership, possession, temporary_expedient, troponymy, way |
| 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 1729-1731 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1727-1727 | Relational attribute is a subclass of attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11744-11744 | Active agreement is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12942-12942 | Adjoining room is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1165-1165 | All wheel drive is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28410-28410 | Alone is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2581-2581 | BadAirQuality is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28368-28368 | Bare is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28325-28325 | Barefoot is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 739-739 | Bereaved father is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 753-753 | Bereaved mother is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12027-12027 | Blank is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 112-112 | Breakfast is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 190-190 | Brunch is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28352-28352 | Clothed is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28492-28492 | Cloudy is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27673-27673 | CoinOperated is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27710-27710 | Collectible is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25442-25442 | Communal is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1724-1724 | Computer user is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2030-2030 | Container empty is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2047-2047 | Container full is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 17-17 | Cooked is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28835-28835 | Dieting is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 157-157 | Dinner is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25405-25405 | Domestic 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 292-292 | 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 2377-2377 | 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 737-737 | 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 1501-1501 | 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 601-601 | 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 437-437 | 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 256-256 | 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 1610-1610 | Attribute is exhaustively partitioned into internal attribute and relational attribute |
|
|
|