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 18440-18440 |
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 |