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 7422-7422 dislikes et wants sont disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7426-7429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7424-7424 Le nombre 1 argument de dislikes est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7425-7425 Le nombre 2 argument de dislikes est une instance de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7420-7420 dislikes est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7419-7419 dislikes est une instance de attitude d'objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7423-7423 dislikes est reli� � l'int�rieur de SUMO � disapproves
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7421-7421 dislikes est une sous-relation de inScopeOfInterest

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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12962-12969
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