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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UserPasswordLogin

 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 e wants sao disjuntos
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 O argumento numero 1 de dislikes e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7426-7426 O argumento numero 2 de dislikes e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7421-7421 dislikes e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7420-7420 dislikes e' uma instancia de Atitude em relacao a um Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7424-7424 dislikes e' relacionado internamente por SUMO a disapproves
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7422-7422 dislikes e' uma sub-relacao 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 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