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
SouthEasternAtlanticEnglishBasedCreoleLanguage
Sigma KEE - locatedAtTime
locatedAtTime
appearance as argument number 1
(
documentation
locatedAtTime
EnglishLanguage
"(
locatedAtTime
?OBJ ?TIME ?PLACE) means that during the time specified by ?TIME, ?OBJ was in the location specified by ?PLACE.")
Mid-level-ontology.kif 23355-23358
(
domain
locatedAtTime
1
Object
)
Mid-level-ontology.kif 23351-23351
Il numero 1 argomenti di
locatedAtTime
è un
istanza
di
Oggetto
(
domain
locatedAtTime
2
TimePosition
)
Mid-level-ontology.kif 23352-23352
Il numero 2 argomenti di
locatedAtTime
è un
istanza
di
PosizioneTemporale
(
domain
locatedAtTime
3
Object
)
Mid-level-ontology.kif 23353-23353
Il numero 3 argomenti di
locatedAtTime
è un
istanza
di
Oggetto
(
instance
locatedAtTime
TernaryPredicate
)
Mid-level-ontology.kif 23350-23350
locatedAtTime
è un'
istanza
di
PredicatoTernario
appearance as argument number 2
(
format
ChineseLanguage
locatedAtTime
"%1 %n{不} 对于 %3 在时间 %2
located
")
domainEnglishFormat.kif 1567-1567
(
format
ChineseTraditionalLanguage
locatedAtTime
"%1 %n{不} 對於 %3 在時間 %2
located
")
domainEnglishFormat.kif 1566-1566
(
format
EnglishLanguage
locatedAtTime
"%1 %n{doesn't}
located
at time %2 for %3")
domainEnglishFormat.kif 1565-1565
(
termFormat
ChineseLanguage
locatedAtTime
"位于时间")
domainEnglishFormat.kif 34865-34865
(
termFormat
ChineseTraditionalLanguage
locatedAtTime
"位於時間")
domainEnglishFormat.kif 34864-34864
(
termFormat
EnglishLanguage
locatedAtTime
"located at time")
domainEnglishFormat.kif 34863-34863
antecedent
(<=>
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
Mid-level-ontology.kif 23360-23362
locatedAtTime
Oggetto
,
PosizioneTemporale
and
Oggetto
Oggetto
è
localizzato
in
Oggetto
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?FOG
Fogging
)
(
eventLocated
?FOG ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
instance
?A
Aerosal
)
(
locatedAtTime
?A
(
WhenFn
?FOG) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?FOG)
(
MeasureFn
?VISIBILITY
Meter
)))
(
lessThan
?VISIBILITY 1000.0))
Weather.kif 2520-2533
Processo
è un'
istanza
di
Fogging
eventLocated
Processo
and
Regione
Regione
è un'
istanza
di
AreaGeografica
Oggetto
è un'
istanza
di
AtmosphericRegion
Oggetto
è
Above
a
Regione
Oggetto
è un'
istanza
di
Aerosal
locatedAtTime
Oggetto
, il
tempo
di esistenza di
Processo
and
Oggetto
visibilityInMeteorology
Regione
, il
tempo
di esistenza di
Processo
and
NumeroReale
Meter
(s
NumeroReale
è
meno
di1000.0
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2549-2563
Processo
è un'
istanza
di
AtmosphericHazing
eventLocated
Processo
and
Regione
Regione
è un'
istanza
di
AreaGeografica
Oggetto
è un'
istanza
di
AtmosphericRegion
Oggetto
è
Above
a
Regione
locatedAtTime
Oggetto
, il
tempo
di esistenza di
Processo
and
Oggetto
visibilityInMeteorology
Regione
, il
tempo
di esistenza di
Processo
and
NumeroReale
Kilometer
(s
NumeroReale
è
pi
ù grande di 2.0
NumeroReale
è
meno
di5.0
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22759-22763
locatedAtTime
InsiemeConcreto
,
PosizioneTemporale
and
Oggetto
memberAtTime
OggettoIntegro
,
InsiemeConcreto
and
PosizioneTemporale
locatedAtTime
OggettoIntegro
,
PosizioneTemporale
and
Oggetto
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23439-23443
locatedAtTime
Oggetto
,
PosizioneTemporale
and
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
locatedAtTime
Oggetto
,
PosizioneTemporale
and
AreaGeografica
consequent
(=>
(
and
(
locatedAtTime
?COLLECTION ?TIME ?PLACE)
(
memberAtTime
?OBJ ?COLLECTION ?TIME))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 22759-22763
locatedAtTime
InsiemeConcreto
,
PosizioneTemporale
and
Oggetto
memberAtTime
OggettoIntegro
,
InsiemeConcreto
and
PosizioneTemporale
locatedAtTime
OggettoIntegro
,
PosizioneTemporale
and
Oggetto
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23439-23443
locatedAtTime
Oggetto
,
PosizioneTemporale
and
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
locatedAtTime
Oggetto
,
PosizioneTemporale
and
AreaGeografica
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Mid-level-ontology.kif 23364-23369
playsRoleInEvent
Oggetto
,
RuoloSemantico
and
Processo
Processo
esistes
durante
PosizioneTemporale
eventLocated
Processo
and
Oggetto
locatedAtTime
Oggetto
,
PosizioneTemporale
and
Oggetto
(=>
(
dressCode
?CODE ?AGENT)
(
modalAttribute
(
exists
(?OUTFIT ?T)
(
and
(
instance
?OUTFIT
Outfit
)
(
subjectiveAttribute
?OUTFIT ?CODE ?AGENT)
(
holdsDuring
?T
(
forall
(?CUST ?ITEM)
(
and
(
customer
?CUST ?AGENT)
(
locatedAtTime
?CUST ?T ?AGENT)
(
member
?ITEM ?OUTFIT)
(
wears
?CUST ?ITEM))))))
Obligation
))
Dining.kif 492-505
dressCode
AmbienceAttribute
and
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Outfit
subjectiveAttribute
Entit�
,
AmbienceAttribute
and
AutonomousAgent
Entit�
Entit�
customer
Entit�
and
AutonomousAgent
locatedAtTime
Entit�
,
Entit�
and
AutonomousAgent
Entit�
è un
membro
di
Entit�
wears
Entit�
and
Entit�
vales
durante
Entit�
ha il modello di forza di
Obligation
(=>
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE)
(
locatedAtTime
?OBJ ?TIME ?PLACE))
Justice.kif 47-49
observedAtTimeInPlace
Oggetto
,
AutonomousAgent
,
PosizioneTemporale
and
Oggetto
locatedAtTime
Oggetto
,
PosizioneTemporale
and
Oggetto
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