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 and Physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 646-646 | 域 managedBy, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 637-637 | 例 managedBy and BinaryPredicate |
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 |