Monarch(monarch) | ![]() | Shah, Shah_of_Iran, crowned_head, czar, emperor, monarch, sovereign, sower, tsar, tzar |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1358-1358 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1357-1357 | Monarch is an instance of position |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1390-1390 | King is a subattribute of monarch |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1404-1404 | QueenRegnant is a subattribute of monarch |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38298-38298 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38297-38297 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38296-38296 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1360-1366 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 242-246 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1360-1366 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1372-1387 |
|
![]() |
![]() |