![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1841-1845 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2305-2310 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 461-465 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2303-2303 | Antisymmetric relation is a subclass of binary relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2272-2272 | Symmetric relation is disjoint from antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3260-3260 | key name is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25018-25018 | legal guardian is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4089-4089 | located is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15719-15719 | stored is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26047-26047 | sub string is an instance of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2286-2286 | Asymmetric relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2377-2377 | 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 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 996-996 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 573-573 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 103-103 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 106-106 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2258-2258 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 525-525 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 140-140 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 399-399 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 594-594 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 107-107 | Partial ordering relation is a subclass of antisymmetric relation |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2297-2301 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2312-2319 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2291-2295 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3665-3670 |
|
![]() |
![]() |