disjointRelation |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1502-1503 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 408-410 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 65-67 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 75-77 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 405-405 | The number 1 argument of disjoint relation is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 406-406 | The number 2 argument of disjoint relation is an instance of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 402-402 | disjoint relation is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 403-403 | disjoint relation is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 404-404 | disjoint relation is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 407-407 | disjoint relation is internally related to disjoint |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 289-289 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 294-294 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 167-167 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 77-77 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1987-1987 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 119-119 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 111-111 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 183-183 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 376-376 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 117-117 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 187-187 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 174-174 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 170-170 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 290-290 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19869-19869 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19868-19868 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19867-19867 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 117-117 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 440-446 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 412-417 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 419-424 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 426-431 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 433-438 |
|
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25816-25816 | ancestor organization and sub organization are disjoint |
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. | Merge.kif 4225-4225 | crosses and connected are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2611-2611 | decreases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4029-4029 | deprives norm and confers norm are disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8604-8604 | disapproves and desires are disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8588-8588 | dislikes and wants are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2609-2609 | increases likelihood and decreases likelihood are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2610-2610 | increases likelihood and independent probability are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1744-1744 | manner and attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9710-9710 | meets spatially and overlap spatially are disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24999-24999 | mutual stranger and mutual acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1679-1679 | referee and plays are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2525-2525 | resource and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2524-2524 | resource and result are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2526-2526 | result and instrument are disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25014-25014 | spouse and domestic partner are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | stays and home are disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24984-24984 | stranger and acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 677-677 | sub attribute and successor attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 636-636 | subsumed external concept and subsuming external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 634-634 | synonymous external concept and subsumed external concept are disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 635-635 | synonymous external concept and subsuming external concept are disjoint |
![]() |
![]() |