| 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 10889-10889 | Active agreement is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11959-11959 | 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 26443-26443 | 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 26398-26398 | Bare is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26352-26352 | Barefoot is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 741-741 | Bereaved father is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 755-755 | Bereaved mother is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11158-11158 | 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 26381-26381 | Clothed is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26528-26528 | Cloudy is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25699-25699 | CoinOperated is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25736-25736 | Collectible is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23372-23372 | 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 1557-1557 | Container empty is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1574-1574 | 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 26874-26874 | 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 23336-23336 | 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 2409-2409 | 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 743-743 | 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 1514-1514 | 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 607-607 | 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 441-441 | 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 |
|
|
|