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


KB Term:  Term intersection
English Word: 

Sigma KEE - Relation
Relation(relation)active, active_voice, affiliated, affinity, agreement, alliance, also, antipode, antithesis, applicability, apposition, arithmetic, arithmetical, arithmetically, as_well, aspect, associability, associableness, asymptotically, attached, average, bearing, besides, bilinear, bivariate, bond, case_agreement, caught_up, cogency, commensalism, common_mood, complementarity, complementation, comprehension, concatenation, concerned, concord, conformance, conformity, congener, connected, connectedness, connection, connexion, continuous_tense, coordination, correlate, correlated, correlation, correlational...

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


s__disjointDecomposition(s__Relation, s__BinaryRelation, s__TernaryRelation, s__QuaternaryRelation, s__QuintaryRelation, s__VariableArityRelation) Merge.kif 2196-2197 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
s__documentation(s__Relation, s__ChineseLanguage, "这是关系的 Class。现有三类的 Relation: Predicate， Function 和 List。 Predicate 和Function 皆表示有序的n元组集合， 这两个 Class 的差别在于 Predicate 包括组成公式的运算符，而Function 则包括组成 术语的运算符，而一个 List 却是一个特定的有序n元组。") chinese_format.kif 1816-1819 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
s__documentation(s__Relation, s__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 2201-2205 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
s__documentation(s__Relation, s__JapaneseLanguage, "関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序付けされた n タプ ルのセットを示す。これら2つの Class の違いは、Predicate カバー式形成演算子、Function カ バー用語形成演算子である。一方、List は特定の順序付けされた n タプルである。") japanese_format.kif 434-437 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
s__partition(s__Relation, s__Predicate, s__Function) Merge.kif 2198-2198 Relation is exhaustively partitioned into predicate and function
s__partition(s__Relation, s__TotalValuedRelation, s__PartialValuedRelation) Merge.kif 2199-2199 Relation is exhaustively partitioned into total valued relation and partial valued relation
s__subclass(s__Relation, s__Abstract) Merge.kif 2195-2195 Relation is a subclass of abstract

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


s__subclass(s__BinaryRelation, s__Relation) Merge.kif 2268-2268 Binary relation is a subclass of relation
s__subclass(s__InheritableRelation, s__Relation) Merge.kif 2594-2594 Inheritable relation is a subclass of relation
s__subclass(s__IntentionalRelation, s__Relation) Merge.kif 2707-2707 Intentional relation is a subclass of relation
s__subclass(s__PPPBasedEconomicValuation, s__Relation) Economy.kif 1054-1054 PPP based economic valuation is a subclass of relation
s__subclass(s__PartialValuedRelation, s__Relation) Merge.kif 2259-2259 Partial valued relation is a subclass of relation
s__subclass(s__Predicate, s__Relation) Merge.kif 3379-3379 Predicate is a subclass of relation
s__subclass(s__ProbabilityRelation, s__Relation) Merge.kif 2600-2600 Probability relation is a subclass of relation
s__subclass(s__QuaternaryRelation, s__Relation) Merge.kif 2899-2899 Quaternary relation is a subclass of relation
s__subclass(s__QuintaryRelation, s__Relation) Merge.kif 2906-2906 Quintary relation is a subclass of relation
s__subclass(s__RelationExtendedToQuantities, s__Relation) Merge.kif 3573-3573 Relation extended to quantities is a subclass of relation
s__subclass(s__SingleValuedRelation, s__Relation) Merge.kif 2212-2212 Single valued relation is a subclass of relation
s__subclass(s__SpatialRelation, s__Relation) Merge.kif 2692-2692 Spatial relation is a subclass of relation
s__subclass(s__TemporalRelation, s__Relation) Merge.kif 2699-2699 Temporal relation is a subclass of relation
s__subclass(s__TernaryRelation, s__Relation) Merge.kif 2892-2892 Ternary relation is a subclass of relation
s__subclass(s__TotalValuedRelation, s__Relation) Merge.kif 2230-2230 Total valued relation is a subclass of relation
s__subclass(s__VariableArityRelation, s__Relation) Merge.kif 3562-3562 Variable arity relation is a subclass of relation
s__termFormat(s__ChineseLanguage, s__Relation, "关系") chinese_format.kif 888-888 Variable arity relation is a subclass of relation
s__termFormat(s__EnglishLanguage, s__Relation, "relation") english_format.kif 978-978 Variable arity relation is a subclass of relation
s__termFormat(s__FrenchLanguage, s__Relation, "relation") french_format.kif 564-564 Variable arity relation is a subclass of relation
s__termFormat(s__Hindi, s__Relation, "sambandha") terms-hindi.txt 94-94 Variable arity relation is a subclass of relation
s__termFormat(s__ItalianLanguage, s__Relation, "Relazione") terms-it.txt 97-97 Variable arity relation is a subclass of relation
s__termFormat(s__JapaneseLanguage, s__Relation, "関係") japanese_format.kif 2249-2249 Variable arity relation is a subclass of relation
s__termFormat(s__PortugueseLanguage, s__Relation, "Relacao") portuguese_format.kif 516-516 Variable arity relation is a subclass of relation
s__termFormat(s__cb__m, s__Relation, "relasyon") terms-cb.txt 99-99 Variable arity relation is a subclass of relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__applicableRelation__m, 2, s__Relation) Mid-level-ontology.kif 33308-33308 The number 2 argument of applicable relation is an instance of relation
s__domain(s__disjointRelation__m, 1, s__Relation) Merge.kif 405-405 The number 1 argument of disjoint relation is an instance of relation
s__domain(s__disjointRelation__m, 2, s__Relation) Merge.kif 406-406 The number 2 argument of disjoint relation is an instance of relation
s__domain(s__domain__m, 1, s__Relation) Merge.kif 202-202 The number 1 argument of domain is an instance of relation
s__domain(s__domainSubclass__m, 1, s__Relation) Merge.kif 224-224 The number 1 argument of domain subclass is an instance of relation
s__domain(s__exactCardinality__m, 1, s__Relation) Media.kif 2071-2071 The number 1 argument of exact cardinality is an instance of relation
s__domain(s__maxCardinality__m, 1, s__Relation) Media.kif 2195-2195 The number 1 argument of max cardinality is an instance of relation
s__domain(s__minCardinality__m, 1, s__Relation) Media.kif 2158-2158 The number 1 argument of min cardinality is an instance of relation
s__domain(s__subrelation__m, 1, s__Relation) Merge.kif 165-165 The number 1 argument of subrelation is an instance of relation
s__domain(s__subrelation__m, 2, s__Relation) Merge.kif 166-166 The number 2 argument of subrelation is an instance of relation
s__domain(s__valence__m, 1, s__Relation) Merge.kif 354-354 The number 1 argument of valence is an instance of relation

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


s__disjointDecomposition(s__Abstract, s__Quantity, s__Attribute, s__Relation, s__Proposition, s__List) Merge.kif 1705-1705 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