| RelationalAttribute(relational attribute) | | additional, agency, all, all_over, annually, apiece, barren, bimonthly, biyearly, both, by_the_day, cap-a-pie, continuously, daily, destitute, devoid, dint, distributively, each, each_year, end, escape, exclusive, existing, extra, for_each_one, for_each_person, free, from_each_one, from_head_to_toe, improvisation, innocent, joint, means, monthly, no, nonexistent, nonglutinous, nonreciprocating, nonviscid, of_each_person, over, ownership, p.a., per_annum, per_capita, per_diem, per_year, possession, reciprocative... |
| 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 1827-1829 | |
| 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 1825-1825 | 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 15479-15479 | Active agreement is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16600-16600 | 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 32138-32138 | Alone is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3312-3312 | Bad air quality is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32093-32093 | Bare is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32021-32021 | Barefoot is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 786-786 | Bereaved father is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 800-800 | Bereaved mother is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15748-15748 | Blank is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2802-2802 | Blue force controlled is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1706-1706 | Breakfast is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1850-1850 | Brunch is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32076-32076 | Clothed is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32230-32230 | Cloudy is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31384-31384 | Coin operated is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31421-31421 | Collectible is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29057-29057 | Communal is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1850-1850 | Computer user is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2083-2083 | Container empty is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2100-2100 | Container full is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32592-32592 | Dieting is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1794-1794 | Dinner is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29019-29019 | 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 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 2397-2397 | 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 768-768 | 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 1563-1563 | 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 632-632 | 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 1712-1712 | Attribute is exhaustively partitioned into internal attribute and relational attribute |
|
|
|