No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3309-3309 |
湿地大会 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3317-3317 |
捕鲸大会 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4539-4539 |
Account 是 协议 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 58-58 |
金融账户 是 协议 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2996-2996 |
国际协议 是 协议 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 162-162 |
LicenseAgreement 是 协议 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 639-639 |
Reservation 是 协议 的 subclass |
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 |
|