Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
softwareVersion
Sigma KEE - softwareVersion
softwareVersion
appearance as argument number 1
(
documentation
softwareVersion
EnglishLanguage
"
softwareVersion
is a
VersionAttribute
to the
Proposition
,
ComputerProgram
.")
ComputingBrands.kif 3863-3864
(
domain
softwareVersion
1
ComputerProgram
)
ComputingBrands.kif 3865-3865
域
softwareVersion
, 1 and
ComputerProgram
(
domain
softwareVersion
2
VersionAttribute
)
ComputingBrands.kif 3866-3866
域
softwareVersion
, 2 and
VersionAttribute
(
instance
softwareVersion
BinaryRelation
)
ComputingBrands.kif 3862-3862
例
softwareVersion
and
BinaryRelation
appearance as argument number 2
(
format
EnglishLanguage
softwareVersion
"%1 is the software version of %1")
ComputingBrands.kif 3867-3867
(
termFormat
EnglishLanguage
softwareVersion
"software version")
ComputingBrands.kif 3868-3868
antecedent
(=>
(
and
(
softwareVersion
?COM
CurrentVersion
)
(
instance
?P2
ComputerProgramming
)
(
patient
?P2 ?COM))
(
exists
(?P1)
(
and
(
instance
?P1
ComputerProgramming
)
(
not
(
equal
?P1 ?P2))
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2))
(
patient
?P1 ?COM)
(
softwareVersion
?COM
PreviousVersion
))))
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
(=>
(
and
(
instance
?SU
SoftwareUpgrading
)
(
patient
?SU ?C)
(
instance
?C
Computer
))
(
exists
(?P)
(
and
(
objectTransferred
?SU ?P)
(
instance
?P
ComputerProgram
)
(
holdsDuring
(
BeginFn
(
WhenFn
?SU)
(
softwareVersion
?P
PreviousVersion
)))
(
holdsDuring
(
EndFn
(
WhenFn
?SU)
(
softwareVersion
?P
CurrentVersion
))))))
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
(=>
(
and
(
softwareVersion
?COM
CurrentVersion
)
(
instance
?P2
ComputerProgramming
)
(
patient
?P2 ?COM))
(
exists
(?P1)
(
and
(
instance
?P1
ComputerProgramming
)
(
not
(
equal
?P1 ?P2))
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2))
(
patient
?P1 ?COM)
(
softwareVersion
?COM
PreviousVersion
))))
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
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