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
constructionPeriod
Sigma KEE - constructionPeriod
constructionPeriod
appearance as argument number 1
(
documentation
constructionPeriod
EnglishLanguage
"(constructionPeriod ?OBJECT ?INTERVAL) means that some
StationaryArtifact
?OBJECT was built over
TimeInterval
?INTERVAL")
Mid-level-ontology.kif 20804-20805
(
domain
constructionPeriod
1
StationaryArtifact
)
Mid-level-ontology.kif 20802-20802
constructionPeriod
の数値 1 引数は
固定アーチファクト
の
instance
では %n
(
domain
constructionPeriod
2
TimeInterval
)
Mid-level-ontology.kif 20803-20803
constructionPeriod
の数値 2 引数は
時間間隔
の
instance
では %n
(
instance
constructionPeriod
BinaryPredicate
)
Mid-level-ontology.kif 20801-20801
constructionPeriod
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
constructionPeriod
"%1 是在期间 %2 built ")
domainEnglishFormat.kif 3078-3078
(
format
ChineseTraditionalLanguage
constructionPeriod
"%1 是在期間 %2 built ")
domainEnglishFormat.kif 3077-3077
(
format
EnglishLanguage
constructionPeriod
"%1 was built
during
%2")
domainEnglishFormat.kif 3076-3076
(
termFormat
EnglishLanguage
constructionPeriod
"construction period")
Mid-level-ontology.kif 20806-20806
antecedent
(=>
(
constructionPeriod
?OBJECT ?INTERVAL)
(
holdsDuring
?INTERVAL
(
exists
(?CONSTRUCTING)
(
and
(
instance
?CONSTRUCTING
Constructing
)
(
result
?CONSTRUCTING ?OBJECT)))))
Mid-level-ontology.kif 20808-20814
constructionPeriod
固定アーチファクト
and
時間間隔
エンティティー
エンティティー
は
構築
の
instance
では %n
固定アーチファクト
は
エンティティー
の
result
では %n は
時間間隔
の
during
holds %n{ない}
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