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:
AirportWithUnpavedRunway
Sigma KEE - PerFn
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
每
PerFn
把两个
PhysicalQuantity
的实例联系到由这两个实例 所组成的
FunctionQuantity
。例如:(
PerFn
(
MeasureFn
2 (
MicroFn
Gram
)) (
MeasureFn
1 (
KiloFn
Gram
)))表示2微克/千克的
FunctionQuantity
。这个函数很有用因为它允许知识工程师随时编制新的
FunctionQuantity
实例。
Relationships
Children
密度函数
DensityFn
maps an instance of
MassMeasure
and an instance of
VolumeMeasure
to the density represented by this proportion of mass and volume. For example, (
DensityFn
(
MeasureFn
3
Gram
) (
MeasureFn
1
Liter
)) represents the density of 3 grams per liter.
速率函数
Maps an instance of
LengthMeasure
and an instance of
TimeDuration
to the speed represented by this proportion of distance and time. For example, (
SpeedFn
(
MeasureFn
55
Mile
)(
MeasureFn
1
HourDuration
)) represents the velocity of 55 miles per hour.
Instances
抽象体
这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
二元函数
这是个需要两个参数的
Function
Class
。
实体
The universal class of individuals. This is the root node of the ontology.
函数
Function
是一个造词的
Relation
,它以最多一个元素 范围,把n元组的参数和这n元组有关的范围联系起来。注:范围是一个
SetOrClass
,而且范围内的每个元素是这个
SetOrClass
的一个实例。
可继承的关系
这是一个
Relation
类别,它的特性可以是 通过
subrelation
Predicate
把特性在类别的层次结构承传下去。
关系
这是关系的
Class
。现有三类的
Relation
:
Predicate
,
Function
和
List
。
Predicate
和
Function
皆表示有序的n元组集合, 这两个
Class
的差别在于
Predicate
包括组成公式的运算符,而
Function
则包括组成 术语的运算符,而一个
List
却是一个特定的有序n元组。
单值关系
一个
Relation
是
SingleValuedRelation
以确保除了最后一个参数之外,每一个参数的位置只有一个赋值,而最后的参数 顶多可以决定最后一个参数的位置。注:不是所有的
SingleValuedRelation
都是
TotalValuedRelation
。
三元关系
TernaryRelation
连接三个项目,
TernaryRelation
的两个
subclass
是
TernaryPredicate
和
BinaryFunction
。
总值关系
一个
Relation
是
TotalValuedRelation
以防该
Relation
最后参数位置出现一个赋值, 假设除了最后一个之外每个参数位置都 有一个赋值。注:声明一个
Relation
既是
TotalValuedRelation
又是
SingleValuedRelation
表示这是一个总函数。
Belongs to Class
实体
Show full definition (without tree view)
Show full 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