![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3876-3877 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3894-3894 | Square meter is equal to the square unit of meter |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3875-3875 | Square meter is an instance of UnitOfArea |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54855-54855 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54854-54854 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54853-54853 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 632-638 |
|
![]() |
![]() |