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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Predicate

Sigma KEE - Predicate
Predicate(predicat)

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 3343-3349
(documentation Predicate JapaneseLanguage "Predicate とは、Relation の各タプルが有限で 順序付けされたオブジェクトのシーケンスである文形成 Relation である。 特定のタプルが '(*述語* arg_1 arg_2 .. arg_n)による Predicate の要素であるという事実。 arg_n)'は、arg_i が 関連するオブジェクトである。BinaryPredicates の場合、事実は 'arg_1 は *述語* arg_2' または 'arg_1 の *述語* は arg_2' と読むことができる。") japanese_format.kif 620-624
(subclass Predicate InheritableRelation) Merge.kif 3341-3341 Predicat est une sous-classe de InheritableRelation
(subclass Predicate Relation) Merge.kif 3340-3340 Predicat est une sous-classe de relation

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


(instance contraryAttribute Predicate) Merge.kif 455-455 contraryAttribute est une instance de predicat
(instance disjointDecomposition Predicate) Merge.kif 564-564 disjointDecomposition est une instance de predicat
(instance exhaustiveAttribute Predicate) Merge.kif 486-486 exhaustiveAttribute est une instance de predicat
(instance exhaustiveDecomposition Predicate) Merge.kif 546-546 exhaustiveDecomposition est une instance de predicat
(instance partition Predicate) Merge.kif 580-580 partition est une instance de predicat
(instance processList Predicate) QoSontology.kif 686-686 processList est une instance de predicat
(partition Relation Predicate Function) Merge.kif 2162-2162 Relation est compl�tement d�compos� en predicat + function
(subclass BinaryPredicate Predicate) Merge.kif 3479-3479 Pr�dicat binaire est une sous-classe de predicat
(subclass ClosedWorldPredicate Predicate) Merge.kif 18549-18549 ClosedWorldPredicate est une sous-classe de predicat
(subclass LogicalOperator Predicate) Merge.kif 3551-3551 LogicalOperator est une sous-classe de predicat
(subclass QuaternaryPredicate Predicate) Merge.kif 3501-3501 Pr�dicat quaternaire est une sous-classe de predicat
(subclass QuintaryPredicate Predicate) Merge.kif 3512-3512 Predicate quinternaire est une sous-classe de predicat
(subclass TernaryPredicate Predicate) Merge.kif 3490-3490 Pr�dicat ternaire est une sous-classe de predicat
(termFormat ChineseLanguage Predicate "谓语") chinese_format.kif 915-915 Pr�dicat ternaire est une sous-classe de predicat
(termFormat EnglishLanguage Predicate "predicate") english_format.kif 1037-1037 Pr�dicat ternaire est une sous-classe de predicat
(termFormat FrenchLanguage Predicate "predicat") french_format.kif 591-591 Pr�dicat ternaire est une sous-classe de predicat
(termFormat Hindi Predicate "vidheya") terms-hindi.txt 121-121 Pr�dicat ternaire est une sous-classe de predicat
(termFormat ItalianLanguage Predicate "Predicato") terms-it.txt 124-124 Pr�dicat ternaire est une sous-classe de predicat
(termFormat JapaneseLanguage Predicate "述語") japanese_format.kif 2276-2276 Pr�dicat ternaire est une sous-classe de predicat
(termFormat PortugueseLanguage Predicate "Predicado") portuguese_format.kif 543-543 Pr�dicat ternaire est une sous-classe de predicat
(termFormat cb Predicate "matangnon") terms-cb.txt 126-126 Pr�dicat ternaire est une sous-classe de predicat
(termFormat cz Predicate "predicate") terms-cz.txt 158-158 Pr�dicat ternaire est une sous-classe de predicat
(termFormat ro Predicate "predicat") relations-ro.kif 612-612 Pr�dicat ternaire est une sous-classe de predicat
(termFormat tg Predicate "panaguri") terms-tg.txt 125-125 Pr�dicat ternaire est une sous-classe de predicat

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain defaultMaxValue 1 Predicate) Merge.kif 18519-18519 Le nombre 1 argument de defaultMaxValue est une instance de predicat
(domain defaultMinValue 1 Predicate) Merge.kif 18502-18502 Le nombre 1 argument de defaultMinValue est une instance de predicat
(domain defaultValue 1 Predicate) Merge.kif 18536-18536 Le nombre 1 argument de defaultValue est une instance de predicat
(domain maxValue 1 Predicate) Merge.kif 18484-18484 Le nombre 1 argument de maxValue est une instance de predicat
(domain minValue 1 Predicate) Merge.kif 18466-18466 Le nombre 1 argument de minValue est une instance de predicat

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


(=>
    (and
        (domain ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (instance
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 2999-3004
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 3006-3011
(=>
    (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 2106-2113
(=>
    (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 2093-2103
(=>
    (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 2075-2090
(=>
    (and
        (exactCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (equal
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2137-2150
(=>
    (and
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (disjointRelation ?REL1 ?REL2)
        (?REL1 @ROW2))
    (not
        (?REL2 @ROW2)))
Merge.kif 447-453
(=>
    (and
        (instance ?RELATION ReflexiveRelation)
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (?RELATION ?INST ?INST))))
Merge.kif 3611-3619
(=>
    (and
        (maxCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (lessThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2210-2223
(=>
    (and
        (minCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (greaterThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2174-2187
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (?REL1 @ROW))
    (?REL2 @ROW))
Merge.kif 192-198
(=>
    (and
        (valence ?REL ?NUMBER)
        (instance ?REL Predicate))
    (forall (@ROW)
        (=>
            (?REL @ROW)
            (equal
                (ListLengthFn
                    (ListFn @ROW)) ?NUMBER))))
Merge.kif 3049-3056


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 3.0 is open source software produced by Articulate Software and its partners