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 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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners