TreeView Knowledge Base Browser - prefers

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - prefers

prefers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1922-1924
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2690-2692
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 549-551
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2686-2686	The number 1 argument of prefers is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2687-2687	The number 2 argument of prefers is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2688-2688	The number 3 argument of prefers is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2685-2685	prefers is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2684-2684	prefers is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 173-173
No TPTP formula. May not be expressible in strict first order.	english_format.kif 174-174
No TPTP formula. May not be expressible in strict first order.	french_format.kif 106-106
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 228-228
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1935-1935
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 58-58
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 93-93
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 215-215
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 266-266
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 125-125
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 109-109
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 420-420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47180-47180
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 174-174
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47179-47179
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47178-47178
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 67-67

consequent

No TPTP formula. May not be expressible in strict first order.

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