MeasureFn
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
currentAccountBalance
FinancialAccount
,
Giorno
and
NumeroReale
UnitedStatesDollar
(s
NumeroReale
è
meno
di0
NumeroReale
is
uguale
a (0 +
NumeroReale
overdraft
FinancialAccount
,
NumeroReale
UnitedStatesDollar
(s and
Giorno
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13536-13545
defaultMaximumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
pi
ù grande di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
defaultMaximumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Classe
è una
sottoclasse
di
NonCompositeUnitOfMeasure
Unit�DiMisura
è un'
istanza
di
Classe
l'affermazione
Entit�
NumeroReale
UANTITY and
Entit�
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Entit�
(s
Entit�
è un'
istanza
di
Classe
NumeroReale
UANTITY
Entit�
(s è
pi
ù grande di
NumeroReale
Unit�DiMisura
(s ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13486-13497
defaultMaximumSphereRadius
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
Sphere
l'affermazione
NumeroReale
ADIUS
sphereRadius
Oggetto
and
NumeroReale
ADIUS
Unit�DiMisura
(s
NumeroReale
ADIUS è
pi
ù grande di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13566-13575
defaultMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
pi
ù grande di
NumeroReale
+ 1.5 ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13577-13586
defaultMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
meno
di
NumeroReale
+ .5 ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
defaultMinimumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
defaultMinimumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Classe
è una
sottoclasse
di
NonCompositeUnitOfMeasure
Unit�DiMisura
è un'
istanza
di
Classe
l'affermazione
Entit�
NumeroReale
UANTITY and
Entit�
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Entit�
(s
Entit�
è un'
istanza
di
Classe
NumeroReale
UANTITY è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
defaultMinimumSphereRadius
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
Sphere
l'affermazione
NumeroReale
ADIUS
sphereRadius
Oggetto
and
NumeroReale
ADIUS
Unit�DiMisura
(s
NumeroReale
ADIUS è
meno
di
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
and
(
downPayment
?Loan
(
MeasureFn
?Amount ?CUNIT))
(
loanForPurchase
?Loan ?Purchase)
(
monetaryValue
?Purchase
(
MeasureFn
?Value ?CUNIT))
(
equal
?Balance
(
SubtractionFn
?Value ?Amount)))
(
originalBalance
?Loan
(
MeasureFn
?Balance ?CUNIT)))
FinancialOntology.kif 818-828
downPayment
Loan
and
NumeroReale
Unit�DiMisura
(s
loanForPurchase
Loan
and
Oggetto
valore
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
originalBalance
Loan
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
elevation
?OBJECT
(
MeasureFn
?NUM ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
instance
?OBJECT
LandForm
))
(
exists
(?HIGHPOINT)
(
and
(
top
?HIGHPOINT ?OBJECT)
(
distance
?HIGHPOINT
SeaLevel
(
MeasureFn
?NUM ?UNIT)))))
Geography.kif 1922-1930
elevation
OggettoIntegro
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
OggettoIntegro
è un'
istanza
di
LandForm
OggettoIntegro
il
vertice
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
SeaLevel
è
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?QLIST))
(
equal
?QUANT
(
ListOrderFn
?QLIST ?N))
(
equal
?NUM
(
ListOrderFn
?NLIST ?N)))
(
equal
(
MeasureFn
?NUM ?UNIT) ?QUANT))
Weather.kif 1838-1845
NumberList
is
uguale
a
PhysicalQuantityToNumberFn
MeasuringResultList
Quantit�Fisica
is
uguale
a
Entit�
elemento
di
MeasuringResultList
NumeroReale
is
uguale
a
Entit�
elemento
di
NumberList
NumeroReale
Unit�DiMisura
(s is
uguale
a
Quantit�Fisica
(=>
(
and
(
equal
?SPEEDLIST
(
Mean3SecondWindSpeedListFn
?PLACE ?TIME))
(
inList
?SPEED ?SPEEDLIST))
(
exists
(?TIMELIST ?INT)
(
and
(
equal
?TIMELIST
(
TimeIntervalListFn
?TIME
(
MeasureFn
3
SecondDuration
)))
(
inList
?INT ?TIMELIST)
(
equal
?SPEED
(
Mean3SecondWindSpeedFn
?PLACE ?INT)))))
Weather.kif 2005-2017
Lista
is
uguale
a
Mean3SecondWindSpeedListFn
AreaGeografica
and
IntervalloTemporale
FunzioneDiQuantit�
è un
Lista
IntervalloTemporale
LIST
IntervalloTemporale
IntervalloTemporale
LIST is
uguale
a
TimeIntervalListFn
IntervalloTemporale
and 3
SecondDuration
(s
IntervalloTemporale
è un
IntervalloTemporale
LIST
FunzioneDiQuantit�
is
uguale
a
Mean3SecondWindSpeedFn
AreaGeografica
and
IntervalloTemporale
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
fine
s in
AgenteCognitivo
Oggetto
è un'
istanza
di
Entit�Concreta
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Oggetto
è un'
istanza
di
Processo
Oggetto
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Oggetto
price
Oggetto
, 0
UnitedStatesDollar
(s and
AutonomousAgent
(=>
(
and
(
freePropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 546-561
freePropertyAmenity
AutonomousAgent
and
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AutonomousAgent
possiede
es
Processo
Processo
è un'
istanza
di
Oggetto
AgenteCognitivo
usa
Processo
price
Processo
, 0
UnitedStatesDollar
(s and
AutonomousAgent
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
localizzato
in
TemporaryResidence
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
Umano
Oggetto
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
price
Oggetto
, 0
UnitedStatesDollar
(s and
Umano
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
price
Processo
, 0.0
UnitedStatesDollar
(s and
Umano
(=>
(
and
(
graphMeasure
?G ?M)
(
instance
?AN
GraphNode
)
(
graphPart
?AN ?G)
(
graphPart
?AA ?G)
(
instance
?AA
GraphArc
)
(
abstractCounterpart
?AN ?PN)
(
abstractCounterpart
?AA ?PA)
(
arcWeight
?AA ?N))
(
measure
?PA
(
MeasureFn
?N ?M)))
Merge.kif 6165-6176
graphMeasure
Grafo
and
Unit�DiMisura
ElementoDelGrafo
è un'
istanza
di
NodoDelGrafo
ElementoDelGrafo
è una
parte
di
Grafo
arco del grafo
è una
parte
di
Grafo
arco del grafo
è un'
istanza
di
arco del grafo
abstractCounterpart
ElementoDelGrafo
and
Entit�Concreta
abstractCounterpart
arco del grafo
and
Entit�Concreta
il
valore
di
arco del grafo
è
NumeroReale
la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
attribute
Entit�
and
Entit�
vales
durante
IntervalloTemporale
Entit�
è un'
istanza
di
ChronicDisease
durata
di
IntervalloTemporale
è
NumeroReale
NumeroReale
è
pi
ù grande di 3
MonthDuration
(s
(=>
(
and
(
immediateInstance
?BIG ?CLASS)
(
immediateInstance
?NORMAL ?CLASS)
(
attribute
?BIG
Oversized
))
(
exists
(?BIGSIZE ?NORMALSIZE ?U)
(
and
(
instance
?U
UnitOfMeasure
)
(
measure
?BIG
(
MeasureFn
?BIGSIZE ?U))
(
measure
?NORMAL
(
MeasureFn
?NORMALSIZE ?U))
(
greaterThan
?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1172-1184
%è una
istanza
immediata %2 %è una
istanza
immediata %2
attribute
Oggetto
and
Oversized
Oggetto
SIZE
NumeroReale
and
Unit�DiMisura
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
la
misura
Oggetto
è
Oggetto
SIZE
Unit�DiMisura
(s la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
Oggetto
SIZE è
pi
ù grande di
NumeroReale
(=>
(
and
(
immediateInstance
?X ?CLASS)
(
immediateInstance
?Y ?CLASS)
(
attribute
?X
ColdTemperature
)
(
attribute
?Y
HotTemperature
))
(
exists
(?TEMPX ?TEMPY ?UNIT)
(
and
(
measure
?X
(
MeasureFn
?TEMPX ?UNIT))
(
instance
?UNIT
UnitOfTemperature
)
(
instance
?TEMPX
TemperatureMeasure
)
(
measure
?Y
(
MeasureFn
?TEMPY ?UNIT))
(
instance
?TEMPY
TemperatureMeasure
)
(
greaterThan
?TEMPY ?TEMPX))))
Mid-level-ontology.kif 25722-25737
%è una
istanza
immediata %2 %è una
istanza
immediata %2
attribute
Oggetto
and
ColdTemperature
attribute
Oggetto
and
HotTemperature
NumeroReale
NumeroReale
and
Unit�DiMisura
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è un'
istanza
di
MisuraDiTemperatura
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiTemperatura
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
incomeEarned
?Agent
(
MeasureFn
?Income ?CU) ?Activity)
(
amountCharged
?Tax
(
MeasureFn
?TaxAmount ?CU))
(
causes
?Activity ?Tax)
(
equal
?ATIncome
(
SubtractionFn
?Income ?TaxAmount)))
(
afterTaxIncome
?Agent
(
MeasureFn
?ATIncome ?CU) ?Activity))
FinancialOntology.kif 3331-3341
incomeEarned
Umano
,
NumeroReale
Unit�DiMisura
(s and
ProcessoOrganizzativo
amountCharged
ChargingAFee
and
ChargingAFee
Amount
Unit�DiMisura
(s
ProcessoOrganizzativo
causa
s
ChargingAFee
NumeroReale
is
uguale
a (
NumeroReale
+
ChargingAFee
Amount
afterTaxIncome
Umano
,
NumeroReale
Unit�DiMisura
(s and
ProcessoOrganizzativo
(=>
(
and
(
instance
?A
CoffeeGrindAttribute
)
(
attribute
?C ?A)
(
instance
?C
CoffeeGrind
))
(
exists
(?L ?X)
(
and
(
grainSize
?C ?L)
(
instance
?X
LengthMeasure
)
(
equal
?X
(
MeasureFn
?L
Millimeter
)))))
Food.kif 1063-1073
Attributo
è un'
istanza
di
CoffeeGrindAttribute
attribute
Oggetto
and
Attributo
Oggetto
è un'
istanza
di
CoffeeGrind
NumeroReale
Quantit�Fisica
grainSize
Oggetto
and
NumeroReale
Quantit�Fisica
è un'
istanza
di
MisuraDiLunghezza
Quantit�Fisica
is
uguale
a
NumeroReale
Millimeter
(s
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
Processo
è un'
istanza
di
Accelerating
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
,
NumeroReale
,
NumeroReale
,
Entit�
and
Entit�
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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