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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Predicate
Predicate

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


(documentation Predicate ChineseLanguage "Predicate 是一个作句的 Relation,这个 Relation 的每一个元组都是物体有限、有序的的句子。一个特定组员是一个 Predicate 的元素这事实,由 '(*predicate* arg_1 arg_2 .. arg_n)'来表示, arg_i 是关联的事物。在 BinaryPredicate 的情况下, 可以读成 `arg_1 是 *predicate* arg_2' 或者 `arg_1 的一个 *predicate* 是 arg_2'。") chinese_format.kif 1987-1990
(documentation Predicate EnglishLanguage "A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'.") Merge.kif 3225-3231
(subclass Predicate InheritableRelation) Merge.kif 3223-3223
(subclass Predicate Relation) Merge.kif 3222-3222

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


(instance contraryAttribute Predicate) Merge.kif 455-455
(instance disjointDecomposition Predicate) Merge.kif 565-565
(instance exhaustiveAttribute Predicate) Merge.kif 488-488
(instance exhaustiveDecomposition Predicate) Merge.kif 547-547
(instance partition Predicate) Merge.kif 581-581
(instance processList Predicate) QoSontology.kif 684-684
(partition Relation Predicate Function) Merge.kif 2075-2075
(subclass BinaryPredicate Predicate) Merge.kif 3359-3359
(subclass LogicalOperator Predicate) Merge.kif 3431-3431
(subclass QuaternaryPredicate Predicate) Merge.kif 3381-3381
(subclass QuintaryPredicate Predicate) Merge.kif 3392-3392
(subclass TernaryPredicate Predicate) Merge.kif 3370-3370
(termFormat ChineseLanguage Predicate "谓语") chinese_format.kif 915-915
(termFormat EnglishLanguage Predicate "predicate") english_format.kif 1042-1042

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


(domain defaultMaxValue 1 Predicate) Merge.kif 17105-17105
(domain defaultMinValue 1 Predicate) Merge.kif 17088-17088
(domain defaultValue 1 Predicate) Merge.kif 17121-17121
(domain maxValue 1 Predicate) Merge.kif 17071-17071
(domain minValue 1 Predicate) Merge.kif 17054-17054

antecedent
-------------------------


(<=>
    (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 2116-2133
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (instance
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 2892-2897
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 2899-2904
(=>
    (and
        (exactCardinality ?REL ?ARG 1)
        (instance ?REL Predicate)
        (?REL @ARGS)
        (equal ?X
            (ListOrderFn
                (ListFn @ARGS) ?ARG))
        (equal ?Y
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (equal ?X ?Y))
Media.kif 2108-2115
(=>
    (and
        (exactCardinality ?REL ?ARG 1)
        (instance ?REL Predicate)
        (?REL @ARGS)
        (equal ?X
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (not
        (exists (?Y)
            (and
                (equal ?Y
                    (ListOrderFn
                        (ListFn @ARGS) ?ARG))
                (not
                    (equal ?X ?Y))))))
Media.kif 2095-2105
(=>
    (and
        (exactCardinality ?REL ?ARG 1)
        (instance ?REL Predicate))
    (exists (?X @ARGS)
        (and
            (?REL @ARGS)
            (equal ?X
                (ListOrderFn
                    (ListFn @ARGS) ?ARG))
            (not
                (exists (?Y)
                    (and
                        (equal ?Y
                            (ListOrderFn
                                (ListFn @ARGS) ?ARG))
                        (not
                            (equal ?X ?Y))))))))
Media.kif 2077-2092
(=>
    (and
        (exactCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (equal
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2134-2147
(=>
    (and
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (disjointRelation ?REL1 ?REL2)
        (?REL1 @ROW2))
    (not
        (?REL2 @ROW2)))
Merge.kif 447-453
(=>
    (and
        (irreflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (not
                (?RELATION ?INST ?INST)))))
Merge.kif 3509-3517
(=>
    (and
        (maxCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (lessThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2205-2218
(=>
    (and
        (minCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (greaterThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2170-2183
(=>
    (and
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (?RELATION ?INST ?INST))))
Merge.kif 3491-3498
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (?REL1 @ROW))
    (?REL2 @ROW))
Merge.kif 191-197
(=>
    (and
        (trichotomizingOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST1 ?INST2)
        (=>
            (and
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS))
            (or
                (?RELATION ?INST1 ?INST2)
                (?RELATION ?INST2 ?INST1)
                (equal ?INST1 ?INST2)))))
Merge.kif 3562-3574
(=>
    (and
        (valence ?REL ?NUMBER)
        (instance ?REL Predicate))
    (forall (@ROW)
        (=>
            (?REL @ROW)
            (equal
                (ListLengthFn
                    (ListFn @ROW)) ?NUMBER))))
Merge.kif 2942-2949


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