Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| thirdPartyProduct |
| appearance as argument number 1 |
|
| (instance thirdPartyProduct TernaryPredicate) | ComputingBrands.kif 3826-3826 | third party product is an instance of ternary predicate |
| (documentation thirdPartyProduct EnglishLanguage "A relationship between a product, a manufacturer and a customer that states that the given product instance owned by the customer of the manufacturer was not produced by that manufacturer.") | ComputingBrands.kif 3827-3829 | third party product is an instance of ternary predicate |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3831-3831 | The number 1 argument of third party product is an instance of artifact |
| (domain thirdPartyProduct 2 Organization) | ComputingBrands.kif 3832-3832 | The number 2 argument of third party product is an instance of organization |
| (domain thirdPartyProduct 3 AutonomousAgent) | ComputingBrands.kif 3833-3833 | The number 3 argument of third party product is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage thirdPartyProduct "third party product") | ComputingBrands.kif 3835-3835 | |
| (format EnglishLanguage thirdPartyProduct "%1 is a product owned by %3 but not manufactured by %2") | ComputingBrands.kif 3836-3836 |
| antecedent |
|
|
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART))))) |
ComputingBrands.kif 3838-3845 | If X is a product owned by Y but not manufactured by Z, then there doesn't exist W such that W is an instance of making, Z is an agent of W, and X is a result of W |
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (possesses ?AG ?ART)) |
ComputingBrands.kif 3847-3849 | If X is a product owned by Y but not manufactured by Z, then Y possesses X |
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (customer ?ORG ?AG)) |
ComputingBrands.kif 3851-3853 | If X is a product owned by Y but not manufactured by Z, then Y is a customer of Z |
|