Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RelationalAttribute
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners