contains |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1028-1028 | contains and part are disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1584-1586 | contains and part are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1032-1036 | contains and part are disjoint |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 161-164 | contains and part are disjoint |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 189-193 | contains and part are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1029-1029 | The number 1 argument of contains is an instance of self connected object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1030-1030 | The number 2 argument of contains is an instance of object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1025-1025 | contains is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1027-1027 | contains is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1026-1026 | contains is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1024-1024 | contains is an instance of spatial relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 800-800 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 808-808 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 481-481 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 809-809 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 433-433 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 503-503 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16941-16941 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 801-801 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16940-16940 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16939-16939 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1045-1049 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32751-32762 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2795-2814 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1252-1265 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5499-5509 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11574-11581 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12578-12593 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1172-1185 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1071-1081 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6106-6114 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6210-6218 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6184-6192 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6023-6031 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4557-4563 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5915-5929 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 965-971 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3654-3660 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7395-7409 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1519-1529 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4906-4915 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1329-1335 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2785-2794 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12294-12299 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4895-4897 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11339-11352 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |