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 3225-3231
No TPTP formula. May not be expressible in strict first order. Merge.kif 3223-3223 Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3222-3222 Predicate is a subclass of relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 455-455 contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 565-565 disjoint decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 488-488 exhaustive attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 547-547 exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 581-581 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 2075-2075 Relation is exhaustively partitioned into predicate and function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3359-3359 Binary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3431-3431 Logical operator is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3381-3381 Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3392-3392 Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3370-3370 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 1042-1042

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17105-17105 The number 1 argument of defaultMaxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17088-17088 The number 1 argument of defaultMinValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17121-17121 The number 1 argument of defaultValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17071-17071 The number 1 argument of maxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 17054-17054 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 2116-2133 A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and
No TPTP formula. May not be expressible in strict first order. Merge.kif 2892-2897
No TPTP formula. May not be expressible in strict first order. Merge.kif 2899-2904
No TPTP formula. May not be expressible in strict first order. Media.kif 2108-2115
No TPTP formula. May not be expressible in strict first order. Media.kif 2095-2105
No TPTP formula. May not be expressible in strict first order. Media.kif 2077-2092
No TPTP formula. May not be expressible in strict first order. Media.kif 2134-2147
No TPTP formula. May not be expressible in strict first order. Merge.kif 447-453
No TPTP formula. May not be expressible in strict first order. Merge.kif 3509-3517
No TPTP formula. May not be expressible in strict first order. Media.kif 2205-2218
No TPTP formula. May not be expressible in strict first order. Media.kif 2170-2183
No TPTP formula. May not be expressible in strict first order. Merge.kif 3491-3498
No TPTP formula. May not be expressible in strict first order. Merge.kif 191-197
No TPTP formula. May not be expressible in strict first order. Merge.kif 3562-3574
No TPTP formula. May not be expressible in strict first order. Merge.kif 2942-2949


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