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 23803-23803
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23802-23802	子類延長 and Increasing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17136-17136	子類拉伸 and 延長
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 23805-23820

例 Process and 延長患者 Process and Entity
Process Process and Entity 例 Entity and UnitOfLength 持有期間開始何時 Process and length Entity and 測量 Process and Entity 持有期間結束何時 Process and length Entity and 測量 Process and Entity 比較多 Process and Process

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