Lengthening - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Lengthening

Lengthening

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23802-23802
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23801-23801	Lengthening e' uma sub-classe de Aumentar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17135-17135	Stretching e' uma sub-classe de Lengthening
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33965-33965
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33964-33964
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33963-33963

antecedent

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

Mid-level-ontology.kif 23804-23819

Processo e' uma instancia de Lengthening Entidade e' um patient de Processo
Processo1 Processo2 and Entidade Entidade e' uma instancia de UnitOfLength o comprimento de Entidade e' Processo1 Entidade(s) vale durante o comeco de tempo de existencia de Processo o comprimento de Entidade e' Processo2 Entidade(s) vale durante o fim de tempo de existencia de Processo Processo2 e' maior que Processo1

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