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 | The number 1 argument of managed by is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 646-646 | The number 2 argument of managed by is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 637-637 | managed by is an instance of binary predicate |
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 is managed by Apple |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3359-3359 | I-cloud is managed by Apple |