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 20831-20832
(
domain
constructionPeriod
1
StationaryArtifact
)
Mid-level-ontology.kif 20829-20829
(
domain
constructionPeriod
2
TimeInterval
)
Mid-level-ontology.kif 20830-20830
(
instance
constructionPeriod
BinaryPredicate
)
Mid-level-ontology.kif 20828-20828
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 20833-20833
antecedent
(=>
(
constructionPeriod
?OBJECT ?INTERVAL)
(
holdsDuring
?INTERVAL
(
exists
(?CONSTRUCTING)
(
and
(
instance
?CONSTRUCTING
Constructing
)
(
result
?CONSTRUCTING ?OBJECT)))))
Mid-level-ontology.kif 20835-20841
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