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 876-878
(domain contestObject 1 Contest)	Dining.kif 879-879	The number 1 argument of contest object is an instance of contest
(domain contestObject 2 Object)	Dining.kif 880-880	The number 2 argument of contest object is an instance of object
(domain contestObject 3 AutonomousAgent)	Dining.kif 881-881	The number 3 argument of contest object is an instance of agent
(instance contestObject TernaryPredicate)	Dining.kif 875-875	contest object is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage contestObject "%3 entered %2 在 %1 ")	domainEnglishFormat.kif 3090-3090
(format ChineseTraditionalLanguage contestObject "%3 entered %2 在 %1 ")	domainEnglishFormat.kif 3089-3089
(format EnglishLanguage contestObject "%3 entered %2 in %1")	domainEnglishFormat.kif 3088-3088
(termFormat EnglishLanguage contestObject "contest object")	domainEnglishFormat.kif 65799-65799

antecedent

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

Dining.kif 883-896

If an agent entered an object in a contest,
then the agent participates in the contest and there exist a process, another agent,, , another process and an entity 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 the 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 900-909

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: