No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3257-3257 |
"LOS" is an abbreviation of law of the sea convention |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3254-3254 |
Law of the sea convention is a conventional long name of "United Nations Convention on the Law of the Sea" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3256-3256 |
Law of the sea convention is a conventional short name of "Law of the Sea" |
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 |
|