| 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 3921-3923 | |
| (domain thirdPartyProduct 1 Artifact) | ComputingBrands.kif 3925-3925 | The number 1 argument of third party product is an instance of artifact |
| (domain thirdPartyProduct 2 Organization) | ComputingBrands.kif 3926-3926 | The number 2 argument of third party product is an instance of organization |
| (domain thirdPartyProduct 3 AutonomousAgent) | ComputingBrands.kif 3927-3927 | The number 3 argument of third party product is an instance of agent |
| (instance thirdPartyProduct TernaryPredicate) | ComputingBrands.kif 3920-3920 | third party product is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage thirdPartyProduct "%1 is a product owned by %3 but not manufactured by %2") | ComputingBrands.kif 3930-3930 | |
| (termFormat EnglishLanguage thirdPartyProduct "third party product") | ComputingBrands.kif 3929-3929 |
| antecedent |
|
|
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (customer ?ORG ?AG)) |
ComputingBrands.kif 3945-3947 |
|
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART))))) |
ComputingBrands.kif 3932-3939 |
|
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (possesses ?AG ?ART)) |
ComputingBrands.kif 3941-3943 |
|
|
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