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 3301-3307
No TPTP formula. May not be expressible in strict first order. Merge.kif 3299-3299 Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3298-3298 Predicate is a subclass of relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 456-456 contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 569-569 disjoint decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 491-491 exhaustive attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 551-551 exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 585-585 partition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 686-686 process list is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2121-2121 Relation is exhaustively partitioned into predicate and function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3437-3437 Binary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3509-3509 Logical operator is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3459-3459 Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3470-3470 Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3448-3448 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 18280-18280 The number 1 argument of default max value is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18263-18263 The number 1 argument of default min value is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18297-18297 The number 1 argument of default value is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18245-18245 The number 1 argument of max value is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18227-18227 The number 1 argument of min value is an instance of predicate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2957-2962
No TPTP formula. May not be expressible in strict first order. Merge.kif 2964-2969
No TPTP formula. May not be expressible in strict first order. Media.kif 2106-2113
No TPTP formula. May not be expressible in strict first order. Media.kif 2093-2103
No TPTP formula. May not be expressible in strict first order. Media.kif 2075-2090
No TPTP formula. May not be expressible in strict first order. Media.kif 2137-2150
No TPTP formula. May not be expressible in strict first order. Merge.kif 448-454
No TPTP formula. May not be expressible in strict first order. Merge.kif 3569-3577
No TPTP formula. May not be expressible in strict first order. Media.kif 2210-2223
No TPTP formula. May not be expressible in strict first order. Media.kif 2174-2187
No TPTP formula. May not be expressible in strict first order. Merge.kif 192-198
No TPTP formula. May not be expressible in strict first order. Merge.kif 3007-3014


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