| 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 1725-1727 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1723-1723 | 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 11742-11742 | Active agreement is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12940-12940 | 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 28402-28402 | Alone is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28360-28360 | Bare is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28317-28317 | 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 12025-12025 | 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 28344-28344 | Clothed is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28484-28484 | Cloudy is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27665-27665 | CoinOperated is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27702-27702 | Collectible is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25434-25434 | 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 28827-28827 | 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 25397-25397 | Domestic is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2791-2791 | Engine flooded 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 1500-1500 | 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 1606-1606 | Attribute is exhaustively partitioned into internal attribute and relational attribute |
|
|
|