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 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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9757-9764
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2435-2437
No TPTP formula. May not be expressible in strict first order. People.kif 1444-1446


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