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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Relation

Sigma KEE - Relation
Relation(关系)

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2279-2280 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系
(documentation Relation ChineseLanguage "这是关系的 Class。现有三类的 Relation: PredicateFunctionListPredicateFunction 皆表示有序的n元组集合, 这两个 Class 的差别在于 Predicate 包括组成公式的运算符,而Function 则包括组成 术语的运算符,而一个 List 却是一个特定的有序n元组。") Merge.kif 2288-2291
(documentation Relation EnglishLanguage "The Class of relations. There are three kinds of Relation: Predicate, Function, and List. 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. A List, on the other hand, is a particular ordered n-tuple.") Merge.kif 2282-2287
(partition Relation Predicate Function List) Merge.kif 2280-2280 关系 详尽无遗地 partition谓语, 函数, 和 串列
(partition Relation TotalValuedRelation PartialValuedRelation) Merge.kif 2281-2281 关系 详尽无遗地 partition总值关系部分值关系
(subclass Relation Abstract) Merge.kif 2278-2278 关系抽象体subclass

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


(subclass BinaryRelation Relation) Merge.kif 2362-2362 二元关系关系subclass
(subclass InheritableRelation Relation) Merge.kif 2724-2724 InheritableRelation关系subclass
(subclass IntentionalRelation Relation) Merge.kif 2852-2852 IntentionalRelation关系subclass
(subclass List Relation) Merge.kif 3062-3062 串列关系subclass
(subclass PPPBasedEconomicValuation Relation) Economy.kif 961-961 PPPBasedEconomicValuation关系subclass
(subclass PartialValuedRelation Relation) Merge.kif 2350-2350 部分值关系关系subclass
(subclass Predicate Relation) Merge.kif 3422-3422 谓语关系subclass
(subclass ProbabilityRelation Relation) Merge.kif 2731-2731 概率关系关系subclass
(subclass QuaternaryRelation Relation) Merge.kif 3046-3046 四元关系关系subclass
(subclass QuintaryRelation Relation) Merge.kif 3054-3054 五元关系关系subclass
(subclass RelationExtendedToQuantities Relation) Merge.kif 3633-3633 延伸数量关系关系subclass
(subclass SingleValuedRelation Relation) Merge.kif 2298-2298 单值关系关系subclass
(subclass SpatialRelation Relation) Merge.kif 2835-2835 空间关系关系subclass
(subclass TemporalRelation Relation) Merge.kif 2843-2843 时间关系关系subclass
(subclass TernaryRelation Relation) Merge.kif 3038-3038 三元关系关系subclass
(subclass TotalValuedRelation Relation) Merge.kif 2318-2318 总值关系关系subclass
(subclass VariableArityRelation Relation) Merge.kif 3621-3621 不定次元关系关系subclass
(termFormat ChineseLanguage Relation "关系") chinese_format.kif 888-888 termFormat ChineseLanguage, 关系 and "关系"
(termFormat EnglishLanguage Relation "relation") english_format.kif 725-725 termFormat EnglishLanguage, 关系 and "relation"
(termFormat JapaneseLanguage Relation "関係") english_format.kif 726-726 termFormat JapaneseLanguage, 关系 and "関係"

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


(domain disjointRelation 1 Relation) Merge.kif 459-459 不相交关系 的 1 数量 是 关系instance
(domain disjointRelation 2 Relation) Merge.kif 460-460 不相交关系 的 2 数量 是 关系instance
(domain domain 1 Relation) Merge.kif 229-229 定义域 的 1 数量 是 关系instance
(domain domainSubclass 1 Relation) Merge.kif 258-258 子类别的定义域 的 1 数量 是 关系instance
(domain exactCardinality 1 Relation) Media.kif 2071-2071 exactCardinality 的 1 数量 是 关系instance
(domain maxCardinality 1 Relation) Media.kif 2189-2189 maxCardinality 的 1 数量 是 关系instance
(domain minCardinality 1 Relation) Media.kif 2153-2153 minCardinality 的 1 数量 是 关系instance
(domain subrelation 1 Relation) Merge.kif 187-187 子关系 的 1 数量 是 关系instance
(domain subrelation 2 Relation) Merge.kif 188-188 子关系 的 2 数量 是 关系instance
(domain valence 1 Relation) Merge.kif 400-400 配价 的 1 数量 是 关系instance

appearance as argument number 5
-------------------------


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1722-1722 抽象体 分拆成不相交的 数量, 属性, 集或类, 关系, 和 命题

consequent
-------------------------


(<=>
    (and
        (instance ?REL TotalValuedRelation)
        (instance ?REL Predicate))
    (exists (?VALENCE)
        (and
            (instance ?REL Relation)
            (valence ?REL ?VALENCE)
            (=>
                (forall (?NUMBER ?ELEMENT ?CLASS)
                    (=>
                        (and
                            (lessThan ?NUMBER ?VALENCE)
                            (domain ?REL ?NUMBER ?CLASS)
                            (equal ?ELEMENT
                                (ListOrderFn
                                    (ListFn @ROW) ?NUMBER)))
                        (instance ?ELEMENT ?CLASS)))
                (exists (?ITEM)
                    (?REL @ROW ?ITEM))))))
Merge.kif 2331-2348 关系总值关系instance那个 关系谓语instance 若且唯若 有存在 正整数 这样 那个 关系关系instance那个 关系 % 有 那个 正整数 Argument) 和


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