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 Relation TotalValuedRelation PartialValuedRelation) Merge.kif 2281-2281
(subclass Relation Abstract) Merge.kif 2278-2278

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


(subclass BinaryRelation Relation) Merge.kif 2362-2362
(subclass InheritableRelation Relation) Merge.kif 2724-2724
(subclass IntentionalRelation Relation) Merge.kif 2852-2852
(subclass List Relation) Merge.kif 3062-3062
(subclass PPPBasedEconomicValuation Relation) Economy.kif 961-961
(subclass PartialValuedRelation Relation) Merge.kif 2350-2350
(subclass Predicate Relation) Merge.kif 3422-3422
(subclass ProbabilityRelation Relation) Merge.kif 2731-2731
(subclass QuaternaryRelation Relation) Merge.kif 3046-3046
(subclass QuintaryRelation Relation) Merge.kif 3054-3054
(subclass RelationExtendedToQuantities Relation) Merge.kif 3633-3633
(subclass SingleValuedRelation Relation) Merge.kif 2298-2298
(subclass SpatialRelation Relation) Merge.kif 2835-2835
(subclass TemporalRelation Relation) Merge.kif 2843-2843
(subclass TernaryRelation Relation) Merge.kif 3038-3038
(subclass TotalValuedRelation Relation) Merge.kif 2318-2318
(subclass VariableArityRelation Relation) Merge.kif 3621-3621
(termFormat ChineseLanguage Relation "关系") chinese_format.kif 888-888
(termFormat EnglishLanguage Relation "relation") english_format.kif 725-725
(termFormat JapaneseLanguage Relation "関係") english_format.kif 726-726

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


(domain disjointRelation 1 Relation) Merge.kif 459-459
(domain disjointRelation 2 Relation) Merge.kif 460-460
(domain domain 1 Relation) Merge.kif 229-229
(domain domainSubclass 1 Relation) Merge.kif 258-258
(domain exactCardinality 1 Relation) Media.kif 2071-2071
(domain maxCardinality 1 Relation) Media.kif 2189-2189
(domain minCardinality 1 Relation) Media.kif 2153-2153
(domain subrelation 1 Relation) Merge.kif 187-187
(domain subrelation 2 Relation) Merge.kif 188-188
(domain valence 1 Relation) Merge.kif 400-400

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


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