parent |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3689-3690 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16542-16544 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16540-16540 | The number 1 argument of parent is an instance of organism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16541-16541 | The number 2 argument of parent is an instance of organism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16537-16537 | parent is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16535-16535 | parent is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16538-16538 | parent is an instance of intransitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16539-16539 | parent is an instance of total valued relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 523-523 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 528-528 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 309-309 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 209-209 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2077-2077 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 261-261 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 315-315 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 680-680 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 247-247 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 330-330 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 337-337 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 400-400 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16612-16612 | daughter is a subrelation of parent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16623-16623 | son is a subrelation of parent |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44432-44432 | son is a subrelation of parent |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 524-524 | son is a subrelation of parent |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44431-44431 | son is a subrelation of parent |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44430-44430 | son is a subrelation of parent |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 206-206 | son is a subrelation of parent |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 401-401 | son is a subrelation of parent |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10503-10509 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16668-16672 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16662-16666 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24668-24672 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24674-24678 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24662-24666 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16561-16569 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1901-1911 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16554-16559 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24827-24843 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16646-16654 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16656-16660 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16546-16548 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16550-16552 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 406-408 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24687-24692 | A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24778-24783 | The uncle of a human is a man if and only if there exists another human such that the man is the brother of the other human and the other human is a parent of the human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10456-10461 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16656-16660 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16466-16474 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16476-16483 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16597-16599 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24724-24729 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24736-24741 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16571-16574 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1883-1892 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16580-16582 |
|
![]() |
![]() |