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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Relation
Relation(関係)

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 3515-3516 関係2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係disjointly decomposed %n
(documentation Relation ChineseLanguage "这是关系的 Class。现有三类的 Relation: PredicateFunctionListPredicateFunction 皆表示有序的n元组集合, 这两个 Class 的差别在于 Predicate 包括组成公式的运算符,而Function 则包括组成 术语的运算符,而一个 List 却是一个特定的有序n元组。") Merge.kif 3526-3529
(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 3519-3524
(documentation Relation JapaneseLanguage "関係の ClassRelation には、PredicateFunction、と List の3種類がある。 %Predicate と Function の両方が、順序付けされた n タプ ルのセットを示す。これら2つの Class の違いは、Predicate カバー式形成演算子、Function カ バー用語形成演算子である。一方、List は特定の順序付けされた n タプルである。") Merge.kif 3531-3534
(partition Relation Predicate Function List) Merge.kif 3516-3516 関係述語, 関数, + リストexhaustively partitioned %n
(partition Relation TotalValuedRelation PartialValuedRelation) Merge.kif 3517-3517 関係合計値関係 + 部分的価値関係exhaustively partitioned %n
(subclass Relation Abstract) Merge.kif 3514-3514 関係抽象的なsubclass では %n

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


(subclass BinaryRelation Relation) Merge.kif 3627-3627 2項関係関係subclass では %n
(subclass InheritableRelation Relation) Merge.kif 4140-4140 InheritableRelation関係subclass では %n
(subclass IntentionalRelation Relation) Merge.kif 4322-4322 IntentionalRelation関係subclass では %n
(subclass List Relation) Merge.kif 4613-4613 リスト関係subclass では %n
(subclass PPPBasedEconomicValuation Relation) Economy.kif 961-961 PPPBasedEconomicValuation関係subclass では %n
(subclass PartialValuedRelation Relation) Merge.kif 3607-3607 部分的価値関係関係subclass では %n
(subclass Predicate Relation) Merge.kif 5043-5043 述語関係subclass では %n
(subclass ProbabilityRelation Relation) Merge.kif 4153-4153 確率関係関係subclass では %n
(subclass QuaternaryRelation Relation) Merge.kif 4585-4585 4変数関係関係subclass では %n
(subclass QuintaryRelation Relation) Merge.kif 4599-4599 5進法関係関係subclass では %n
(subclass RelationExtendedToQuantities Relation) Merge.kif 5345-5345 数量に拡張された関係関係subclass では %n
(subclass SingleValuedRelation Relation) Merge.kif 3542-3542 一価関係関係subclass では %n
(subclass SpatialRelation Relation) Merge.kif 4295-4295 空間的関係関係subclass では %n
(subclass TemporalRelation Relation) Merge.kif 4308-4308 時間関係関係subclass では %n
(subclass TernaryRelation Relation) Merge.kif 4572-4572 三進法関係関係subclass では %n
(subclass TotalValuedRelation Relation) Merge.kif 3569-3569 合計値関係関係subclass では %n
(subclass VariableArityRelation Relation) Merge.kif 5328-5328 可変項数関係関係subclass では %n
(termFormat ChineseLanguage Relation "关系") chinese_format.kif 888-888 termFormat ChineseLanguage, 関係 and "关系"
(termFormat EnglishLanguage Relation "relation") english_format.kif 1357-1357 termFormat EnglishLanguage, 関係 and "relation"
(termFormat JapaneseLanguage Relation "関係") english_format.kif 1358-1358 termFormat JapaneseLanguage, 関係 and "関係"

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


(domain disjointRelation 1 Relation) Merge.kif 611-611 disjointRelation の数値 1 引数は 関係instance では %n
(domain disjointRelation 2 Relation) Merge.kif 612-612 disjointRelation の数値 2 引数は 関係instance では %n
(domain domain 1 Relation) Merge.kif 288-288 domain の数値 1 引数は 関係instance では %n
(domain domainSubclass 1 Relation) Merge.kif 336-336 domainSubclass の数値 1 引数は 関係instance では %n
(domain exactCardinality 1 Relation) Media.kif 2071-2071 exactCardinality の数値 1 引数は 関係instance では %n
(domain maxCardinality 1 Relation) Media.kif 2189-2189 maxCardinality の数値 1 引数は 関係instance では %n
(domain minCardinality 1 Relation) Media.kif 2153-2153 minCardinality の数値 1 引数は 関係instance では %n
(domain subrelation 1 Relation) Merge.kif 234-234 subrelation の数値 1 引数は 関係instance では %n
(domain subrelation 2 Relation) Merge.kif 235-235 subrelation の数値 2 引数は 関係instance では %n
(domain valence 1 Relation) Merge.kif 511-511 valence の数値 1 引数は 関係instance では %n

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 2693-2693 抽象的な, 属性, 同じセットまたはクラス, 関係, + 命題disjointly decomposed %n

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 3588-3605 関係合計値関係instance では %n 関係述語instance では %n 正の整数 関係関係instance では %n 関係 正の整数argument(s) を %&has %n{ない}


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