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 6448-6448	dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6452-6455
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6450-6450	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 6451-6451	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 6446-6446	dislikes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6445-6445	dislikes is an instance of object attitude
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6449-6449	dislikes is internally related to disapproves
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6447-6447	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 3271-3271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3270-3270
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3269-3269
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19857-19857
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19856-19856
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19855-19855

antecedent

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

Mid-level-ontology.kif 6457-6459

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 9757-9764	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 2435-2437	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 1444-1446	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