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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Predicate
Predicateمَحْمُول, Predicado, Predicato, matangnon, panaguri, predicat, predicate, vidheya, 谓语

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


s__documentation(s__Predicate,s__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。')

Merge.kif 3418-3421
s__documentation(s__Predicate,s__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 3411-3417
s__subclass(s__Predicate,s__InheritableRelation)

Merge.kif 3410-3410
s__subclass(s__Predicate,s__Relation)

Merge.kif 3409-3409

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


s__instance(s__contraryAttribute__m,s__Predicate)

Merge.kif 505-505
s__instance(s__Predicate,s__SetOrClass)

Merge.kif 605-605
s__instance(s__exhaustiveAttribute__m,s__Predicate)

Merge.kif 540-540
s__instance(s__exhaustiveDecomposition__m,s__Predicate)

Merge.kif 584-584
s__instance(s__partition__m,s__Predicate)

Merge.kif 622-622
s__instance(s__processList__m,s__Predicate)

QoSontology.kif 667-667
s__partition_4(s__Relation,s__Predicate,s__Function,s__List)

Merge.kif 2267-2267
s__subclass(s__BinaryPredicate,s__Predicate)

Merge.kif 3561-3561
s__instance(s__LogicalOperator,s__SetOrClass)

Merge.kif 3645-3645
s__instance(s__QuaternaryPredicate,s__SetOrClass)

Merge.kif 3584-3584
s__instance(s__QuintaryPredicate,s__SetOrClass)

Merge.kif 3596-3596
s__instance(s__TernaryPredicate,s__SetOrClass)

Merge.kif 3573-3573
s__termFormat(s__ChineseLanguage,s__Predicate,'谓语')

chinese_format.kif 915-915
s__termFormat(s__EnglishLanguage,s__Predicate,'predicate')

english_format.kif 602-602
s__termFormat(s__FrenchLanguage,s__Predicate,'predicat')

french_format.kif 591-591
s__termFormat(s__Hindi,s__Predicate,'vidheya')

terms-hindi.txt 121-121
s__termFormat(s__ItalianLanguage,s__Predicate,'Predicato')

terms-it.txt 122-122
s__termFormat(s__PortugueseLanguage,s__Predicate,'Predicado')

portuguese_format.kif 543-543
s__termFormat(s__ar__m,s__Predicate,'مَحْمُول')

arabic_format.kif 327-327
s__termFormat(s__cb__m,s__Predicate,'matangnon')

terms-cb.txt 126-126
s__termFormat(s__cz__m,s__Predicate,'predicate')

terms-cz.txt 158-158
s__termFormat(s__tg__m,s__Predicate,'panaguri')

terms-tg.txt 125-125

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


( ! [V__ROW1] :
   ((s__instance(s__duration__m,s__TotalValuedRelation) &
       s__instance(s__duration__m,s__Predicate))
     <=>
     (? [V__VALENCE] :
       (s__instance(s__duration__m,s__Relation) &
         s__valence(s__duration__m,V__VALENCE)
       &
       ((! [V__NUMBER,V__ELEMENT,V__CLASS] :
           ((s__lessThan(V__NUMBER,V__VALENCE)
             &
             s__domain(s__duration__m,V__NUMBER,V__CLASS)
           &
           (V__ELEMENT = s__ListOrderFn(s__ListFn_1(V__ROW1)
          ,V__NUMBER)))
     =>
     s__instance(V__ELEMENT,V__CLASS)))
=>
(? [V__ITEM] :
s__duration(V__ROW1,V__ITEM))))))
)

Merge.kif 2318-2335
( ! [V__NUMBER,V__CLASS,V__ROW1] :
   ((s__domain(s__contraryAttribute__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__contraryAttribute__m,s__Predicate) &
     s__contraryAttribute_1(V__ROW1))
=>
s__instance(s__ListOrderFn(s__ListFn_1(V__ROW1)
,V__NUMBER)
,V__CLASS))
)

Merge.kif 3183-3188
( ! [V__NUMBER,V__CLASS,V__ROW1] :
   ((s__domainSubclass(s__contraryAttribute__m,V__NUMBER,V__CLASS)
     &
     s__instance(s__contraryAttribute__m,s__Predicate) &
     s__contraryAttribute_1(V__ROW1))
=>
s__subclass(s__ListOrderFn(s__ListFn_1(V__ROW1)
,V__NUMBER)
,V__CLASS))
)

Merge.kif 3190-3195
( ! [V__ARG,V__ARGS1,V__X,V__Y] :
   ((s__exactCardinality(s__contraryAttribute__m,V__ARG,1)
     &
     s__instance(s__contraryAttribute__m,s__Predicate) &
     s__contraryAttribute_1(V__ARGS1)
   &
   (V__X = s__ListOrderFn(s__ListFn_1(V__ARGS1)
  ,V__ARG))
&
(V__Y = s__ListOrderFn(s__ListFn_1(V__ARGS1)
,V__ARG)))
=>
(V__X = V__Y))
)

Media.kif 2108-2115
( ! [V__ARG,V__ARGS1,V__X] :
   ((s__exactCardinality(s__contraryAttribute__m,V__ARG,1)
     &
     s__instance(s__contraryAttribute__m,s__Predicate) &
     s__contraryAttribute_1(V__ARGS1)
   &
   (V__X = s__ListOrderFn(s__ListFn_1(V__ARGS1)
  ,V__ARG)))
=>
(~ (? [V__Y] :
((V__Y = s__ListOrderFn(s__ListFn_1(V__ARGS1)
  ,V__ARG))
&
(~ (V__X = V__Y))))))
)

Media.kif 2095-2105
( ! [V__ARG] :
   ((s__exactCardinality(s__contraryAttribute__m,V__ARG,1)
     &
     s__instance(s__contraryAttribute__m,s__Predicate))
   =>
   (? [V__X,V__ARGS1] :
     (s__contraryAttribute_1(V__ARGS1)
     &
     (V__X = s__ListOrderFn(s__ListFn_1(V__ARGS1)
    ,V__ARG))
&
(~ (? [V__Y] :
     ((V__Y = s__ListOrderFn(s__ListFn_1(V__ARGS1)
      ,V__ARG))
   &
   (~ (V__X = V__Y))))))))
)

Media.kif 2077-2092
( ! [V__ARG,V__COUNT,V__ARGS1,V__EL] :
   ((s__exactCardinality(s__contraryAttribute__m,V__ARG,V__COUNT)
     &
     s__instance(s__contraryAttribute__m,s__Predicate))
   =>
   (? [V__S] :
     (s__instance(V__S,s__SetOrClass) &
       ((s__contraryAttribute_1(V__ARGS1)
         &
         (V__EL = s__ListOrderFn(s__ListFn_1(V__ARGS1)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   (s__CardinalityFn(V__S)
   = V__COUNT))))))
)

Media.kif 2134-2147
( ! [V__ROW21] :
   ((s__instance(s__contraryAttribute__m,s__Predicate) &
       s__instance(s__contraryAttribute__m,s__Predicate) &
       s__disjointRelation(s__contraryAttribute__m,s__contraryAttribute__m) &
       (~ (s__contraryAttribute__m = s__contraryAttribute__m))
         &
         s__contraryAttribute_1(V__ROW21))
     =>
     (~ s__contraryAttribute_1(V__ROW21)))
)

Merge.kif 496-503
( ! [V__CLASS] :
   ((s__irreflexiveOn(s__colocatedAgent__m,V__CLASS)
     &
     s__instance(s__colocatedAgent__m,s__Predicate))
   =>
   (! [V__INST] :
     (s__instance(V__INST,V__CLASS)
     =>
     (~ s__colocatedAgent(V__INST,V__INST)))))
)

Merge.kif 3733-3741
( ! [V__ARG,V__COUNT,V__ARGS1,V__EL] :
   ((s__maxCardinality(s__contraryAttribute__m,V__ARG,V__COUNT)
     &
     s__instance(s__contraryAttribute__m,s__Predicate))
   =>
   (? [V__S] :
     (s__instance(V__S,s__SetOrClass) &
       ((s__contraryAttribute_1(V__ARGS1)
         &
         (V__EL = s__ListOrderFn(s__ListFn_1(V__ARGS1)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   s__lessThanOrEqualTo(s__CardinalityFn(V__S)
,V__COUNT))))))
)

Media.kif 2205-2218
( ! [V__ARG,V__COUNT,V__ARGS1,V__EL] :
   ((s__minCardinality(s__contraryAttribute__m,V__ARG,V__COUNT)
     &
     s__instance(s__contraryAttribute__m,s__Predicate))
   =>
   (? [V__S] :
     (s__instance(V__S,s__SetOrClass) &
       ((s__contraryAttribute_1(V__ARGS1)
         &
         (V__EL = s__ListOrderFn(s__ListFn_1(V__ARGS1)
        ,V__ARG)))
   =>
   (s__instance(V__EL,V__S)
   &
   s__greaterThanOrEqualTo(s__CardinalityFn(V__S)
,V__COUNT))))))
)

Media.kif 2170-2183
( ! [V__CLASS] :
   ((s__reflexiveOn(s__airTemperature__m,V__CLASS)
     &
     s__instance(s__airTemperature__m,s__Predicate))
   =>
   (! [V__INST] :
     (s__instance(V__INST,V__CLASS)
     =>
     s__airTemperature(V__INST,V__INST))))
)

Merge.kif 3714-3721
( ! [V__ROW1] :
   ((s__subrelation(s__contraryAttribute__m,s__contraryAttribute__m) &
       s__instance(s__contraryAttribute__m,s__Predicate) &
       s__instance(s__contraryAttribute__m,s__Predicate) &
       s__contraryAttribute_1(V__ROW1))
   =>
   s__contraryAttribute_1(V__ROW1))
)

Merge.kif 213-219
( ! [V__CLASS] :
   ((s__trichotomizingOn(s__protonNumber__m,V__CLASS)
     &
     s__instance(s__protonNumber__m,s__Predicate))
   =>
   (! [V__INST1,V__INST2] :
     ((s__instance(V__INST1,V__CLASS)
       &
       s__instance(V__INST2,V__CLASS))
   =>
   (s__protonNumber(V__INST1,V__INST2)
   |
   s__protonNumber(V__INST2,V__INST1)
|
(V__INST1 = V__INST2)))))
)

Merge.kif 3793-3805
( ! [V__NUMBER] :
   ((s__valence(s__contraryAttribute__m,V__NUMBER)
     &
     s__instance(s__contraryAttribute__m,s__Predicate))
   =>
   (! [V__ROW1] :
     (s__contraryAttribute_1(V__ROW1)
     =>
     (s__ListLengthFn(s__ListFn_1(V__ROW1))
   = V__NUMBER))))
)

Merge.kif 3235-3242


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners