No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2261-2261 |
Symmetric relation is disjoint from antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3276-3276 |
key name is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23377-23377 |
legal guardian is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4070-4070 |
located is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14348-14348 |
stored is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24385-24385 |
sub string is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2275-2275 |
Asymmetric relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2366-2366 |
Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 897-897 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 996-996 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 573-573 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 103-103 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 106-106 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2258-2258 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 525-525 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 140-140 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 594-594 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 107-107 |
|