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
Il numero 1 argomenti di
constructionPeriod
è un
istanza
di
ManufattoStatico
(
domain
constructionPeriod
2
TimeInterval
)
Mid-level-ontology.kif 20802-20802
Il numero 2 argomenti di
constructionPeriod
è un
istanza
di
IntervalloTemporale
(
instance
constructionPeriod
BinaryPredicate
)
Mid-level-ontology.kif 20800-20800
constructionPeriod
è un'
istanza
di
PredicatoBinario
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
ManufattoStatico
and
IntervalloTemporale
Entit�
Entit�
è un'
istanza
di
Costruzione
ManufattoStatico
è un
risultato
di
Entit�
vales
durante
IntervalloTemporale
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