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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Predicate

Sigma KEE - Predicate
Predicate(predicate)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1987-1990
No TPTP formula. May not be expressible in strict first order. Merge.kif 3271-3277
No TPTP formula. May not be expressible in strict first order. Merge.kif 3269-3269 Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3268-3268 Predicate is a subclass of relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 453-453 contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 564-564 disjoint decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 486-486 exhaustive attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 546-546 exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 580-580 partition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 684-684 process list is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2102-2102 Relation is exhaustively partitioned into predicate and function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3406-3406 Binary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3478-3478 Logical operator is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3428-3428 Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3439-3439 Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3417-3417 Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 915-915
No TPTP formula. May not be expressible in strict first order. english_format.kif 1037-1037

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18166-18166 The number 1 argument of defaultMaxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18149-18149 The number 1 argument of defaultMinValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18183-18183 The number 1 argument of defaultValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18131-18131 The number 1 argument of maxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18113-18113 The number 1 argument of minValue is an instance of predicate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2926-2931
No TPTP formula. May not be expressible in strict first order. Merge.kif 2933-2938
No TPTP formula. May not be expressible in strict first order. Media.kif 2104-2111
No TPTP formula. May not be expressible in strict first order. Media.kif 2091-2101
No TPTP formula. May not be expressible in strict first order. Media.kif 2073-2088
No TPTP formula. May not be expressible in strict first order. Media.kif 2130-2143
No TPTP formula. May not be expressible in strict first order. Merge.kif 445-451
No TPTP formula. May not be expressible in strict first order. Merge.kif 3538-3546
No TPTP formula. May not be expressible in strict first order. Media.kif 2201-2214
No TPTP formula. May not be expressible in strict first order. Media.kif 2166-2179
No TPTP formula. May not be expressible in strict first order. Merge.kif 190-196
No TPTP formula. May not be expressible in strict first order. Merge.kif 2976-2983


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