Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
desires
Sigma KEE - desires
desires
appearance as argument number 1
(
documentation
desires
ChineseLanguage
"(
desires
?AGENT ?FORMULA) 的意思是 ?AGENT 想要 实现 ?FORMULA 所表达的事态。注:这并不意味着施事体想要的东西不能成真。另外要注意的是
desires
和
wants
的区别只在于前者是一个
PropositionalAttitude
, 而
wants
是一个
ObjectAttitude
。")
chinese_format.kif 1936-1938
(
documentation
desires
EnglishLanguage
"(
desires
?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that
desires
is distinguished from
wants
only in that the former is a
PropositionalAttitude
, while
wants
is an
ObjectAttitude
.")
Merge.kif 2768-2772
(
domain
desires
1
CognitiveAgent
)
Merge.kif 2765-2765
渴望
的 1 数量 是
有认知的主事
的
instance
(
domain
desires
2
Formula
)
Merge.kif 2766-2766
渴望
的 2 数量 是
公式
的
instance
(
instance
desires
BinaryPredicate
)
Merge.kif 2762-2762
渴望
是
二元谓语
的
instance
(
instance
desires
PropositionalAttitude
)
Merge.kif 2761-2761
渴望
是
命题态度
的
instance
(
relatedInternalConcept
desires
wants
)
Merge.kif 2764-2764
渴望
和
想要
是 内部相关
(
subrelation
desires
inScopeOfInterest
)
Merge.kif 2763-2763
渴望
是
感兴趣
的
subrelation
appearance as argument number 2
(
disjointRelation
disapproves
desires
)
Mid-level-ontology.kif 7399-7399
不赞成
和
渴望
是
disjoint
关系
(
format
ChineseLanguage
desires
"%1 %n{doesn't}
desires
%2")
chinese_format.kif 91-91
(
format
EnglishLanguage
desires
"%1 %n{doesn't} desire%p{s} %2")
english_format.kif 91-91
(
relatedInternalConcept
wants
desires
)
Merge.kif 2741-2741
想要
和
渴望
是 内部相关
(
termFormat
ChineseLanguage
desires
"欲望")
domainEnglishFormat.kif 19246-19246
(
termFormat
ChineseLanguage
desires
"渴望")
chinese_format.kif 92-92
(
termFormat
ChineseTraditionalLanguage
desires
"慾望")
domainEnglishFormat.kif 19245-19245
(
termFormat
EnglishLanguage
desires
"desires")
domainEnglishFormat.kif 19244-19244
antecedent
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
如果
施事体
provides
客体
和
那个 施事体
是
有认知的主事
的
customer
和
实体
是
那个 客体
的
instance
和
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
有意图过程
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
,
然后
那个 施事体
允许
那个 有认知的主事
执行
那个 有认知的主事
uses
那个 实体
的任务 的声明 has
可能性
的语气
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 523-532
如果
施事体
desires
死
是
实体
的
attribute
在
时距
holdsDuring
和
那个 施事体
URDER 是
谋杀
的
instance
和
那个 施事体
是
那个 施事体
URDER 的
agent
和
那个 实体
是
那个 施事体
URDER 的
patient
和
那个 时距
比
那个 施事体
URDER 出现 的
time
发生的
earlier
,
然后
Premeditated
是
那个 施事体
URDER 的
attribute
(=>
(
and
(
instance
?DIO
DefensiveInformationOperation
)
(
agent
?DIO ?AGENT)
(
enemy
?AGENT ?ENEMY)
(
desires
?ENEMY
(
knows
?ENEMY ?FORMULA))
(
desires
?AGENT
(
not
(
knows
?ENEMY ?FORMULA))))
(
hasPurpose
?DIO
(
not
(
knows
?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1876-1888
如果
过程
是
防御性信息操作
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
enemy
那个 有认知的主事
and
另一个 有认知的主事
和
那个 另外 有认知的主事
desires
那个 另外 有认知的主事
knows
实体
和
那个 有认知的主事
desires
那个 另外 有认知的主事
doesn't
knows
那个 实体
,
然后
那个 过程
的 目的 是
那个 另外 有认知的主事
doesn't
knows
那个 实体
consequent
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29423-29435
如果
Collectible
是
客体
的
attribute
和
那个 客体
的 目的 是
公式
,
然后 有存在
有认知的主事
和
那个 公式
2 这样
那个 有认知的主事
是
人类
的
instance
和
那个 有认知的主事
wants
那个 客体
和
那个 有认知的主事
desires
那个 公式
2 和
那个 公式
2
entails
那个 有认知的主事
possesses
那个 客体
和
那个 公式
不
equal
那个 公式
2
(=>
(
and
(
candidateForPosition
?ELECTION ?POSITION ?CONTENDER)
(
agent
?ELECTION ?AGENT))
(
desires
?CONTENDER
(
occupiesPosition
?CONTENDER ?POSITION ?AGENT)))
Government.kif 1850-1854
如果
选举
对于职位
身分
的
candidate
对于
有认知的主事
和
施事体
是
那个 选举
的
agent
,
然后
那个 有认知的主事
desires
那个 有认知的主事
在
那个 施事体
任职
那个 身分
(=>
(
and
(
defenseLawyer
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
not
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L)))))))
Law.kif 338-349
如果
defenseLawyer
法律诉讼
and
有认知的主事
和
另一个 有认知的主事
是在
那个 法律诉讼
的
defendant
,
然后
那个 有认知的主事
desires
不存在
实体
这样
那个 实体
是
法律决定
的
instance
和
那个 实体
提到
那个 法律诉讼
和
那个 另外 有认知的主事
doesn't
wants
那个 实体
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 734-743
如果
deviceOS
有点 客体
and
有点 电脑
和
有点 客体
I 是
那个 有点 客体
的
instance
和
有点 电脑
I 是
那个 有点 电脑
的
instance
和
manufacturer
那个 有点 客体
and
有认知的主事
,
然后
那个 有认知的主事
desires
那个 有点 电脑
I 是
第三 实体
的执行
program
和
那个 第三 实体
是
running
在
那个 有点 客体
I
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1509-1521
如果
过程
是
AddToCart
的
instance
和
有认知的主事
是
施事体
的
instance
和
实体
是
客体
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
,
然后
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
购买
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
(=>
(
and
(
instance
?B
Blockade
)
(
instance
?C
Contest
)
(
subProcess
?B ?C)
(
contestParticipant
?C ?A1)
(
agent
?B ?A1))
(
exists
(?C1 ?A2)
(
and
(
prevents
?C1
Translocation
)
(
instance
?B ?C1)
(
contestParticipant
?C ?A2)
(
not
(
equal
?A1 ?A2))
(
desires
?A2
(
exists
(?I)
(
and
(
instance
?I ?C1)
(
agent
?I ?A1)
(
subProcess
?I ?C)))))))
Mid-level-ontology.kif 21725-21744
如果
过程
是
封锁
的
instance
和
比赛
是
比赛
的
instance
和
那个 过程
%n是
那个 比赛
的
subProcess
和
施事体
participates
在
那个 比赛
和
那个 施事体
是
那个 过程
的
agent
,
然后 有存在
那个 比赛
1 和
有认知的主事
这样
那个 比赛
1
prevents
易位
的发生 和
那个 过程
是
那个 比赛
1 的
instance
和
那个 有认知的主事
participates
在
那个 比赛
和
那个 施事体
不
equal
那个 有认知的主事
和
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 另外 实体
是
那个 比赛
1 的
instance
和
那个 施事体
是
那个 另外 实体
的
agent
和
那个 另外 实体
%n是
那个 比赛
的
subProcess
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3494-3508
如果
电脑程序
是
ComputerBackingUp
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
数字数据
的
instance
和
有认知的主事
是
那个 电脑程序
的
agent
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 电脑程序
出现 的
time
比
那个 实体
发生的
earlier
和 有存在
第三 实体
这样
那个 第三 实体
是
电脑程序
的
instance
和
那个 数字数据
能够担当
数据已处理
的角色做
那个 第三 实体
在
那个 实体
holdsDuring
(=>
(
and
(
instance
?CLUB
Club
)
(
member
?MEM1 ?CLUB)
(
member
?MEM2 ?CLUB))
(
exists
(?DESIRE)
(
and
(
desires
?MEM1 ?DESIRE)
(
desires
?MEM2 ?DESIRE))))
Mid-level-ontology.kif 911-919
如果
群体
是
Club
的
instance
和
有认知的主事
是
那个 群体
的
member
和
另一个 有认知的主事
是
那个 群体
的
member
,
然后 有存在
公式
这样
那个 有认知的主事
desires
那个 公式
和
那个 另外 有认知的主事
desires
那个 公式
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12071-12076
如果
过程
是
关押
的
instance
和
有认知的主事
是
那个 过程
的
patient
和
那个 有认知的主事
是
人类
的
instance
,
然后
那个 有认知的主事
doesn't
desires
那个 有认知的主事
是
那个 过程
的
patient
(=>
(
and
(
instance
?EXPRESS
ExpressingApproval
)
(
agent
?EXPRESS ?AGENT)
(
patient
?EXPRESS ?THING))
(
or
(
wants
?AGENT ?THING)
(
desires
?AGENT ?THING)))
Mid-level-ontology.kif 12798-12805
如果
过程
是
表示赞同
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
公式
是
那个 过程
的
patient
,
然后
那个 有认知的主事
wants
那个 公式
或
那个 有认知的主事
desires
那个 公式
(=>
(
and
(
instance
?F
(
FailureFn
?C))
(
agent
?F ?A))
(
and
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?C)
(
agent
?I ?A))))
(
not
(
exists
(?I)
(
and
(
instance
?I ?C)
(
during
(
WhenFn
?I)
(
WhenFn
?F))
(
agent
?I ?A))))))
ComputingBrands.kif 4515-4530
如果
过程
是
FailureFn
有点 有意图过程
的
instance
和
有认知的主事
是
那个 过程
的
agent
,
然后
那个 有认知的主事
desires
有存在
另一个 过程
这样
那个 另外 过程
是
有点 有意图过程
的
instance
和
那个 有认知的主事
是
那个 另外 过程
的
agent
和 不存在
那个 另外 过程
这样
那个 另外 过程
是
那个 有点 有意图过程
的
instance
和
那个 另外 过程
出现 的
time
在
那个 过程
出现 的
time
时段内发生 和
那个 有认知的主事
是
那个 另外 过程
的
agent
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
如果
有认知的主事
是
政治压力集团
的
instance
和
那个 有认知的主事
的 目的 是
公式
和
地理区域
是
agent
运作在
那个 有认知的主事
地区 和
那个 地理区域
是
国家
的
instance
,
然后
那个 有认知的主事
desires
那个 地理区域
的
Government
believes
那个 公式
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16290-16302
如果
过程
是
Insomnia
的
instance
和
有认知的主事
经历了
那个 过程
,
然后 有存在
另一个 过程
,
持续时间
, and 和
那个 持续时间
2 这样
那个 另外 过程
是
Sleeping
的
instance
和
那个 有认知的主事
经历了
那个 另外 过程
和
那个 另外 过程
出现 的
time
的
duration
是
那个 持续时间
和
那个 有认知的主事
desires
那个 另外 过程
出现 的
time
的
duration
是
那个 持续时间
2 和
那个 持续时间
2 是
greaterThan
那个 持续时间
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5685-5696
如果
过程
是
Itching
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
有认知的主事
的
part
和
那个 有认知的主事
经历了
那个 过程
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 实体
是
Scratching
的
instance
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 和
那个 实体
是
located
在
那个 客体
(=>
(
and
(
instance
?J
Jailbreaking
)
(
instance
?D
Computer
)
(
instance
?D ?CLASS)
(
patient
?J ?D)
(
manufacturer
?CLASS ?C))
(
not
(
desires
?C
(
exists
(?A)
(
agent
?J ?A)))))
ComputingBrands.kif 3474-3484
如果
过程
是
粉碎
的
instance
和
实体
是
电脑
的
instance
和
那个 实体
是
有点 客体
的
instance
和
那个 实体
是
那个 过程
的
patient
和
manufacturer
有点 客体
and
有认知的主事
,
然后
那个 有认知的主事
doesn't
desires
有存在
另一个 实体
这样
那个 另外 实体
是
那个 过程
的
agent
(=>
(
and
(
instance
?LEAVE
Quitting
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
desires
?PERSON
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10617-10627
如果
过程
是
Quitting
的
instance
和
实体
是
机构
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
,
然后
那个 有认知的主事
desires
那个 有认知的主事
不 是
那个 实体
的
member
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?ITEM
Object
)
(
instance
?CREATOR
AutonomousAgent
)
(
attribute
?LISTING
AuctionAttribute
)
(
patient
?ITEM ?LISTING)
(
creator
?CREATOR ?LISTING))
(
desires
?CREATOR
(
exists
(?AUCTION)
(
and
(
instance
?AUCTION
Auctioning
)
(
patient
?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 393-405
如果
客体
是
WebListing
的
instance
和
过程
是
客体
的
instance
和
有认知的主事
是
施事体
的
instance
和
AuctionAttribute
是
那个 客体
的
attribute
和
那个 客体
是
那个 过程
的
patient
和
那个 有认知的主事
created
那个 客体
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 实体
是
Auctioning
的
instance
和
那个 过程
是
那个 实体
的
patient
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
如果
群体
是
共产党
的
instance
和
有认知的主事
是
那个 群体
的
member
和
实体
是
地缘政治区域
的
instance
,
然后
那个 有认知的主事
desires
%2 是 1% 的
government
类别
(=>
(
and
(
instance
?P
Punishing
)
(
agent
?P ?A)
(
patient
?P ?F)
(
destination
?P ?D))
(
knows
?A
(
not
(
desires
?D ?F))))
Mid-level-ontology.kif 839-847
如果
过程
是
惩罚
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 过程
在
另一个 实体
结束,
然后
那个 有认知的主事
knows
那个 另外 实体
doesn't
desires
那个 实体
(=>
(
and
(
instance
?PSYOP
PsychologicalOperation
)
(
agent
?PSYOP ?AGENT)
(
patient
?PSYOP ?TARGET))
(
hasPurpose
?PSYOP
(
exists
(?PROCESS ?RESULT)
(
and
(
agent
?PROCESS ?TARGET)
(
result
?PROCESS ?RESULT)
(
desires
?AGENT ?RESULT)))))
MilitaryProcesses.kif 1184-1194
如果
过程
是
心理操作
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
和
第三 实体
这样
那个 实体
是
那个 另外 实体
的
agent
和
那个 第三 实体
是
那个 另外 实体
的
result
和
那个 施事体
desires
那个 第三 实体
(=>
(
and
(
instance
?REQUEST
Requesting
)
(
agent
?REQUEST ?AGENT)
(
patient
?REQUEST ?FORMULA)
(
instance
?FORMULA
Formula
))
(
desires
?AGENT ?FORMULA))
Merge.kif 13059-13065
如果
过程
是
要求
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
公式
是
那个 过程
的
patient
和
那个 公式
是
公式
的
instance
,
然后
那个 有认知的主事
desires
那个 公式
(=>
(
and
(
instance
?THANK
Thanking
)
(
agent
?THANK ?AGENT)
(
patient
?THANK ?THING)
(
destination
?THANK ?PERSON))
(
and
(
instance
?PERSON
Human
)
(
or
(
holdsDuring
(
WhenFn
?THANK)
(
wants
?AGENT ?THING))
(
holdsDuring
(
WhenFn
?THANK)
(
desires
?AGENT ?THING)))))
Mid-level-ontology.kif 12996-13006
如果
过程
是
感谢
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 过程
在
另一个 实体
结束,
然后
那个 另外 实体
是
人类
的
instance
和
那个 施事体
wants
那个 实体
在
那个 过程
出现 的
time
holdsDuring
或
那个 施事体
desires
那个 实体
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
not
(
desires
?DEST ?PROP)))
Mid-level-ontology.kif 827-832
如果
过程
是
危险的
的
instance
和
公式
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束,
然后
那个 有认知的主事
doesn't
desires
那个 公式
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
desires
?AGENT
(
exists
(?SELLING)
(
patient
?SELLING ?OBJ))))
UXExperimentalTerms.kif 73-80
如果
有认知的主事
sells
WebListing
和
实体
是
客体
的
instance
和
那个 实体
是
那个 WebListing
的
patient
,
然后
那个 有认知的主事
desires
有存在
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
patient
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
如果
生物
是
另一个 生物
的
parent
和
那个 另外 生物
是
人类的孩子
的
instance
或
那个 另外 生物
是
人类宝贝
的
instance
,
然后 有存在
实体
这样
那个 实体
是
ChildCareService
的
instance
和
那个 生物
desires
那个 实体
的声明 has
可能性
的语气
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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