Simple Browser
: 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:
Sigma KEE - property
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
特性
这个
Predicate
在
Entity
的实例和
Attribute
的 实例成立。(
property
?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的
Attribute
。
Relationships
Children
抽象层次
属于
(
attribute
?OBJECT ?PROPERTY) means that ?PROPERTY is a
Attribute
of ?OBJECT. For example, (
attribute
MyLittleRedWagon
Red
).
复杂
(
complexity
?System ?Attribute) holds if ?Attribute is a
TimingRequirementAttribute
which describes the
RealtimeSystem
?System.
设计模式
(
designPattern
?System ?Attribute) holds if ?Attribute is a
DesignPatternAttribute
which describes the
RealtimeSystem
?System.
环境属性
(
environmentAttributes
?Program ?Attribute) holds if ?Attribute is an
EnvironmentSoftwareAttribute
which describes the
ComputerProgram
?Program.
适应形式
(
formOfAdaptation
?System ?Attribute) holds if ?Attribute is a
FormOfAdaptationAttribute
which describes the
RealtimeSystem
?System.
形式
(
manner
?PROCESS ?MANNER) means that the
Process
?PROCESS is qualified by the
Attribute
?MANNER. The
Attribute
s of
Process
es are usually denoted by adverbs and include things like the speed of the wind, the style of a dance, or the intensity of a sports competition.
语气属性
A
BinaryRelation
that is used to state the normative force of a
Proposition
. (
modalAttribute
?FORMULA ?PROP) means that the
Proposition
expressed by ?FORMULA has the
NormativeAttribute
?PROP. For example, (
modalAttribute
(
exists
(?ACT ?OBJ) (
and
(
instance
?ACT
Giving
) (
agent
?ACT John) (
patient
?ACT ?OBJ) (
destination
?ACT Tom)))
Obligation
) means that John is obligated to give Tom something.
shape
(shape ?OBJECT ?SHAPE) means that the shape of ?OBJECT is ?SHAPE.
状态
(
status
?PROCESS ?STATUS) holds if ?STATUS is the current status of ?PROCESS.
严格
(
strictness
?System ?Attribute) holds if the
StrictnessAttribute
?Attribute describes the
RealtimeSystem
?System.
系统行为
(
systemBehavior
?System ?Attribute) holds if ?Attribute is a SystemBehaviorAttribute which describes the
RealtimeSystem
?System.
任务关系
(
taskRelation
?System ?Attribute) holds if ?Attribute is a
TaskRelationAttribute
which describes the
RealtimeSystem
?System.
真值
The
BinaryPredicate
that relates a
Sentence
to its
TruthValue
.
Instances
抽象体
这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
二元谓语
这是一个联系两个项目的
Predicate
- 它的配价是二。
二元关系
BinaryRelation
是只有在关系联系两样东西的时候 才算是真,框架理论以槽代表
BinaryRelation
。
实体
The universal class of individuals. This is the root node of the ontology.
可继承的关系
这是一个
Relation
类别,它的特性可以是 通过
subrelation
Predicate
把特性在类别的层次结构承传下去。
谓语
Predicate
是一个作句的
Relation
,这个
Relation
的每一个元组都是物体有限、有序的的句子。一个特定组员是一个
Predicate
的元素这事实,由 '(*predicate* arg_1 arg_2 .. arg_n)'来表示, arg_i 是关联的事物。在
BinaryPredicate
的情况下, 可以读成 `arg_1 是 *predicate* arg_2' 或者 `arg_1 的一个 *predicate* 是 arg_2'。
关系
这是关系的
Class
。现有三类的
Relation
:
Predicate
,
Function
和
List
。
Predicate
和
Function
皆表示有序的n元组集合, 这两个
Class
的差别在于
Predicate
包括组成公式的运算符,而
Function
则包括组成 术语的运算符,而一个
List
却是一个特定的有序n元组。
Belongs to Class
实体
Show simplified definition with tree view
Show full definition (without tree view)
Show full 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