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


KB Term:  Term intersection
English Word: 

Sigma KEE - Relation
Relation(relation)relational

appearance as argument number 1
-------------------------


(subclass Relation Abstract) Merge.kif 2194-2194 Relation is a subclass of abstract
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2195-2196 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
(partition Relation Predicate Function) Merge.kif 2197-2197 Relation is exhaustively partitioned into predicate and function
(partition Relation TotalValuedRelation PartialValuedRelation) Merge.kif 2198-2198 Relation is exhaustively partitioned into total valued relation and partial valued relation
(documentation Relation EnglishLanguage "The Class of relations.There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators. ") Merge.kif 2200-2204 Relation is exhaustively partitioned into total valued relation and partial valued relation

appearance as argument number 2
-------------------------


(subclass SingleValuedRelation Relation) Merge.kif 2211-2211 Single valued relation is a subclass of relation
(subclass TotalValuedRelation Relation) Merge.kif 2229-2229 Total valued relation is a subclass of relation
(subclass PartialValuedRelation Relation) Merge.kif 2258-2258 Partial valued relation is a subclass of relation
(subclass BinaryRelation Relation) Merge.kif 2267-2267 Binary relation is a subclass of relation
(subclass InheritableRelation Relation) Merge.kif 2593-2593 Inheritable relation is a subclass of relation
(subclass ProbabilityRelation Relation) Merge.kif 2599-2599 Probability relation is a subclass of relation
(subclass SpatialRelation Relation) Merge.kif 2691-2691 Spatial relation is a subclass of relation
(subclass TemporalRelation Relation) Merge.kif 2698-2698 Temporal relation is a subclass of relation
(subclass IntentionalRelation Relation) Merge.kif 2706-2706 Intentional relation is a subclass of relation
(subclass TernaryRelation Relation) Merge.kif 2891-2891 Ternary relation is a subclass of relation
(subclass QuaternaryRelation Relation) Merge.kif 2898-2898 Quaternary relation is a subclass of relation
(subclass QuintaryRelation Relation) Merge.kif 2905-2905 Quintary relation is a subclass of relation
(subclass Predicate Relation) Merge.kif 3378-3378 Predicate is a subclass of relation
(subclass VariableArityRelation Relation) Merge.kif 3561-3561 Variable arity relation is a subclass of relation
(subclass RelationExtendedToQuantities Relation) Merge.kif 3572-3572 Relation extended to quantities is a subclass of relation
(subclass PPPBasedEconomicValuation Relation) Economy.kif 1054-1054 PPP based economic valuation is a subclass of relation
(termFormat EnglishLanguage Relation "relation") english_format.kif 978-978 PPP based economic valuation is a subclass of relation

appearance as argument number 3
-------------------------


(domain subrelation 1 Relation) Merge.kif 165-165 The number 1 argument of subrelation is an instance of relation
(domain subrelation 2 Relation) Merge.kif 166-166 The number 2 argument of subrelation is an instance of relation
(domain domain 1 Relation) Merge.kif 202-202 The number 1 argument of domain is an instance of relation
(domain domainSubclass 1 Relation) Merge.kif 224-224 The number 1 argument of domain subclass is an instance of relation
(domain valence 1 Relation) Merge.kif 354-354 The number 1 argument of valence is an instance of relation
(domain disjointRelation 1 Relation) Merge.kif 405-405 The number 1 argument of disjoint relation is an instance of relation
(domain disjointRelation 2 Relation) Merge.kif 406-406 The number 2 argument of disjoint relation is an instance of relation
(domain applicableRelation 2 Relation) Mid-level-ontology.kif 34103-34103 The number 2 argument of applicable relation is an instance of relation
(domain exactCardinality 1 Relation) Media.kif 2071-2071 The number 1 argument of exact cardinality is an instance of relation
(domain minCardinality 1 Relation) Media.kif 2158-2158 The number 1 argument of min cardinality is an instance of relation
(domain maxCardinality 1 Relation) Media.kif 2195-2195 The number 1 argument of max cardinality is an instance of relation

appearance as argument number 4
-------------------------


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1704-1704 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list


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