| 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 11769-11769 | Active agreement is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12967-12967 | 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 28430-28430 | Alone is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28388-28388 | Bare is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28345-28345 | 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 12052-12052 | 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 28372-28372 | Clothed is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28512-28512 | Cloudy is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27692-27692 | CoinOperated is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27729-27729 | Collectible is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25461-25461 | 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 28855-28855 | 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 25424-25424 | 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 |
|
|
|