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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Debating
Debating(debating)affray, altercate, altercation, argufy, argument, argumentation, brawl, challenge, collision, conflict, contend, contest, debate, difference, difference_of_opinion, dispute, dustup, exchange, fight, fracas, gainsay, logomachy, quarrel, repugn, row, run-in, scrap, words, wrangle

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19704-19707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19702-19702 Debating is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19703-19703 Debating is a subclass of linguistic communication

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18792-18792
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18791-18791
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18790-18790


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