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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3277-3283
No TPTP formula. May not be expressible in strict first order. Merge.kif 3275-3275 Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3274-3274 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 2108-2108 Relation is exhaustively partitioned into predicate and function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3412-3412 Binary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3484-3484 Logical operator is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3434-3434 Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3445-3445 Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3423-3423 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 18179-18179 The number 1 argument of defaultMaxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18162-18162 The number 1 argument of defaultMinValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18196-18196 The number 1 argument of defaultValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18144-18144 The number 1 argument of maxValue is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18126-18126 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 2932-2937
No TPTP formula. May not be expressible in strict first order. Merge.kif 2939-2944
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 3544-3552
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 2982-2989


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