Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  termFormat

 Sigma KEE - thirdPartyProduct
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners