|
|
   Relation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2160-2161 | Relation est disjointement decompos� en relation binaire, relation ternaire, relation quaternaire, relation quinternaire, + relation a arit� variable |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1816-1819 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2165-2169 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 434-437 | |
| 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 2163-2163 | Relation est compl�tement d�compos� en relation total + relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | Relation est une sous-classe de abstrait |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2232-2232 | Relation binaire est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2558-2558 | InheritableRelation est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2671-2671 | IntentionalRelation est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 965-965 | PPPBasedEconomicValuation est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2223-2223 | Relation partielle est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3339-3339 | Predicat est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2564-2564 | Relation de probabilit� est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2861-2861 | Relation quaternaire est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2868-2868 | Relation quinternaire est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3533-3533 | Relation �tendue aux quantit�es est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | Relation simple est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2656-2656 | Relation spatial est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2663-2663 | Relation temporel est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2854-2854 | Relation ternaire est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | Relation total est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3522-3522 | Relation a arit� variable est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 888-888 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 978-978 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 564-564 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 94-94 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 97-97 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2249-2249 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 516-516 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 99-99 | |
| 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 31377-31377 | Le nombre 2 argument de applicableRelation est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 412-412 | Le nombre 1 argument de disjointRelation est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 413-413 | Le nombre 2 argument de disjointRelation est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 208-208 | Le nombre 1 argument de domain est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 230-230 | Le nombre 1 argument de domainSubclass est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2069-2069 | Le nombre 1 argument de exactCardinality est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2193-2193 | Le nombre 1 argument de maxCardinality est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2156-2156 | Le nombre 1 argument de minCardinality est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 171-171 | Le nombre 1 argument de subrelation est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 172-172 | Le nombre 2 argument de subrelation est une instance de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 361-361 | Le nombre 1 argument de valence est une instance de relation |
| appearance as argument number 4 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1670-1670 | Abstrait est disjointement decompos� en quantit�, attribut, relation, proposition , + liste |
|
|
|