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
Tiger
Sigma KEE - weddingAnniversary
weddingAnniversary
appearance as argument number 1
(
documentation
weddingAnniversary
EnglishLanguage
"(weddingAnniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the
anniversary
of their
weddingdate
.")
Mid-level-ontology.kif 24244-24245
(
domain
weddingAnniversary
1
Physical
)
Mid-level-ontology.kif 24248-24248
域
weddingAnniversary
, 1 and
Physical
(
domainSubclass
weddingAnniversary
2
Day
)
Mid-level-ontology.kif 24249-24249
域子類
weddingAnniversary
, 2 and
Day
(
instance
weddingAnniversary
BinaryPredicate
)
Mid-level-ontology.kif 24246-24246
例
weddingAnniversary
and
BinaryPredicate
(
instance
weddingAnniversary
TemporalRelation
)
Mid-level-ontology.kif 24247-24247
例
weddingAnniversary
and
TemporalRelation
(
subrelation
weddingAnniversary
anniversary
)
Mid-level-ontology.kif 24250-24250
子關係
weddingAnniversary
and
週年
consequent
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24252-24263
例
Physical
and
婚禮
日期
Physical
and
Day
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
weddingAnniversary
Physical
and
Day
子類
Day
and
Day
例
Integer
and
Integer
等於
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
Integer
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