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 7450-7450 dislikes et wants sont disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7454-7457
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7452-7452 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 7453-7453 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 7448-7448 dislikes est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7447-7447 dislikes est une instance de attitude d'objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7451-7451 dislikes est reli� � l'int�rieur de SUMO � disapproves
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7449-7449 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 7459-7461

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12990-12997
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2455-2459
No TPTP formula. May not be expressible in strict first order. People.kif 1442-1444


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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