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 3342-3348
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 3340-3340 Predicate is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3339-3339 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 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 686-686 process list is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2162-2162 Relation is exhaustively partitioned into predicate and function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3478-3478 Binary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 18470-18470 ClosedWorldPredicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3550-3550 Logical operator is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3500-3500 Quaternary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3511-3511 Quintary predicate is a subclass of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3489-3489 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
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 18440-18440 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 18423-18423 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 18457-18457 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 18405-18405 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 18387-18387 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 2998-3003
No TPTP formula. May not be expressible in strict first order. Merge.kif 3005-3010
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 3610-3618
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 3048-3055


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