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 10889-10889 Active agreement is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11959-11959 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 26443-26443 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 26398-26398 Bare is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26352-26352 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 11158-11158 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 26381-26381 Clothed is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26528-26528 Cloudy is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25699-25699 CoinOperated is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25736-25736 Collectible is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23372-23372 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 1557-1557 Container empty is an instance of relational attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1574-1574 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 26874-26874 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 23336-23336 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 2409-2409 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 1514-1514 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 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