TreeView Knowledge Base Browser - dislikes

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - dislikes

dislikes

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7450-7450	dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7454-7457
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7452-7452	The number 1 argument of dislikes is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7453-7453	The number 2 argument of dislikes is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7448-7448	dislikes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7447-7447	dislikes is an instance of object attitude
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7451-7451	dislikes is internally related to disapproves
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7449-7449	dislikes is a subrelation of in scope of interest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3266-3266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3265-3265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3264-3264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19866-19866
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19865-19865
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19864-19864

antecedent

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

Mid-level-ontology.kif 7459-7461

If a cognitive agent dislikes an object,
then the cognitive agent desires the cognitive agent doesn't possess the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12990-12997	If a process is an instance of expressing disapproval and a cognitive agent is an agent of the process and a formula is a patient of the process, then the cognitive agent dislikes the formula or the formula is a disapproves of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2455-2457	If a cognitive agent and an agent are enemies of each other, then the cognitive agent dislikes the agent
No TPTP formula. May not be expressible in strict first order.	People.kif 1442-1444	If a cognitive agent is a member of antisemitism, then the cognitive agent dislikes judaism

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