appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2154-2155 | Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1816-1819 | Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2163 | Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 434-437 | Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2156-2156 | Relation is exhaustively partitioned into predicate and function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2157-2157 | Relation is exhaustively partitioned into total valued relation and partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2153-2153 | Relation is a subclass of abstract |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2226-2226 | Binary relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2552-2552 | Inheritable relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2665-2665 | Intentional relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 965-965 | PPP based economic valuation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2217-2217 | Partial valued relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3334-3334 | Predicate is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2558-2558 | Probability relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2856-2856 | Quaternary relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2863-2863 | Quintary relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3528-3528 | Relation extended to quantities is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2170-2170 | Single valued relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2650-2650 | Spatial relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2657-2657 | Temporal relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2849-2849 | Ternary relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2188-2188 | Total valued relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3517-3517 | Variable arity relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 888-888 | Variable arity relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 978-978 | Variable arity relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 564-564 | Variable arity relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 94-94 | Variable arity relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 97-97 | Variable arity relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2249-2249 | Variable arity relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 516-516 | Variable arity relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 99-99 | Variable arity relation is a subclass of relation |
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. | Mid-level-ontology.kif 31710-31710 | The number 2 argument of applicable relation is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 405-405 | The number 1 argument of disjoint relation is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 406-406 | The number 2 argument of disjoint relation is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 202-202 | The number 1 argument of domain is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 224-224 | The number 1 argument of domain subclass is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2069-2069 | The number 1 argument of exact cardinality is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2193-2193 | The number 1 argument of max cardinality is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2156-2156 | The number 1 argument of min cardinality is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 165-165 | The number 1 argument of subrelation is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 166-166 | The number 2 argument of subrelation is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 354-354 | The number 1 argument of valence is an instance of relation |
appearance as argument number 4 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1663-1663 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
![]() |
![]() |