Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  dislikes

Sigma KEE - dislikes
dislikes

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7423-7423 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7427-7430
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7425-7425 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 7426-7426 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 7421-7421 dislikes is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7420-7420 dislikes is an instance of object attitude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7424-7424 dislikes is internally related to disapproves
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7422-7422 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 7432-7434

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12963-12970
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2455-2457
No TPTP formula. May not be expressible in strict first order. People.kif 1442-1444


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