militaryOfArea |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-897 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 893-893 | The number 1 argument of military of area is an instance of military organization |
No TPTP formula. May not be expressible in strict first order. | Military.kif 894-894 | The number 2 argument of military of area is an instance of geopolitical area |
No TPTP formula. May not be expressible in strict first order. | Military.kif 892-892 | military of area is an instance of binary predicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1739-1739 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1738-1738 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1737-1737 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37670-37670 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37669-37669 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37668-37668 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 952-952 | United states is a military of area of US military |
![]() |
![]() |