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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Predicate
Predicate(predicat)

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 3343-3349
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 620-624
No TPTP formula. May not be expressible in strict first order. Merge.kif 3341-3341 Predicat est une sous-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3340-3340 Predicat est une sous-classe de relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 455-455 contraryAttribute est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 564-564 disjointDecomposition est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 486-486 exhaustiveAttribute est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 546-546 exhaustiveDecomposition est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 580-580 partition est une instance de predicat
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 686-686 processList est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 2162-2162 Relation est compl�tement d�compos� en predicat + function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3479-3479 Pr�dicat binaire est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 18549-18549 ClosedWorldPredicate est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 3551-3551 LogicalOperator est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 3501-3501 Pr�dicat quaternaire est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 3512-3512 Predicate quinternaire est une sous-classe de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 3490-3490 Pr�dicat ternaire est une sous-classe de predicat
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
No TPTP formula. May not be expressible in strict first order. french_format.kif 591-591
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 121-121
No TPTP formula. May not be expressible in strict first order. terms-it.txt 124-124
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2276-2276
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 543-543
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 126-126
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 158-158
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 612-612
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 125-125

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18519-18519 Le nombre 1 argument de defaultMaxValue est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 18502-18502 Le nombre 1 argument de defaultMinValue est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 18536-18536 Le nombre 1 argument de defaultValue est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 18484-18484 Le nombre 1 argument de maxValue est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 18466-18466 Le nombre 1 argument de minValue est une instance de predicat

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2999-3004
No TPTP formula. May not be expressible in strict first order. Merge.kif 3006-3011
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 447-453
No TPTP formula. May not be expressible in strict first order. Merge.kif 3611-3619
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 3049-3056


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