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 |