TreeView Knowledge Base Browser - CurrentVersion

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CurrentVersion

CurrentVersion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3899-3903
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3898-3898	子屬性 CurrentVersion and VersionAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3890-3890	不相交的 PreviousVersion and CurrentVersion
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3904-3904

antecedent

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

ComputingBrands.kif 3870-3882

softwareVersion ComputerProgram and CurrentVersion 例 Process and 電腦編程患者 Process and ComputerProgram
Process 例 Process and 電腦編程等於 Process and Process 早期何時 Process and 何時 Process 患者 Process and ComputerProgram softwareVersion ComputerProgram and PreviousVersion

consequent

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

ComputingBrands.kif 3826-3840

例 Transfer and 軟體更新患者 Transfer and Entity 例 Entity and 電腦
Object objectTransferred Transfer and Object 例 Object and ComputerProgram 持有期間開始何時 Transfer and softwareVersion Object and PreviousVersion 持有期間結束何時 Transfer and softwareVersion Object and CurrentVersion

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