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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Disagreeing

Sigma KEE - Disagreeing
Disagreeing(disagreeing)clash, contradict, contravene, differ, disagree, dissent, negate, take_issue

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3260-3262
No TPTP formula. May not be expressible in strict first order. Merge.kif 13305-13310
No TPTP formula. May not be expressible in strict first order. Merge.kif 13304-13304 Disagreeing is a subclass of stating

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 29-29 International dispute is a subclass of disagreeing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19779-19779 International dispute is a subclass of disagreeing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19778-19778 International dispute is a subclass of disagreeing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19777-19777 International dispute is a subclass of disagreeing

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13311-13324

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31610-31622


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