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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Predicate
Predicate(Predicado)

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 3357-3363
(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 3355-3355 Predicado e' uma sub-classe de InheritableRelation
(subclass Predicate Relation) Merge.kif 3354-3354 Predicado e' uma sub-classe de Relacao

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


(instance contraryAttribute Predicate) Merge.kif 448-448 contraryAttribute e' uma instancia de Predicado
(instance disjointDecomposition Predicate) Merge.kif 557-557 disjointDecomposition e' uma instancia de Predicado
(instance exhaustiveAttribute Predicate) Merge.kif 479-479 exhaustiveAttribute e' uma instancia de Predicado
(instance exhaustiveDecomposition Predicate) Merge.kif 539-539 exhaustiveDecomposition e' uma instancia de Predicado
(instance partition Predicate) Merge.kif 573-573 partition e' uma instancia de Predicado
(instance processList Predicate) QoSontology.kif 795-795 processList e' uma instancia de Predicado
(partition Relation Predicate Function) Merge.kif 2173-2173 O conceito Relacao e' completamente decomposto em Predicado + Funcao
(subclass BinaryPredicate Predicate) Merge.kif 3493-3493 Predicado Binario e' uma sub-classe de Predicado
(subclass ClosedWorldPredicate Predicate) Merge.kif 18657-18657 ClosedWorldPredicate e' uma sub-classe de Predicado
(subclass LogicalOperator Predicate) Merge.kif 3565-3565 LogicalOperator e' uma sub-classe de Predicado
(subclass QuaternaryPredicate Predicate) Merge.kif 3515-3515 Predicado Quaternario e' uma sub-classe de Predicado
(subclass QuintaryPredicate Predicate) Merge.kif 3526-3526 Predicado Quinquenario e' uma sub-classe de Predicado
(subclass TernaryPredicate Predicate) Merge.kif 3504-3504 Predicado Ternario e' uma sub-classe de Predicado
(termFormat ChineseLanguage Predicate "谓语") chinese_format.kif 915-915 Predicado Ternario e' uma sub-classe de Predicado
(termFormat EnglishLanguage Predicate "predicate") english_format.kif 1037-1037 Predicado Ternario e' uma sub-classe de Predicado
(termFormat FrenchLanguage Predicate "predicat") french_format.kif 591-591 Predicado Ternario e' uma sub-classe de Predicado
(termFormat Hindi Predicate "vidheya") terms-hindi.txt 121-121 Predicado Ternario e' uma sub-classe de Predicado
(termFormat ItalianLanguage Predicate "Predicato") terms-it.txt 124-124 Predicado Ternario e' uma sub-classe de Predicado
(termFormat JapaneseLanguage Predicate "述語") japanese_format.kif 2276-2276 Predicado Ternario e' uma sub-classe de Predicado
(termFormat PortugueseLanguage Predicate "Predicado") portuguese_format.kif 543-543 Predicado Ternario e' uma sub-classe de Predicado
(termFormat cb Predicate "matangnon") terms-cb.txt 126-126 Predicado Ternario e' uma sub-classe de Predicado
(termFormat cz Predicate "predicate") terms-cz.txt 158-158 Predicado Ternario e' uma sub-classe de Predicado
(termFormat de Predicate "Praedikat") terms-de.txt 417-417 Predicado Ternario e' uma sub-classe de Predicado
(termFormat ro Predicate "predicat") relations-ro.kif 612-612 Predicado Ternario e' uma sub-classe de Predicado

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 18627-18627 O argumento numero 1 de defaultMaxValue e' uma instancia de Predicado
(domain defaultMinValue 1 Predicate) Merge.kif 18610-18610 O argumento numero 1 de defaultMinValue e' uma instancia de Predicado
(domain defaultValue 1 Predicate) Merge.kif 18644-18644 O argumento numero 1 de defaultValue e' uma instancia de Predicado
(domain maxValue 1 Predicate) Merge.kif 18592-18592 O argumento numero 1 de maxValue e' uma instancia de Predicado
(domain minValue 1 Predicate) Merge.kif 18574-18574 O argumento numero 1 de minValue e' uma instancia de Predicado

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


(=>
    (and
        (domain ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (instance
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 3011-3016
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 3018-3023
(=>
    (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 ?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 2139-2152
(=>
    (and
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (disjointRelation ?REL1 ?REL2)
        (?REL1 @ROW2))
    (not
        (?REL2 @ROW2)))
Merge.kif 440-446
(=>
    (and
        (instance ?RELATION ReflexiveRelation)
        (reflexiveOn ?RELATION ?CLASS)
        (instance ?RELATION Predicate))
    (forall (?INST)
        (=>
            (instance ?INST ?CLASS)
            (?RELATION ?INST ?INST))))
Merge.kif 3625-3633
(=>
    (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 2212-2225
(=>
    (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 2176-2189
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (?REL1 @ROW))
    (?REL2 @ROW))
Merge.kif 186-192
(=>
    (and
        (valence ?REL ?NUMBER)
        (instance ?REL Predicate))
    (forall (@ROW)
        (=>
            (?REL @ROW)
            (equal
                (ListLengthFn
                    (ListFn @ROW)) ?NUMBER))))
Merge.kif 3061-3068


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