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 3342-3348
(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 3340-3340 述語InheritableRelationsubclass では %n
(subclass Predicate Relation) Merge.kif 3339-3339 述語関係subclass では %n

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


(instance contraryAttribute Predicate) Merge.kif 455-455 contraryAttribute述語instance では %n
(instance disjointDecomposition Predicate) Merge.kif 564-564 disjointDecomposition述語instance では %n
(instance exhaustiveAttribute Predicate) Merge.kif 486-486 exhaustiveAttribute述語instance では %n
(instance exhaustiveDecomposition Predicate) Merge.kif 546-546 exhaustiveDecomposition述語instance では %n
(instance partition Predicate) Merge.kif 580-580 partition述語instance では %n
(instance processList Predicate) QoSontology.kif 686-686 processList述語instance では %n
(partition Relation Predicate Function) Merge.kif 2162-2162 関係述語 + 関数exhaustively partitioned %n
(subclass BinaryPredicate Predicate) Merge.kif 3478-3478 2進述語述語subclass では %n
(subclass ClosedWorldPredicate Predicate) Merge.kif 18470-18470 ClosedWorldPredicate述語subclass では %n
(subclass LogicalOperator Predicate) Merge.kif 3550-3550 LogicalOperator述語subclass では %n
(subclass QuaternaryPredicate Predicate) Merge.kif 3500-3500 4進述語述語subclass では %n
(subclass QuintaryPredicate Predicate) Merge.kif 3511-3511 5進述語述語subclass では %n
(subclass TernaryPredicate Predicate) Merge.kif 3489-3489 3進述語述語subclass では %n
(termFormat ChineseLanguage Predicate "谓语") chinese_format.kif 915-915
(termFormat EnglishLanguage Predicate "predicate") english_format.kif 1037-1037
(termFormat FrenchLanguage Predicate "predicat") french_format.kif 591-591
(termFormat Hindi Predicate "vidheya") terms-hindi.txt 121-121
(termFormat ItalianLanguage Predicate "Predicato") terms-it.txt 124-124
(termFormat JapaneseLanguage Predicate "述語") japanese_format.kif 2276-2276
(termFormat PortugueseLanguage Predicate "Predicado") portuguese_format.kif 543-543
(termFormat cb Predicate "matangnon") terms-cb.txt 126-126
(termFormat cz Predicate "predicate") terms-cz.txt 158-158
(termFormat ro Predicate "predicat") relations-ro.kif 612-612
(termFormat tg Predicate "panaguri") terms-tg.txt 125-125

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 18440-18440 defaultMaxValue の数値 1 引数は 述語instance では %n
(domain defaultMinValue 1 Predicate) Merge.kif 18423-18423 defaultMinValue の数値 1 引数は 述語instance では %n
(domain defaultValue 1 Predicate) Merge.kif 18457-18457 defaultValue の数値 1 引数は 述語instance では %n
(domain maxValue 1 Predicate) Merge.kif 18405-18405 maxValue の数値 1 引数は 述語instance では %n
(domain minValue 1 Predicate) Merge.kif 18387-18387 minValue の数値 1 引数は 述語instance では %n

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


(=>
    (and
        (domain ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (instance
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 2998-3003
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
(=>
    (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 3610-3618
(=>
    (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 3048-3055


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