No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3257-3257 |
abbreviation "LOS" and LawOfTheSeaConvention |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3254-3254 |
conventionalLongName "United Nations Convention on the Law of the Sea" and LawOfTheSeaConvention |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3256-3256 |
conventionalShortName "Law of the Sea" and LawOfTheSeaConvention |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33569-33569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33568-33568 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33567-33567 |
|