No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3309-3309 |
例 濕地大會 and 協議 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3317-3317 |
例 捕鯨大會 and 協議 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4539-4539 |
子類 Account and 協議 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 58-58 |
子類 金融賬戶 and 協議 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2996-2996 |
子類 國際協議 and 協議 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 162-162 |
子類 LicenseAgreement and 協議 |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 639-639 |
子類 Reservation and 協議 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5892-5892 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5891-5891 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5890-5890 |
|