managedBy |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 639-641 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 645-645 | managedBy 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 646-646 | managedBy 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 637-637 | managedBy 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3810-3810 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3809-3809 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3808-3808 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 643-643 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 648-655 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1319-1325 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1066-1068 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3307-3307 | IBookstore 是由 苹果 managed |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3359-3359 | ICloud 是由 苹果 managed |