![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3541-3541 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1939-1939 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3539-3539 | Protective eyewear is a subclass of safety device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3540-3540 | Protective eyewear is a subclass of wearable item |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47836-47836 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47835-47835 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47834-47834 |
antecedent |
![]() |
![]() |
![]() |