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
greaterThanOrEqualTo
Sigma KEE - greaterThanOrEqualTo
greaterThanOrEqualTo
appearance as argument number 1
(
documentation
greaterThanOrEqualTo
ChineseLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
多于或者等于 ?NUMBER2 的
Quantity
。")
chinese_format.kif 1735-1736
(
documentation
greaterThanOrEqualTo
EnglishLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is greater than or equal to the
Quantity
?NUMBER2.")
Merge.kif 1881-1883
(
documentation
greaterThanOrEqualTo
JapaneseLanguage
"(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1が
Quantity
?NUMBER2以上の場合に当てはまる。")
japanese_format.kif 343-344
(
domain
greaterThanOrEqualTo
1
RealNumber
)
Merge.kif 1877-1877
Il numero 1 argomenti di
greaterThanOrEqualTo
è un
istanza
di
NumeroReale
(
domain
greaterThanOrEqualTo
2
RealNumber
)
Merge.kif 1878-1878
Il numero 2 argomenti di
greaterThanOrEqualTo
è un
istanza
di
NumeroReale
(
instance
greaterThanOrEqualTo
BinaryPredicate
)
Merge.kif 1873-1873
greaterThanOrEqualTo
è un'
istanza
di
PredicatoBinario
(
instance
greaterThanOrEqualTo
PartialOrderingRelation
)
Merge.kif 1874-1874
greaterThanOrEqualTo
è un'
istanza
di
RelazioneDiOrdineParziale
(
instance
greaterThanOrEqualTo
RelationExtendedToQuantities
)
Merge.kif 1875-1875
greaterThanOrEqualTo
è un'
istanza
di
RelazioneEstesaAQuantit�
(
inverse
greaterThanOrEqualTo
lessThanOrEqualTo
)
Merge.kif 1879-1879
greaterThanOrEqualTo
è un
inverso
di
lessThanOrEqualTo
(
trichotomizingOn
greaterThanOrEqualTo
RealNumber
)
Merge.kif 1876-1876
greaterThanOrEqualTo
è
tricotomizzante
su
NumeroReale
appearance as argument number 2
(
format
ChineseLanguage
greaterThanOrEqualTo
"%1 %n 是
greaterThanOrEqualTo
%2")
chinese_format.kif 113-113
(
format
EnglishLanguage
greaterThanOrEqualTo
"%1 is %n greater than or equal to %2")
english_format.kif 113-113
(
format
FrenchLanguage
greaterThanOrEqualTo
"%1 est %n plus grand ou �gal � %2")
french_format.kif 78-78
(
format
ItalianLanguage
greaterThanOrEqualTo
"%1 è %n più grande di o uguale a %2")
relations-it.txt 122-122
(
format
JapaneseLanguage
greaterThanOrEqualTo
"%1 は %2 greater では %n")
japanese_format.kif 1905-1905
(
format
PortugueseLanguage
greaterThanOrEqualTo
"%1 e' %n maior ou igual a %2")
portuguese_format.kif 30-30
(
format
cz
greaterThanOrEqualTo
"%1 %p{je} %n{nen�} v�t�� ne� nebo roven %2")
relations-cz.txt 79-79
(
format
de
greaterThanOrEqualTo
"%1 ist groesserAlsOderGleich %2 %n{nicht}")
relations-de.txt 130-130
(
format
hi
greaterThanOrEqualTo
"%1 %2 se badaa yaa baraabara %n hai")
relations-hindi.txt 162-162
(
format
ro
greaterThanOrEqualTo
"%1 %n{nu} este greater%t{mai mare} sau egal decât %2")
relations-ro.kif 97-97
(
format
sv
greaterThanOrEqualTo
"%1 är %n{inte} större än eller lika med %2")
relations-sv.txt 77-77
(
format
tg
greaterThanOrEqualTo
"%1 %n ay mas malaki sa o pareho sa %2")
relations-tg.txt 250-250
(
termFormat
ChineseLanguage
greaterThanOrEqualTo
"大于或等于")
chinese_format.kif 114-114
(
termFormat
ChineseTraditionalLanguage
greaterThanOrEqualTo
"大於或等於")
domainEnglishFormat.kif 26537-26537
(
termFormat
EnglishLanguage
greaterThanOrEqualTo
"greater than or equal to")
domainEnglishFormat.kif 26536-26536
(
termFormat
de
greaterThanOrEqualTo
"groesserAlsOderGleich")
terms-de.txt 38-38
(
termFormat
tg
greaterThanOrEqualTo
"mas malaki sa o pareho sa")
relations-tg.txt 251-251
antecedent
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThanOrEqualTo
?S 2.5))
(
exists
(?PM25)
(
and
(
instance
?PM25
FineParticulateMatter
)
(
part
?PM25 ?PM))))
Geography.kif 7469-7479
Oggetto
è un'
istanza
di
ParticulateMatter
OggettoIntegro
è una
parte
di
Oggetto
approximateDiameter
OggettoIntegro
and
NumeroReale
Micrometer
(s
NumeroReale
è
pi
ù grande di o uguale a 2.5
Oggetto
25
Oggetto
25 è un'
istanza
di
FineParticulateMatter
Oggetto
25 è una
parte
di
Oggetto
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1885-1889
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
NumeroReale
is
uguale
a
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
ArableLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Vendere
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
bidPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Entit�
è un'
istanza
di
SostanzaPura
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
attribute
Entit�
and
Gas
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Bollire
Entit�
è un
paziente
di
Processo
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1316-1323
climateTypeInArea
AreaGeografica
and
TropicalClimateZone
Mese
è un'
istanza
di
Mese
averageRainfallForPeriod
AreaGeografica
,
Mese
and
NumeroReale
un
millesimo
di un
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 60.0
climateTypeInArea
AreaGeografica
and
WetTropicalClimateZone
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThanOrEqualTo
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanAdult
)))
Mid-level-ontology.kif 219-225
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di o uguale a 18
Entit�
è un'
istanza
di
HumanAdult
vales
durante
PosizioneTemporale
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
otherLandUseArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2165-2176
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2178-2196
otherLandUseArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
SuperficieTerrestre
AreaGeografica
è un'
istanza
di
ArableLand
AreaGeografica
è un'
istanza
di
PermanentCropLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
permanentCropLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2125-2136
permanentCropLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
permanentCropLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2138-2152
permanentCropLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
PermanentCropLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT))))
Government.kif 1176-1189
CompulsorySuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Processo
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
Umano
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
Government.kif 1120-1130
UniversalSuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
agent
consequent
(<=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
and
(
greaterThanOrEqualTo
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1926-1930
NumeroReale
è un'
istanza
di
NumeroRealeNonNegativo
NumeroReale
è
pi
ù grande di o uguale a 0
NumeroReale
è un'
istanza
di
NumeroReale
(=>
(
and
(
attribute
?H
Healthy
)
(
restingBreathingRate
?H ?R))
(
and
(
greaterThanOrEqualTo
?R 12)
(
greaterThanOrEqualTo
16 ?R)))
Medicine.kif 359-365
attribute
Mammifero
and
Healthy
restingBreathingRate
Mammifero
and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale a 12 16 è
pi
ù grande di o uguale a
NumeroIntero
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18743-18753
attribute
Posizione
and
CollegeJunior
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 2
NumeroReale
è
meno
di3
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18759-18769
attribute
Posizione
and
CollegeSenior
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 3
NumeroReale
è
meno
di4
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18775-18785
attribute
Posizione
and
CollegeSophomore
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
NumeroReale
student
Umano
and
Organizzazione
vales
durante
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 1
NumeroReale
è
meno
di2
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
Umano
è un
cittadino
di
Nazione
UniversalSuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
RegionalLawFn
Nazione
permette
a
Umano
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
Entit�
YearDuration
(s il
et
à di
Umano
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
Nazione
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Umano
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
climateTypeInArea
AreaGeografica
and
TemperateClimateZone
IntervalloTemporale
è un'
istanza
di
Mese
averageTemperatureForPeriod
AreaGeografica
,
IntervalloTemporale
and
NumeroReale
CelsiusDegree
(s
NumeroReale
è
pi
ù grande di o uguale a -3.0
(=>
(
and
(
equal
(
MinimalWeightedPathFn
?NODE1 ?NODE2) ?PATH)
(
equal
(
PathWeightFn
?PATH) ?NUMBER1)
(
instance
?PATH2
(
GraphPathFn
?NODE1 ?NODE2))
(
equal
(
PathWeightFn
?PATH2) ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1))
Merge.kif 6022-6028
Il
cammino
col minor costo tra
NodoDelGrafo
e
NodoDelGrafo
is
uguale
a
CamminoDelGrafo
il
valore
di
CamminoDelGrafo
is
uguale
a
NumeroReale
CamminoDelGrafo
2 è un'
istanza
di l'
insieme
di cammini tra
NodoDelGrafo
e
NodoDelGrafo
il
valore
di
CamminoDelGrafo
2 is
uguale
a
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
LongRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 2438
NumeroReale
è
minore
o uguale a 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
MediumLengthRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 1524
NumeroReale
è
minore
o uguale a 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
ShortRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 914
NumeroReale
è
minore
o uguale a 1523
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 917-925
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
PartlyCloudyWeather
eventLocated
Processo
and
Regione
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
pi
ù grande di o uguale a 0.3
NumeroRealeNonNegativo
è
minore
o uguale a 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 906-915
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
PartlyCloudyWeather
eventLocated
Processo
and
Regione
NumeroRealeNonNegativo
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
pi
ù grande di o uguale a 0.3
NumeroRealeNonNegativo
è
minore
o uguale a 0.7
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
equal
?CITIZENRY
(
CardinalityFn
(
CitizenryFn
?AREA)))
(
equal
?POPULATION
(
CardinalityFn
(
ResidentFn
?AREA))))
(
greaterThanOrEqualTo
?POPULATION ?CITIZENRY))
Mid-level-ontology.kif 8045-8052
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
NumeroIntero
is
uguale
a il numero di
istanzia
in
CitizenryFn
AreaGeopolitica
NumeroIntero
is
uguale
a il numero di
istanzia
in
ResidentFn
AreaGeopolitica
NumeroIntero
è
pi
ù grande di o uguale a
NumeroIntero
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
FinancialAccount
è un'
istanza
di
FinancialAccount
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
ScambioFinanziario
PuntoTemporale
and
NumeroReale
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
agreementEffectiveDate
FinancialAccount
and
PuntoTemporale
data
di
ScambioFinanziario
è
PuntoTemporale
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
DarkRoast
roastedToTemperature
Cibo
and
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 225
NumeroReale
è
minore
o uguale a 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
LightRoast
roastedToTemperature
Cibo
and
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 196
NumeroReale
è
minore
o uguale a 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
MediumRoast
roastedToTemperature
Cibo
and
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 210
NumeroReale
è
minore
o uguale a 219
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
Processo
è un'
istanza
di
Bollire
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Entit�
è un'
istanza
di
SostanzaPura
Entit�
è un
paziente
di
Processo
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
il
tempo
di esistenza di
Processo
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
instance
?C
CoffeeArabica
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.008)
(
lessThanOrEqualTo
?Z 0.014)))
Economy.kif 4645-4658
Oggetto
è un'
istanza
di
CoffeeArabica
la
misura
Oggetto
è
NumeroReale
Gram
(s
Oggetto
C è un'
istanza
di
Caffeine
Oggetto
C è una
parte
di
Oggetto
la
misura
Oggetto
C è
NumeroReale
Gram
(s
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 0.008
NumeroReale
è
minore
o uguale a 0.014
(=>
(
and
(
instance
?C
CoffeeRobusta
)
(
measure
?C
(
MeasureFn
?X
Gram
))
(
instance
?CC
Caffeine
)
(
part
?CC ?C)
(
measure
?CC
(
MeasureFn
?Y
Gram
))
(
equal
?Z
(
DivisionFn
?Y ?X)))
(
and
(
greaterThanOrEqualTo
?Z 0.017)
(
lessThanOrEqualTo
?Z 0.04)))
Economy.kif 4669-4682
Oggetto
è un'
istanza
di
CoffeeRobusta
la
misura
Oggetto
è
NumeroReale
Gram
(s
Oggetto
C è un'
istanza
di
Caffeine
Oggetto
C è una
parte
di
Oggetto
la
misura
Oggetto
C è
NumeroReale
Gram
(s
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 0.017
NumeroReale
è
minore
o uguale a 0.04
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Oggetto
è un'
istanza
di
Crystal
attribute
Oggetto
and
MonoCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
attribute
OggettoIntegro
and
Solid
attribute
OggettoIntegro
and
PolyCrystalline
OggettoIntegro
è un'
istanza
di
Sostanza
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
LNT
NumeroIntero
and
Oggetto
Oggetto
LNT è un'
istanza
di
InsiemeConcreto
memberCount
Oggetto
LNT and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale a 4
Oggetto
è un
membro
di
Oggetto
LNT
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
incontra
s
Oggetto
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
Oggetto
è un'
istanza
di
FlatWhite
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
MilkFoam
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
OggettoIntegro
è una
parte
di
Sostanza
OggettoIntegro
è una
parte
di
Sostanza
il
vertice
Sostanza
è
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Bubble
la
misura
OggettoIntegro
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.15
NumeroReale
è
pi
ù grande di o uguale a 1.0
NumeroReale
è
minore
o uguale a 20.0
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
Oggetto
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
CombustionChamber
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
Fuel
Entit�
è un'
istanza
di
UnitOfVolume
contains
Oggetto
and
Entit�
la
misura
Entit�
è
Entit�
Entit�
(s
attribute
Oggetto
and
EngineFlooded
vales
durante
PosizioneTemporale
Oggetto
ha
scopo
Entit�
2
Entit�
Entit�
2 è un'
istanza
di
Fuel
contains
Oggetto
and
Entit�
2 la
misura
Entit�
2 è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1003-1012
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
NumeroReale
YearDuration
(s il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
containsInformation
(
forall
(?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
UniversalSuffrageLaw
)
Government.kif 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT è un
cittadino
di ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s il
et
à di ?AGENT è ?AGE
YearDuration
(s ?AGE è
pi
ù grande di o uguale a ?VOTINGAGE ?ELECTION è un'
istanza
di
ElectionFn
?POLITY
?AGENT è
capace
di fare
VotingFn
?ELECTION nel ruolo
agent
contiene
s informazione
UniversalSuffrageLaw
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER è un
cittadino
di ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s il
et
à di ?VOTER è ?AGE
YearDuration
(s ?AGE è
pi
ù grande di o uguale a ?VOTINGAGE ?ELECTION è un'
istanza
di
ElectionFn
?POLITY
?VOTING ?VOTING è un'
istanza
di
VotingFn
?ELECTION ?VOTING è un
agente
di ?VOTER
contiene
s informazione
CompulsorySuffrageLaw
(
equal
(
AvailableForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 872-881
AvailableForMilitaryServiceMaleFn
AreaGeopolitica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
FitForMilitaryServiceMaleFn
AreaGeopolitica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
appearance as argument number 0
(
greaterThanOrEqualTo
(
CardinalityFn
TwelveApostles
) 11)
Media.kif 1965-1965
Il numero di
istanzia
in
TwelveApostles
è
pi
ù grande di o uguale a 11
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