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 29707-29708
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29706-29706	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 64805-64805

antecedent

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

Mid-level-ontology.kif 29710-29718

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