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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RelationalAttribute
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 11744-11744 Active agreement is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12942-12942 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 28410-28410 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 28368-28368 Bare is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28325-28325 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 12027-12027 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 28352-28352 Clothed is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28492-28492 Cloudy is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27673-27673 CoinOperated is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27710-27710 Collectible is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25442-25442 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 28835-28835 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 25405-25405 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 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 1501-1501 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 1610-1610 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