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 20803-20804
(
domain
constructionPeriod
1
StationaryArtifact
)
Mid-level-ontology.kif 20801-20801
Le nombre 1 argument de
constructionPeriod
est une
instance
de
artefact stationnaire
(
domain
constructionPeriod
2
TimeInterval
)
Mid-level-ontology.kif 20802-20802
Le nombre 2 argument de
constructionPeriod
est une
instance
de
interval temporel
(
instance
constructionPeriod
BinaryPredicate
)
Mid-level-ontology.kif 20800-20800
constructionPeriod
est une
instance
de
pr�dicat binaire
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 20805-20805
antecedent
(=>
(
constructionPeriod
?OBJECT ?INTERVAL)
(
holdsDuring
?INTERVAL
(
exists
(?CONSTRUCTING)
(
and
(
instance
?CONSTRUCTING
Constructing
)
(
result
?CONSTRUCTING ?OBJECT)))))
Mid-level-ontology.kif 20807-20813
constructionPeriod
artefact stationnaire
and
interval temporel
entit�
entit�
est une
instance
de
construire
artefact stationnaire
est le
resultat
de
entit�
pendant
interval temporel
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