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
property
YuksekovaTurkey
Sigma KEE - property
property
appearance as argument number 1
(
documentation
property
ChineseLanguage
"这个
Predicate
在
Entity
的实例和
Attribute
的 实例成立。(
property
?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的
Attribute
。")
chinese_format.kif 1712-1713
(
documentation
property
EnglishLanguage
"This
Predicate
holds between an instance of
Entity
and an instance of
Attribute
. (
property
?ENTITY ?ATTR) means that ?ENTITY has the
Attribute
?ATTR.")
Merge.kif 1711-1713
(
documentation
property
JapaneseLanguage
"この
Predicate
は、E と A のインスタンスの間に 保持される。(
property
?ENTITY ?ATTR) とは、?ENTITY が
Attribute
?ATTR を有する、という 意味である。")
japanese_format.kif 315-317
(
domain
property
1
Entity
)
Merge.kif 1708-1708
Il numero 1 argomenti di
property
è un
istanza
di
Entit�
(
domain
property
2
Attribute
)
Merge.kif 1709-1709
Il numero 2 argomenti di
property
è un
istanza
di
Attributo
(
instance
property
BinaryPredicate
)
Merge.kif 1707-1707
property
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
property
"%1 %n 有 %2 的
attribute
")
chinese_format.kif 177-177
(
format
EnglishLanguage
property
"%1 %n{does not have} the
attribute
%2")
english_format.kif 178-178
(
format
FrenchLanguage
property
"%1 a %n un
attribute
%2")
french_format.kif 108-108
(
format
ItalianLanguage
property
"%1 ha %n un attributo %2")
relations-it.txt 235-235
(
format
JapaneseLanguage
property
"%1 には
attribute
%2 %n{ない}")
japanese_format.kif 1937-1937
(
format
PortugueseLanguage
property
"%1 tem %n um atributo de %2")
portuguese_format.kif 60-60
(
format
cz
property
"%1 %n{ne}m� atribut %2")
relations-cz.txt 72-72
(
format
de
property
"%1 hat ein attribut %2 %n{nicht}")
relations-de.txt 223-223
(
format
hi
property
"%2 %1 kii eka visheshhataa %n hai")
relations-hindi.txt 273-273
(
format
ro
property
"%1 %n{nu} are
attribute
%t{atributul} %2")
relations-ro.kif 127-127
(
format
sv
property
"%1 har %n{inte} egenskapen %2")
relations-sv.txt 113-113
(
format
tg
property
"%1 %n mayroon ay ang katangian ng %2")
relations-tg.txt 427-427
(
subrelation
abstractionLevel
property
)
QoSontology.kif 1617-1617
abstractionLevel
è una
sottorelazione
di
property
(
subrelation
attribute
property
)
Merge.kif 1719-1719
attribute
è una
sottorelazione
di
property
(
subrelation
complexity
property
)
QoSontology.kif 1514-1514
complexity
è una
sottorelazione
di
property
(
subrelation
designPattern
property
)
QoSontology.kif 1373-1373
designPattern
è una
sottorelazione
di
property
(
subrelation
environmentAttributes
property
)
QoSontology.kif 459-459
environmentAttributes
è una
sottorelazione
di
property
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1470-1470
formOfAdaptation
è una
sottorelazione
di
property
(
subrelation
manner
property
)
Merge.kif 1731-1731
manner
è una
sottorelazione
di
property
(
subrelation
modalAttribute
property
)
Merge.kif 17301-17301
modalAttribute
è una
sottorelazione
di
property
(
subrelation
shape
property
)
Mid-level-ontology.kif 25575-25575
shape
è una
sottorelazione
di
property
(
subrelation
status
property
)
QoSontology.kif 796-796
status
è una
sottorelazione
di
property
(
subrelation
strictness
property
)
QoSontology.kif 1553-1553
strictness
è una
sottorelazione
di
property
(
subrelation
systemBehavior
property
)
QoSontology.kif 1342-1342
systemBehavior
è una
sottorelazione
di
property
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(<=>
(
and
(
instance
?X
Region
)
(
holdsDuring
?T
(
property
?X
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
and
(
airTemperature
?X
(
MeasureFn
298.15
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
29.530
InchMercury
)))))
Weather.kif 2680-2690
Entit�
è un'
istanza
di
Regione
Entit�
ha un
attributo
StandardAmbientTemperaturePressure
vales
durante
PosizioneTemporale
airTemperature
Entit�
and 298.15
KelvinDegree
(s
barometricPressure
Entit�
and 29.530
InchMercury
(s vales
durante
PosizioneTemporale
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
@ROW è
opposto
a
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
NumeroInteroPositivo
is
uguale
a
NumeroInteroPositivo
Entit�
ha un
attributo
Attributo
Entit�
ha un
attributo
Attributo
(=>
(
and
(
instance
?ATTR
SpeedScaleAttribute
)
(
property
?X ?ATTR))
(
instance
?X
Motion
))
Weather.kif 2056-2060
Attributo
è un'
istanza
di
SpeedScaleAttribute
Entit�
ha un
attributo
Attributo
Entit�
è un'
istanza
di
Movimento
(=>
(
and
(
instance
?BN
BeaufortNumberAttribute
)
(
property
?X ?BN))
(
instance
?X
Wind
))
Weather.kif 343-347
Attributo
è un'
istanza
di
BeaufortNumberAttribute
Entit�
ha un
attributo
Attributo
Entit�
è un'
istanza
di
Wind
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
è un'
istanza
di
ContractDocument
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
ha un
attributo
Contract
Proposizione
ha un
attributo
Law
(=>
(
and
(
instance
?EF
EFScaleAttribute
)
(
property
?T ?EF))
(
instance
?T
Tornado
))
Weather.kif 2090-2094
Attributo
è un'
istanza
di
EFScaleAttribute
Entit�
ha un
attributo
Attributo
Entit�
è un'
istanza
di
Tornado
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
CallOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Buy)
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2754-2766
Processo
è un'
istanza
di
ExerciseAnOption
Agreement
è un
paziente
di
Processo
Agreement
ha un
attributo
CallOption
Processo
esistes
durante
PosizioneTemporale
underlier
Agreement
and
FinancialInstrument
Processo
Processo
è un'
istanza
di
Acquistare
FinancialInstrument
è un
paziente
di
Processo
Processo
esistes
durante
PosizioneTemporale
la
misura
FinancialInstrument
è 100
ShareUnit
(s
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
PutOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Sell)
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2768-2780
Processo
è un'
istanza
di
ExerciseAnOption
Agreement
è un
paziente
di
Processo
Agreement
ha un
attributo
PutOption
Processo
esistes
durante
PosizioneTemporale
underlier
Agreement
and
FinancialInstrument
Processo
Processo
è un'
istanza
di
Vendere
FinancialInstrument
è un
paziente
di
Processo
Processo
esistes
durante
PosizioneTemporale
la
misura
FinancialInstrument
è 100
ShareUnit
(s
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2443-2457
Processo
è un'
istanza
di
Hurricane
Entit�
è un'
istanza
di
SSHWS5
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
Entit�
NumeroReale
NumeroReale
è
pi
ù grande di 157.0
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
Mean1MinuteWindSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
Processo
è un'
istanza
di
Hurricane
SpeedScaleAttribute
è un'
istanza
di
SSHWSAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
NumeroReale
Unit�DiMisura
(s is
uguale
a
Mean1MinuteWindSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?O
OccupationalRole
)
(
property
?X ?O))
(
instance
?X
CognitiveAgent
))
Mid-level-ontology.kif 22248-22252
Attributo
è un'
istanza
di
Occupazione
Entit�
ha un
attributo
Attributo
Entit�
è un'
istanza
di
AgenteCognitivo
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 241-246
Entit�
è un'
istanza
di
Entit�Organica
Entit�
è un'
istanza
di
AttributoEvolutivo
Entit�
ha un
attributo
Entit�
vales
durante
PosizioneTemporale
la
forma
evolutiva
di
Entit�
è
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
Entit�
è un'
istanza
di
ComputerPath
Entit�
ha un
attributo
ContinuousPath
Entit�
ha un
attributo
QuasicontinuousPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
Entit�
è un'
istanza
di
ComputerPath
Entit�
ha un
attributo
ContinuousPath
Entit�
ha un
attributo
TransientPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
Entit�
è un'
istanza
di
ComputerPath
Entit�
ha un
attributo
DynamicDataStream
Entit�
ha un
attributo
DeterministicDataStream
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
Entit�
è un'
istanza
di
ComputerPath
Entit�
ha un
attributo
DynamicDataStream
Entit�
ha un
attributo
StochasticDataStream
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
BroadGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThan
?WIDTH 1.44))
Transportation.kif 403-409
Railway
è un'
istanza
di
Railway
Railway
ha un
attributo
BroadGauge
trackWidth
Railway
and
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di 1.44
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
Railway
è un'
istanza
di
Railway
Railway
ha un
attributo
NarrowGauge
trackWidth
Railway
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
Railway
è un'
istanza
di
Railway
Railway
ha un
attributo
StandardGauge
trackWidth
Railway
and
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Railway
è un'
istanza
di
Railway
Railway
ha un
attributo
StandardGauge
trackWidth
Railway
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a 1.44
(=>
(
and
(
instance
?SS
SSHWSAttribute
)
(
property
?H ?SS))
(
instance
?H
Hurricane
))
Weather.kif 2359-2363
Attributo
è un'
istanza
di
SSHWSAttribute
Entit�
ha un
attributo
Attributo
Entit�
è un'
istanza
di
Hurricane
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2191-2205
Processo
è un'
istanza
di
Tornado
Entit�
è un'
istanza
di
EF5
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
Entit�
NumeroReale
NumeroReale
è
pi
ù grande di 200.0
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
ThreeSecondGustSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
Processo
è un'
istanza
di
Tornado
SpeedScaleAttribute
è un'
istanza
di
EFScaleAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
MilesPerHour
(s and
NumeroReale
MilesPerHour
(s
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
NumeroReale
MilesPerHour
(s is
uguale
a
ThreeSecondGustSpeedFn
Oggetto
and il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumber12
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN)))
(
exists
(?SPEED)
(
and
(
greaterThan
?SPEED 73.0)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED
MilesPerHour
))))))
Weather.kif 484-496
Processo
è un'
istanza
di
Wind
Entit�
è un'
istanza
di
BeaufortNumber12
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
Entit�
NumeroReale
NumeroReale
è
pi
ù grande di 73.0
AgenteCognitivo
crede
s
surfaceWindSpeed
Oggetto
and
NumeroReale
MilesPerHour
(s
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
Processo
è un'
istanza
di
Wind
SpeedScaleAttribute
è un'
istanza
di
BeaufortNumberAttribute
eventLocated
Processo
and
Oggetto
AgenteCognitivo
crede
s
Processo
ha un
attributo
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
AgenteCognitivo
crede
s
surfaceWindSpeed
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
Agreement
impiega
s
Agreement
AgenteCognitivo
AgenteCognitivo
ha un
attributo
Employment
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 989-992
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
ProgrammaDiComputer
ha un
attributo
Executable
(<=>
(
instance
?RR
BroadGaugeRailway
)
(
property
?RR
BroadGauge
))
Transportation.kif 411-413
Entit�
è un'
istanza
di
BroadGaugeRailway
Entit�
ha un
attributo
BroadGauge
(<=>
(
instance
?RR
DualGaugeRailway
)
(
property
?RR
DualGauge
))
Transportation.kif 469-471
Entit�
è un'
istanza
di
DualGaugeRailway
Entit�
ha un
attributo
DualGauge
(<=>
(
instance
?RR
NarrowGaugeRailway
)
(
property
?RR
NarrowGauge
))
Transportation.kif 460-462
Entit�
è un'
istanza
di
NarrowGaugeRailway
Entit�
ha un
attributo
NarrowGauge
(<=>
(
instance
?RR
StandardGaugeRailway
)
(
property
?RR
StandardGauge
))
Transportation.kif 443-445
Entit�
è un'
istanza
di
StandardGaugeRailway
Entit�
ha un
attributo
StandardGauge
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14055-14058
agreementExpirationDate
Agreement
and
PuntoTemporale
Agreement
ha un
attributo
ActiveAgreement
vales
durante
dopo
PuntoTemporale
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
agreementPeriod
Agreement
and
IntervalloTemporale
agreementEffectiveDate
Agreement
and
PuntoTemporale
Agreement
ha un
attributo
ActiveAgreement
vales
durante
TimePeriodFn
PuntoTemporale
and
IntervalloTemporale
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17332-17345
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
AttributoSoggettivo
PosizioneTemporale
Processo
and
AutonomousAgent
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
Attributo
è un
risultato
di
Processo
AutonomousAgent
crede
s
Oggetto
ha un
attributo
Attributo
vales
durante
PosizioneTemporale
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
@ROW è
opposto
a
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
NumeroInteroPositivo
is
uguale
a
NumeroInteroPositivo
Entit�
ha un
attributo
Attributo
Entit�
ha un
attributo
Attributo
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1162-1171
FinancialAccount
è un'
istanza
di
LiabilityAccount
accountHolder
FinancialAccount
and
Agreement
accountAt
FinancialAccount
and
Agreement
AgenteCognitivo
AgenteCognitivo
ha un
attributo
Liability
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
è un'
istanza
di
ContractDocument
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
ha un
attributo
Contract
Proposizione
ha un
attributo
Law
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
Entit�
è un'
istanza
di
ComputerPath
Entit�
ha un
attributo
ContinuousPath
Entit�
ha un
attributo
QuasicontinuousPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
Entit�
è un'
istanza
di
ComputerPath
Entit�
ha un
attributo
ContinuousPath
Entit�
ha un
attributo
TransientPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
Entit�
è un'
istanza
di
ComputerPath
Entit�
ha un
attributo
DynamicDataStream
Entit�
ha un
attributo
DeterministicDataStream
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
Entit�
è un'
istanza
di
ComputerPath
Entit�
ha un
attributo
DynamicDataStream
Entit�
ha un
attributo
StochasticDataStream
(=>
(
and
(
instance
?SAMPLE_COLL
Collection
)
(
instance
?POP_COLL
Collection
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
CognitiveAgent
)
(
agent
?EXPERIMENT ?AGENT)
(
statisticalPopulation
?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
(
forall
(?ATTRIBUTE)
(=>
(
and
(
instance
?ATTRIBUTE
Attribute
)
(
property
?SAMPLE_COLL ?ATTRIBUTE)
(
inScopeOfInterest
?AGENT ?ATTRIBUTE)
(
not
(
equal
?ATTRIBUTE
RepresentativeSample
)))
(
property
?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 501-517
Entit�
_COLL è un'
istanza
di
InsiemeConcreto
Entit�
_COLL è un'
istanza
di
InsiemeConcreto
Experimenting
è un'
istanza
di
Experimenting
AgenteCognitivo
è un'
istanza
di
AgenteCognitivo
Experimenting
è un
agente
di
AgenteCognitivo
statisticalPopulation
Entit�
_COLL,
Entit�
_COLL and
Experimenting
Attributo
Attributo
è un'
istanza
di
Attributo
Entit�
_COLL ha un
attributo
Attributo
AgenteCognitivo
è
interessato
a
Attributo
Attributo
is
uguale
a
RepresentativeSample
Entit�
_COLL ha un
attributo
Attributo
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
Agreement
ha un
attributo
StockOption
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
ha un
attributo
CommonStock
(=>
(
and
(
speedScaleAttributeMinMax
?ATTR
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?X ?SPEED)
(
and
(
instance
?X
Motion
)
(
property
?X ?ATTR)
(
measure
?X
(
MeasureFn
?SPEED ?U))
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX))))
Weather.kif 2130-2143
speedScaleAttributeMinMax
SpeedScaleAttribute
,
NumeroReale
Unit�DiMisura
(s and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
Entit�Concreta
NumeroReale
Entit�Concreta
è un'
istanza
di
Movimento
Entit�Concreta
ha un
attributo
SpeedScaleAttribute
la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
contractor
?BUILDING ?CONTRACTOR)
(
exists
(?CONTRACT ?AGENT)
(
and
(
property
?CONTRACT
Contract
)
(
partyToAgreement
?AGENT ?CONTRACT)
(
partyToAgreement
?CONTRACTOR ?CONTRACT)
(
confersObligation
(
exists
(?CONSTRUCT ?BUILDING2)
(
and
(
instance
?CONSTRUCT
Constructing
)
(
agent
?CONSTRUCT ?CONTRACTOR)
(
result
?CONSTRUCT ?BUILDING2)
(
instance
?BUILDING2
StationaryArtifact
))) ?AGENT ?CONTRACTOR))))
Mid-level-ontology.kif 20823-20836
contractor
ManufattoStatico
and
AgenteCognitivo
Agreement
AgenteCognitivo
Agreement
ha un
attributo
Contract
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
AgenteCognitivo
obbliga
AgenteCognitivo
a compiere il compito di tipo
Entit�
ManufattoStatico
Entit�
è un'
istanza
di
Costruzione
Entit�
è un
agente
di
AgenteCognitivo
ManufattoStatico
è un
risultato
di
Entit�
ManufattoStatico
è un'
istanza
di
ManufattoStatico
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1214-1218
dataStreamSlack
ComputerPath
and
NumeroInteroPositivo
ComputerPath
ha un
attributo
ContinuousPath
ComputerPath
ha un
attributo
QuasicontinuousPath
(=>
(
equal
?ATTR1 ?ATTR2)
(
forall
(?THING)
(<=>
(
property
?THING ?ATTR1)
(
property
?THING ?ATTR2))))
Merge.kif 267-272
Attributo
is
uguale
a
Attributo
Entit�
Entit�
ha un
attributo
Attributo
Entit�
ha un
attributo
Attributo
(=>
(
equal
?THING1 ?THING2)
(
forall
(?ATTR)
(<=>
(
property
?THING1 ?ATTR)
(
property
?THING2 ?ATTR))))
Merge.kif 260-265
Entit�
is
uguale
a
Entit�
Attributo
Entit�
ha un
attributo
Attributo
Entit�
ha un
attributo
Attributo
(=>
(
instance
?A
Aqiqah
)
(
exists
(?AGENT)
(
and
(
agent
?A ?AGENT)
(
property
?A
Muslim
))))
ArabicCulture.kif 326-331
Processo
è un'
istanza
di
Aqiqah
Processo
GENT
Processo
è un
agente
di
Processo
GENT
Processo
ha un
attributo
Muslim
(=>
(
instance
?Account
FinancialAccount
)
(
and
(
property
?Account
FinancialContract
)
(
property
?Account
ServiceContract
)))
FinancialOntology.kif 63-67
Entit�
è un'
istanza
di
FinancialAccount
Entit�
ha un
attributo
FinancialContract
Entit�
ha un
attributo
ServiceContract
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
property
Cheetah
VulnerableSpecies
)
Mid-level-ontology.kif 30567-30567
Cheetah
ha un
attributo
VulnerableSpecies
(
property
Crocodile
LeastConcernSpecies
)
Mid-level-ontology.kif 30543-30543
Crocodile
ha un
attributo
LeastConcernSpecies
(
property
Ferret
LeastConcernSpecies
)
Mid-level-ontology.kif 30584-30584
Ferret
ha un
attributo
LeastConcernSpecies
(
property
GuineaPig
LeastConcernSpecies
)
Mid-level-ontology.kif 30602-30602
GuineaPig
ha un
attributo
LeastConcernSpecies
(
property
Hamster
LeastConcernSpecies
)
Mid-level-ontology.kif 30614-30614
Hamster
ha un
attributo
LeastConcernSpecies
(
property
Lemur
CriticallyEndangeredSpecies
)
Mid-level-ontology.kif 30473-30473
Lemur
ha un
attributo
CriticallyEndangeredSpecies
(
property
Lion
VulnerableSpecies
)
Mid-level-ontology.kif 30374-30374
Lion
ha un
attributo
VulnerableSpecies
(
property
Octopus
LeastConcernSpecies
)
Mid-level-ontology.kif 30503-30503
Octopus
ha un
attributo
LeastConcernSpecies
(
property
Panda
VulnerableSpecies
)
Mid-level-ontology.kif 30490-30490
Panda
ha un
attributo
VulnerableSpecies
(
property
Parrot
LeastConcernSpecies
)
Mid-level-ontology.kif 30456-30456
Parrot
ha un
attributo
LeastConcernSpecies
(
property
Reindeer
VulnerableSpecies
)
Mid-level-ontology.kif 30525-30525
Reindeer
ha un
attributo
VulnerableSpecies
(
property
Rhinoceros
EndangeredSpecies
)
Mid-level-ontology.kif 30433-30433
Rhinoceros
ha un
attributo
EndangeredSpecies
(
property
Tiger
EndangeredSpecies
)
Mid-level-ontology.kif 30413-30413
Tiger
ha un
attributo
EndangeredSpecies
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