| DruzeMuslim(druze muslim)
| | Druse, Druze |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1359-1360 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8457-8457 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9164-9164 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9165-9165 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1358-1358 | Druze muslim is a subattribute of muslim |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20565-20565 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20564-20564 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20563-20563 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1362-1364 | Druze muslim is an attribute of an object if and only if the object is a member of druze sect |
|
|
|