TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Favorite EnglishLanguage "Favorite is an attribute that describes how an agent prefers one thing over another")	Dining.kif 1008-1009
(instance Favorite SubjectiveAssessmentAttribute)	Dining.kif 1007-1007	Favorite is an instance of subjective assessment attribute

appearance as argument number 2

(termFormat EnglishLanguage Favorite "favorite")

Dining.kif 1010-1010

antecedent

(=>
    (and
        (subjectiveAttribute ?X Favorite ?AGENT)
        (instance ?X ?CLASS))
    (exists (?Y)
        (and
            (not
                (subjectiveAttribute ?Y Favorite ?AGENT))
            (instance ?Y ?CLASS)
            (prefers ?AGENT
                (wants ?AGENT ?X)
                (wants ?AGENT ?Y)))))

Dining.kif 1012-1020

If a cognitive agent believes an entity is favorite and the entity is an instance of a class,
then there exists another entity such that not the cognitive agent believes the other entity is favorite and the other entity is an instance of the class and the cognitive agent prefers the cognitive agent wants the entity over the cognitive agent wants the other entity

consequent

Dining.kif 1012-1020

If a cognitive agent believes an entity is favorite and the entity is an instance of a class,
then there exists another entity such that not the cognitive agent believes the other entity is favorite and the other entity is an instance of the class and the cognitive agent prefers the cognitive agent wants the entity over the cognitive agent wants the other entity

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: