TreeView Knowledge Base Browser

appearance as argument number 1

(documentation contestObject EnglishLanguage "(contestObject ?CONTEST ?OBJ ?AGENT) refers to the ?OBJ entered by ?AGENT in a ?CONTEST in cases where winning is based on judging an Object instead of some physical process between opponents")	Dining.kif 829-831
(domain contestObject 1 Contest)	Dining.kif 832-832	The number 1 argument of contestObject is an instance of contest
(domain contestObject 2 Object)	Dining.kif 833-833	The number 2 argument of contestObject is an instance of object
(domain contestObject 3 Agent)	Dining.kif 834-834	The number 3 argument of contestObject is an instance of agent
(instance contestObject TernaryPredicate)	Dining.kif 828-828	contestObject is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage contestObject "%3 entered %2 在 %1 ")	domainEnglishFormat.kif 3095-3095
(format ChineseTraditionalLanguage contestObject "%3 entered %2 在 %1 ")	domainEnglishFormat.kif 3094-3094
(format EnglishLanguage contestObject "%3 entered %2 in %1")	domainEnglishFormat.kif 3093-3093

antecedent

(=>
    (contestObject ?CONTEST ?OBJ ?AGENT)
    (and
        (contestParticipant ?CONTEST ?AGENT)
        (exists (?MAKE ?JUDGE ?PROC)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?OBJ)
                (agent ?MAKE ?AGENT)
                (instance ?PROC Judging)
                (agent ?PROC ?JUDGE)
                (patient ?PROC ?OBJ)
                (result ?PROC
                    (subjectiveAttribute ?OBJ ?ATTR ?JUDGE))
                (subProcess ?PROC ?CONTEST)))))

Dining.kif 836-849

If an agent entered an object in a contest,
then the agent participates in the contest and there exist a process, another agent and another process such that the process is an instance of making and the object is a result of the process and the agent is an agent of the process and the other process is an instance of judging and the other agent is an agent of the other process and the object is a patient of the other process and the other agent believes the object is an entity is a result of the other process and the other process is a subprocess of the contest

consequent

(=>
    (and
        (subjectiveAttribute ?X Won ?JUDGE)
        (instance ?X
            (FoodForFn Human)))
    (exists (?CONTEST ?AGENT ?PROC)
        (and
            (contestObject ?CONTEST ?X ?AGENT)
            (instance ?PROC Judging)
            (agent ?PROC ?JUDGE)
            (subProcess ?PROC ?CONTEST))))

Dining.kif 853-862

If an agent believes an object is won and the object is an instance of food for human,
then there exist a contest, another agent and a process such that the other agent entered the object in the contest and the process is an instance of judging and the agent is an agent of the process and the process is a subprocess of the contest

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

KB Term:			Term intersection

English Word: