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 7450-7450 不相交的關係 不喜歡 and 想要
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 域 不喜歡, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7453-7453 域 不喜歡, 2 and Object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7448-7448 例 不喜歡 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7447-7447 例 不喜歡 and ObjectAttitude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7451-7451 相關的內部概念 不喜歡 and 不贊成
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7449-7449 子關係 不喜歡 and 在感興趣的範圍內

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