| appearance as argument number 1 |
|
| (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 3841-3843 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3845-3845 | |
| (domain thirdPartyProduct 2 Organization) | ComputingBrands.kif 3846-3846 | |
| (domain thirdPartyProduct 3 Agent) | ComputingBrands.kif 3847-3847 | |
| (instance thirdPartyProduct TernaryPredicate) | ComputingBrands.kif 3840-3840 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage thirdPartyProduct "%1 is a product owned by %3 but not manufactured by %2") | ComputingBrands.kif 3850-3850 | |
| (termFormat EnglishLanguage thirdPartyProduct "third party product") | ComputingBrands.kif 3849-3849 |
| antecedent |
|
|
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (customer ?ORG ?AG)) |
ComputingBrands.kif 3865-3867 | |
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART))))) |
ComputingBrands.kif 3852-3859 | |
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (possesses ?AG ?ART)) |
ComputingBrands.kif 3861-3863 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners