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
properPart
Sigma KEE - properPart
properPart
appearance as argument number 1
(
documentation
properPart
ChineseLanguage
"(
properPart
?OBJ1 ?OBJ2) 的意思是除了 ?OBJ2 本身 ?OBJ1 是 ?OBJ2 的一部分。 这是一个
TransitiveRelation
和
AsymmetricRelation
(因此也是一个
IrreflexiveRelation
)。")
chinese_format.kif 1573-1575
(
documentation
properPart
EnglishLanguage
"(
properPart
?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a
TransitiveRelation
and
AsymmetricRelation
(hence an
IrreflexiveRelation
).")
Merge.kif 930-933
(
documentation
properPart
JapaneseLanguage
"(
properPart
?OBJ1 ?OBJ2) とは、?OBJ1が?OBJ2 自体以外、?OBJ2の一部である。これは、
TransitiveRelation
と
AsymmetricRelation
である。 (したがって、
IrreflexiveRelation
)。")
japanese_format.kif 147-149
(
documentation
properPart
SpanishLanguage
"(
properPart
?OBJ1 ?OBJ2) quiere decir que ?OBJ1 es una parte de ?OBJ2 aparte de ?OBJ2 mismo. Esta es una
TransitiveRelation
y
AsymmetricRelation
(y por lo tanto
IrreflexiveRelation
).")
spanish_format.kif 172-174
(
instance
properPart
AsymmetricRelation
)
Merge.kif 926-926
例
適當的部分
and
AsymmetricRelation
(
instance
properPart
TransitiveRelation
)
Merge.kif 927-927
例
適當的部分
and
TransitiveRelation
(
subrelation
properPart
part
)
Merge.kif 928-928
子關係
適當的部分
and
部分
appearance as argument number 2
(
format
ChineseLanguage
properPart
"%1 %n 是 %2 的
properPart
")
chinese_format.kif 175-175
(
format
EnglishLanguage
properPart
"%1 is %n a proper
part
of %2")
english_format.kif 176-176
(
format
FrenchLanguage
properPart
"%1 est %n une
part
ie
de
%2")
french_format.kif 107-107
(
format
ItalianLanguage
properPart
"%1 è %n una Parte propria di %2")
relations-it.txt 234-234
(
format
JapaneseLanguage
properPart
"%1 は %2 の proper
part
では %n")
japanese_format.kif 1936-1936
(
format
PortugueseLanguage
properPart
"%1 e' %n uma &parte de %2")
portuguese_format.kif 59-59
(
format
cz
properPart
"%1 %p{je} %n{nen�} vlastn� ��st� %2")
relations-cz.txt 65-65
(
format
de
properPart
"%1 ist ein korrektes teil von %2 %n{nicht}")
relations-de.txt 220-220
(
format
hi
properPart
"%1 %2 kaa uchita bhaaga %n hai")
relations-hindi.txt 272-272
(
format
ro
properPart
"%1 %n{nu} este o
part
%t{parte} proper%t{proprie} a lui %2")
relations-ro.kif 126-126
(
format
sv
properPart
"%1 är %n{inte} en riktig
de
l av %2")
relations-sv.txt 112-112
(
format
tg
properPart
"%1 %n ay ang bahagi ng %2")
relations-tg.txt 426-426
(
subrelation
engineeringSubcomponent
properPart
)
Merge.kif 16083-16083
子關係
工程子組件
and
適當的部分
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14045-14045
子關係
地理分區域
and
適當的部分
(
subrelation
physicalEnd
properPart
)
Mid-level-ontology.kif 1255-1255
子關係
physicalEnd
and
適當的部分
(
subrelation
streamOutfall
properPart
)
Geography.kif 5685-5685
子關係
流出口
and
適當的部分
(
termFormat
ChineseLanguage
properPart
"真正的部分")
chinese_format.kif 176-176
(
termFormat
ChineseLanguage
properPart
"适当的部分")
domainEnglishFormat.kif 47798-47798
(
termFormat
ChineseTraditionalLanguage
properPart
"適當的部分")
domainEnglishFormat.kif 47797-47797
(
termFormat
EnglishLanguage
properPart
"proper part")
domainEnglishFormat.kif 47796-47796
(
termFormat
de
properPart
"korrektesTeil")
terms-de.txt 69-69
antecedent
(=>
(
and
(
fills
?OBJ ?HOLE1)
(
properPart
?HOLE2 ?HOLE1))
(
completelyFills
?OBJ ?HOLE2))
Merge.kif 10052-10056
填充
Object
and
HoleRegion
適當的部分
HoleRegion
and
HoleRegion
完全填滿
Object
and
HoleRegion
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
properPart
?OBJ2 ?OBJ1))
(
properlyFills
?OBJ2 ?HOLE))
Merge.kif 10058-10062
填充
Object
and
HoleRegion
適當的部分
Object
and
Object
適當填充
Object
and
HoleRegion
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
properPart
?GUIE1 ?GUIE2)
(
instance
?GUIE2
GUIElement
))
(
hasGUEState
?GUIE2
GUE_ActiveState
))
ComputerInput.kif 1909-1915
例
GUIElement
and
GUIElement
GUIElement
有
state
GUE_ActiveState
適當的部分
GUIElement
and
GUIElement
例
GUIElement
and
GUIElement
GUIElement
有
state
GUE_ActiveState
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_CoveredState
))
(
hasGUEState
?GUIE_SM
GUE_CoveredState
))
ComputerInput.kif 2082-2088
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_CoveredState
entity
_SM 有
state
GUE_CoveredState
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_NonVisibleState
))
(
hasGUEState
?GUIE_SM
GUE_NonVisibleState
))
ComputerInput.kif 2001-2007
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_NonVisibleState
entity
_SM 有
state
GUE_NonVisibleState
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_OffscreenState
))
(
hasGUEState
?GUIE_SM
GUE_OffscreenState
))
ComputerInput.kif 2029-2035
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_OffscreenState
entity
_SM 有
state
GUE_OffscreenState
(=>
(
and
(
instance
?GUIE_SM
GUIElement
)
(
instance
?GUIE_BIG
GUIElement
)
(
properPart
?GUIE_SM ?GUIE_BIG)
(
hasGUEState
?GUIE_BIG
GUE_PassiveState
))
(
hasGUEState
?GUIE_SM
GUE_PassiveState
))
ComputerInput.kif 1977-1983
例
entity
_SM and
GUIElement
例
entity
_BIG and
GUIElement
適當的部分
entity
_SM and
entity
_BIG
entity
_BIG 有
state
GUE_PassiveState
entity
_SM 有
state
GUE_PassiveState
(=>
(
and
(
instance
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9939-9947
例
Object
and
HoleRegion
適當的部分
Object
and
Object
Object
空間的符合
Object
and
Object
空間的符合
Object
and
Object
(=>
(
and
(
instance
?UNCOVER
UncoveringGraphicalWindow
)
(
patient
?UNCOVER ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
properPart
?CURSOR ?WINDOW)
(
instance
?CURSOR
Cursor
))
(
guiElementUncovered
?UNCOVER ?WINDOW))
ComputerInput.kif 2423-2430
例
UncoveringGraphicalWindow
and
UncoveringGraphicalWindow
患者
UncoveringGraphicalWindow
and
GUIElement
例
GUIElement
and
InterfaceWindow
適當的部分
Object
and
GUIElement
例
Object
and
Cursor
UncoveringGraphicalWindow
uncovers
GUIElement
(=>
(
properPart
?OBJ1 ?OBJ2)
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1))))
Merge.kif 935-940
適當的部分
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9885-9892
hole
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
SelfConnectedObject
適當的部分
SelfConnectedObject
and
mereological產品
SelfConnectedObject
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
(=>
(
and
(
instance
?GUIE1
GUIElement
)
(
instance
?GUIE2
GUIElement
)
(
not
(
instance
?GUIE1
InterfaceWindow
))
(
not
(
instance
?GUIE2
InterfaceWindow
))
(
screenOfGUIE
?GUIE1 ?SCREEN)
(
screenOfGUIE
?GUIE2 ?SCREEN)
(
hasGUEState
?GUIE1
GUE_ActiveState
)
(
hasGUEState
?GUIE2
GUE_ActiveState
))
(
or
(
properPart
?GUIE1 ?GUIE2)
(
properPart
?GUIE2 ?GUIE1)
(
equal
?GUIE1 ?GUIE2)))
ComputerInput.kif 1935-1948
例
GUIElement
and
GUIElement
例
GUIElement
and
GUIElement
例
GUIElement
and
InterfaceWindow
例
GUIElement
and
InterfaceWindow
GUIElement
是
displayed
在
ComputerScreen
GUIElement
是
displayed
在
ComputerScreen
GUIElement
有
state
GUE_ActiveState
GUIElement
有
state
GUE_ActiveState
適當的部分
GUIElement
and
GUIElement
適當的部分
GUIElement
and
GUIElement
等於
GUIElement
and
GUIElement
(=>
(
and
(
instance
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18564-18577
例
Process
and
分享
agent
Process
and
AutonomousAgent
目的地
Process
and
Entity
患者
Process
and
Object
Process
Object
例
Process
and
Giving
子過程
Process
and
Process
患者
Process
and
Object
適當的部分
Object
and
Object
agent
Process
and
AutonomousAgent
目的地
Process
and
Entity
(=>
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
instance
?GUIE
GUIElement
)
(
screenOfGUIE
?WINDOW ?SCREEN)
(
screenOfGUIE
?GUIE ?SCREEN)
(
not
(
instance
?GUIE
InterfaceWindow
))
(
hasGUEState
?WINDOW
GUE_ActiveState
)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
properPart
?GUIE ?WINDOW))
ComputerInput.kif 1920-1929
例
GUIElement
and
InterfaceWindow
例
GUIElement
and
GUIElement
GUIElement
是
displayed
在
ComputerScreen
GUIElement
是
displayed
在
ComputerScreen
例
GUIElement
and
InterfaceWindow
GUIElement
有
state
GUE_ActiveState
GUIElement
有
state
GUE_ActiveState
適當的部分
GUIElement
and
GUIElement
(=>
(
and
(
part
?OBJ1 ?OBJ2)
(
not
(
part
?OBJ2 ?OBJ1)))
(
properPart
?OBJ1 ?OBJ2))
Merge.kif 942-947
部分
Object
and
Object
部分
Object
and
Object
適當的部分
Object
and
Object
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
LengthMeasure
是
Object
的
elevation
Object
適當的部分
Object
and
海平面
方位
Object
,
Object
and
垂直
距離
Object
,
Object
and
LengthMeasure
(=>
(
equal
?OBJ3
(
MereologicalDifferenceFn
?OBJ1 ?OBJ2))
(
forall
(?PART)
(<=>
(
properPart
?PART ?OBJ3)
(
and
(
properPart
?PART ?OBJ1)
(
not
(
properPart
?PART ?OBJ2))))))
Merge.kif 9837-9846
等於
Object
and
分類差異
Object
and
Object
Object
適當的部分
Object
and
Object
適當的部分
Object
and
Object
適當的部分
Object
and
Object
(=>
(
instance
?CARTRIDGE
BulletCartridge
)
(
hasPurpose
?CARTRIDGE
(
exists
(?BULLET ?CASE)
(
and
(
instance
?BULLET
Bullet
)
(
instance
?CASE
CartridgeCase
)
(
properPart
?BULLET ?CARTRIDGE)
(
properPart
?CASE ?CARTRIDGE)))))
Mid-level-ontology.kif 1199-1207
例
Physical
and
BulletCartridge
有目的
Physical
and
entity
entity
例
entity
and
子彈
例
entity
and
CartridgeCase
適當的部分
entity
and
Physical
適當的部分
entity
and
Physical
(=>
(
instance
?CASE
CartridgeCase
)
(
exists
(?CARTRIDGE ?BULLET ?K)
(
and
(
instance
?CARTRIDGE
BulletCartridge
)
(
instance
?BULLET
Bullet
)
(
instance
?K
Keeping
)
(
properPart
?CASE ?CARTRIDGE)
(
properPart
?BULLET ?CARTRIDGE)
(
agent
?K ?CASE)
(
patient
?K ?BULLET))))
Mid-level-ontology.kif 1212-1222
例
AutonomousAgent
and
CartridgeCase
Object
Object
and
Process
例
Object
and
BulletCartridge
例
Object
and
子彈
例
Process
and
Keeping
適當的部分
AutonomousAgent
and
Object
適當的部分
Object
and
Object
agent
Process
and
AutonomousAgent
患者
Process
and
Object
(=>
(
instance
?COMPARTMENT
ShipCabin
)
(
exists
(?SHIP)
(
and
(
instance
?COMPARTMENT
ShipCabin
)
(
properPart
?COMPARTMENT ?SHIP))))
Transportation.kif 2563-2568
例
Object
and
船艙
Object
例
Object
and
船艙
適當的部分
Object
and
Object
(=>
(
instance
?GULF
Gulf
)
(
exists
(?WATER)
(
and
(
instance
?WATER
SaltWaterArea
)
(
properPart
?GULF ?WATER))))
Geography.kif 5138-5143
例
Object
and
海灣
Object
例
Object
and
SaltWaterArea
適當的部分
Object
and
Object
(=>
(
instance
?H
Hanging
)
(
exists
(?S ?N ?P)
(
and
(
instance
?P
Human
)
(
instance
?S
String
)
(
instance
?N
Neck
)
(
experiencer
?H ?P)
(
properPart
?N ?P)
(
instrument
?H ?S)
(
holdsDuring
(
WhenFn
?H)
(
meetsSpatially
?S ?N)))))
Mid-level-ontology.kif 18477-18488
例
Process
and
掛
Object
Object
and
AutonomousAgent
例
AutonomousAgent
and
Human
例
Object
and
串
例
Object
and
頸部
體驗者
Process
and
AutonomousAgent
適當的部分
Object
and
AutonomousAgent
儀器
Process
and
Object
持有期間
何時
Process
and
空間的符合
Object
and
Object
(=>
(
instance
?HOLE1
HoleRegion
)
(
exists
(?HOLE2)
(
properPart
?HOLE2 ?HOLE1)))
Merge.kif 9918-9921
例
Object
and
HoleRegion
Object
適當的部分
Object
and
Object
(=>
(
instance
?HOTEL
HotelBuilding
)
(
exists
(?ROOM)
(
and
(
instance
?ROOM
HotelRoom
)
(
properPart
?ROOM ?HOTEL))))
Hotel.kif 82-87
例
Object
and
HotelBuilding
Object
例
Object
and
HotelRoom
適當的部分
Object
and
Object
(=>
(
instance
?OBJ1
CellEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Lipoprotein
))))
VirusProteinAndCellPart.kif 1090-1095
例
Object
and
細胞包膜
Object
適當的部分
Object
and
Object
例
Object
and
脂蛋白
(=>
(
instance
?OBJ1
CellPart
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
properPart
?OBJ1 ?CELL))))
Mid-level-ontology.kif 10882-10887
例
Object
and
細胞部分
Object
例
Object
and
Cell
適當的部分
Object
and
Object
(=>
(
instance
?OBJ1
EnvelopedVirus
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
ViralCore
)
(
not
(
exists
(?OBJ3)
(
and
(
instance
?OBJ3
ViralCore
)
(
properPart
?OBJ3 ?OBJ1)
(
not
(
equal
?OBJ3 ?OBJ2))))))))
VirusProteinAndCellPart.kif 1185-1196
例
Object
and
籠罩病毒
Object
適當的部分
Object
and
Object
例
Object
and
病毒核心
Object
例
Object
and
病毒核心
適當的部分
Object
and
Object
等於
Object
and
Object
(=>
(
instance
?OBJ1
LipidBilayer
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
LipidMembraneMolecule
))))
VirusProteinAndCellPart.kif 571-576
例
Object
and
脂質雙分子層
Object
適當的部分
Object
and
Object
例
Object
and
脂質膜分子
(=>
(
instance
?OBJ1
PlasmaMembrane
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
LipidBilayer
)
(
not
(
exists
(?OBJ3)
(
and
(
instance
?OBJ3
LipidBilayer
)
(
properPart
?OBJ3 ?OBJ1)
(
not
(
equal
?OBJ3 ?OBJ2))))))))
VirusProteinAndCellPart.kif 558-569
例
Object
and
質膜
Object
適當的部分
Object
and
Object
例
Object
and
脂質雙分子層
Object
例
Object
and
脂質雙分子層
適當的部分
Object
and
Object
等於
Object
and
Object
(=>
(
instance
?OBJ1
PlasmaMembrane
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Protein
))))
VirusProteinAndCellPart.kif 356-361
例
Object
and
質膜
Object
適當的部分
Object
and
Object
例
Object
and
Protein
(=>
(
instance
?OBJ1
Virus
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
VirusPart
))))
VirusProteinAndCellPart.kif 1145-1150
例
Object
and
Virus
Object
適當的部分
Object
and
Object
例
Object
and
病毒部分
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
Palisade
))))
VirusProteinAndCellPart.kif 1126-1131
例
Object
and
病毒核心信封
Object
適當的部分
Object
and
Object
例
Object
and
柵欄
(=>
(
instance
?OBJ1
VirusPart
)
(
exists
(?OBJ2)
(
and
(
properPart
?OBJ1 ?OBJ2)
(
instance
?OBJ2
Virus
))))
VirusProteinAndCellPart.kif 1138-1143
例
Object
and
病毒部分
Object
適當的部分
Object
and
Object
例
Object
and
Virus
(=>
(
instance
?OCEAN
Ocean
)
(
properPart
?OCEAN
WorldOcean
))
Geography.kif 4530-4532
例
Object
and
海洋
適當的部分
Object
and
世界海洋
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
例
Physical
and
防護眼鏡
有目的
Physical
and
Physical
RSON
例
Physical
RSON and
Human
穿
Physical
RSON and
Physical
entity
entity
,
entity
,
entity
and
entity
例
entity
and
Process
儀器
entity
and
Physical
子類
entity
and
卡帕
entity
and
entity
例
entity
and
Injuring
例
entity
and
眼睛
例
entity
and
Human
適當的部分
entity
and
entity
患者
entity
and
entity
持有期間
entity
and
患者
entity
and
Physical
RSON
持有期間
entity
and
患者
entity
and
Physical
RSON
防止
entity
and
entity
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
properPart
(
CellPartFn
?CELL ?PARTTYPE) ?CELL)
VirusProteinAndCellPart.kif 1174-1174
適當的部分
Object
和
細胞部分
的
cell
部分 and
Object
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