| 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 3846-3848 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3850-3850 | |
| (domain thirdPartyProduct 2 Organization) | ComputingBrands.kif 3851-3851 | |
| (domain thirdPartyProduct 3 Agent) | ComputingBrands.kif 3852-3852 | |
| (instance thirdPartyProduct TernaryPredicate) | ComputingBrands.kif 3845-3845 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage thirdPartyProduct "%1 is a product owned by %3 but not manufactured by %2") | ComputingBrands.kif 3855-3855 | |
| (termFormat EnglishLanguage thirdPartyProduct "third party product") | ComputingBrands.kif 3854-3854 |
| antecedent |
|
|
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (customer ?ORG ?AG)) |
ComputingBrands.kif 3870-3872 | |
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART))))) |
ComputingBrands.kif 3857-3864 | |
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (possesses ?AG ?ART)) |
ComputingBrands.kif 3866-3868 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners