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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3408-3411
No TPTP formula. May not be expressible in strict first order. Merge.kif 3401-3407
No TPTP formula. May not be expressible in strict first order. Merge.kif 3400-3400 Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3399-3399 Predicate is a subclass of relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 503-503 contrary attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 603-603 disjoint decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 538-538 exhaustive attribute is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 582-582 exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 620-620 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 2257-2257 Relation is exhaustively partitioned into predicate, function, and list
No TPTP formula. May not be expressible in strict first order. Merge.kif 3551-3551 Binary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3635-3635 Logical operator is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3574-3574 Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3586-3586 Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3563-3563 Ternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 915-915 "谓语" is the printable form of predicate in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 602-602 "predicate" is the printable form of predicate in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 591-591 "predicat" is the printable form of predicate in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 121-121 "vidheya" is the printable form of predicate in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 122-122 "Predicato" is the printable form of predicate in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 543-543 "Predicado" is the printable form of predicate in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 327-327 "مَحْمُول" is the printable form of predicate in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 126-126 "matangnon" is the printable form of predicate in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 158-158 "predicate" is the printable form of predicate in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 125-125 "panaguri" is the printable form of predicate in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2308-2325 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 3173-3178
No TPTP formula. May not be expressible in strict first order. Merge.kif 3180-3185
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 494-501
No TPTP formula. May not be expressible in strict first order. Merge.kif 3723-3731
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 3704-3711
No TPTP formula. May not be expressible in strict first order. Merge.kif 211-217
No TPTP formula. May not be expressible in strict first order. Merge.kif 3783-3795
No TPTP formula. May not be expressible in strict first order. Merge.kif 3225-3232


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