| 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 3916-3918 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3920-3920 | |
| (domain thirdPartyProduct 2 Organization) | ComputingBrands.kif 3921-3921 | |
| (domain thirdPartyProduct 3 AutonomousAgent) | ComputingBrands.kif 3922-3922 | |
| (instance thirdPartyProduct TernaryPredicate) | ComputingBrands.kif 3915-3915 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage thirdPartyProduct "%1 is a product owned by %3 but not manufactured by %2") | ComputingBrands.kif 3925-3925 | |
| (termFormat EnglishLanguage thirdPartyProduct "third party product") | ComputingBrands.kif 3924-3924 |
| antecedent |
|
|
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (customer ?ORG ?AG)) |
ComputingBrands.kif 3940-3942 | |
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART))))) |
ComputingBrands.kif 3927-3934 | |
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (possesses ?AG ?ART)) |
ComputingBrands.kif 3936-3938 |
|
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