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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RelationalAttribute

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 1763-1765
No TPTP formula. May not be expressible in strict first order. Merge.kif 1761-1761 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 13578-13578 Active agreement is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14695-14695 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 29622-29622 Alone is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2587-2587 BadAirQuality is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29577-29577 Bare is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29531-29531 Barefoot is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 741-741 Bereaved father is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 755-755 Bereaved mother is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13847-13847 Blank is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 94-94 Breakfast is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 172-172 Brunch is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29560-29560 Clothed is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29714-29714 Cloudy is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28877-28877 CoinOperated is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28914-28914 Collectible is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26550-26550 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 1579-1579 Container empty is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1596-1596 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 30060-30060 Dieting is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 139-139 Dinner is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26514-26514 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 293-293 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 2433-2433 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 743-743 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 1527-1527 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 607-607 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 441-441 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 1648-1648 Attribute is exhaustively partitioned into internal attribute and relational attribute


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

Show without tree


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