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 8588-8588	dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8592-8595	dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8590-8590	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 8591-8591	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 8586-8586	dislikes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8585-8585	dislikes is an instance of object attitude
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8589-8589	dislikes is internally related to disapproves
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8587-8587	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 3262-3262
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3261-3261
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3260-3260
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19875-19875
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19874-19874
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19873-19873

antecedent

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

Mid-level-ontology.kif 8597-8599

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 14294-14301	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 2456-2460	If an entity and another entity are enemies of each other holds during a time position, then the entity dislikes the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	People.kif 1443-1445	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