TreeView Knowledge Base Browser - Elaborating

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Elaborating

Elaborating(elaborating)

dilate, elaborate, enlarge, expand, expatiate, exposit, expound, flesh_out, lucubrate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29656-29657
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29655-29655	Elaborating is a subclass of linguistic communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64803-64803

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 29659-29667

If a time interval is an instance of elaborating,
then there exist another time interval, the time intervalP and the other time intervalP such that the other time interval is an instance of linguistic communication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP subsumes the content of the other time intervalP

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