Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
exists
Sigma KEE - exists
exists
antecedent
(<=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1835-1845
Processus
est une
instance
de
Withdrawal
FinancialAccount
est une
instance
de
FinancialAccount
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
FinancialAccount
processus
cause
processus
liquidity
FinancialAccount
and
HighLiquidity
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3938-3944
Interval temporel
Loan
est une
instance
de
Loan
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
loanInterest
Loan
and
Interest
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 1098-1101
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
programme d'ordinateur
a un
attribute
Executable
(<=>
(
exists
(?Rate)
(
fixedInterestRate
?Account ?Rate))
(
instance
?Account
FixedRateAccount
))
FinancialOntology.kif 983-986
Nombre
fixedInterestRate
FinancialAccount
and
nombre
FinancialAccount
est une
instance
de
FixedRateAccount
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3068-3079
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
outOfTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3019-3030
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3059
FinancialInstrument
FinancialInstrument
Price and
mesure de devise
Agreement
est une
instance
de
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
mesure de devise
equal
FinancialInstrument
Price and
mesure de devise
atTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3032-3043
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
FinancialInstrument
Price est
moins
que
nombre r�el
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3081-3092
FinancialInstrument
FinancialInstrument
Price and
nombre r�el
Agreement
est une
instance
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
strikePrice
Agreement
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 355-373
breathingRate
AutonomousAgent
,
interval temporel
and
nombre entier
interval temporel
est une
instance
de
minute
nombre entier
nombre entier
est une
instance
de
r�cr�ation ou exercice
nombre entier
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
temps
d'existence de
nombre entier
HumanAdult
est un
attribut
de
AutonomousAgent
pendant
interval temporel
nombre entier
est
plus
grand
que 16
nombre entier
est
moins
que 12
Healthy
est un
attribut
de
AutonomousAgent
pendant
interval temporel
(=>
(
and
(
customer
?CUST ?AGENT)
(
corkageFee
?AMT ?ITEM ?AGENT)
(
instance
?X ?ITEM)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?X)
(
destination
?B ?CUST)
(
origin
?B ?AGENT))))
(
instance
?D
Drinking
)
(
agent
?D ?CUST)
(
resource
?D ?X))
(
exists
(?C)
(
and
(
instance
?C
Corkage
)
(
agent
?C ?CUST)
(
refers
?C ?X)
(
destination
?C ?AGENT))))
Dining.kif 130-150
customer
agent cognitif
and
AutonomousAgent
corkageFee
mesure de devise
,
objet
and
AutonomousAgent
objet
est une
instance
de
objet
processus
processus
est une
instance
de
acheter
objet
est un
patient
de
processus
processus
aboutit
�
agent cognitif
processus
a pour
origine
AutonomousAgent
processus
est une
instance
de
boire
processus
est un
agent
de
agent cognitif
objet
est une
resource
pour
processus
processus
processus
est une
instance
de
Corkage
processus
est un
agent
de
agent cognitif
processus
inclut une
r
�f�rence �
objet
processus
aboutit
�
AutonomousAgent
(=>
(
and
(
facility
?AGENT ?OBJ)
(
customer
?CUST ?AGENT)
(
instance
?X ?OBJ)
(
desires
?CUST
(
exists
(?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
patient
?PROC ?X)
(
agent
?PROC ?CUST)))))
(
modalAttribute
(
confersRight
(
uses
?X ?CUST) ?AGENT ?CUST)
Possibility
))
Dining.kif 336-350
facility
AutonomousAgent
and
objet
customer
agent cognitif
and
AutonomousAgent
entit�
est une
instance
de
objet
agent cognitif
desire
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
l'argument
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
utilise
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
PhysicalSystem
est une
instance
de
Automobile
PhysicalSystem
est une
instance
de
Automobile
objet
est une
instance
de
AutomobileShock
objet
est une
partie
de
PhysicalSystem
objet
objet
est une
instance
de
AutomobileShock
objet
est une
partie
de
PhysicalSystem
dampingRatio
PhysicalSystem
and
nombre r�el
dampingRatio
PhysicalSystem
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
AutonomousAgent
est une
instance
de
AutonomousAgent
potentialCustomer
agent cognitif
and
AutonomousAgent
l'argument
entit�
est une
instance
de
Reserving
entit�
aboutit
�
AutonomousAgent
a la
force
modale
de
Necessity
la
probabilit
� de
entit�
ES1
entit�
ES1 est une
instance
de
Reservation
reservingEntity
agent cognitif
and
entit�
ES1
fulfillingEntity
AutonomousAgent
and
entit�
ES1 pourvu que
customer
agent cognitif
and
AutonomousAgent
vaut
nombre r�el
la
probabilit
� de
entit�
ES2
entit�
ES2 est une
instance
de
Reservation
reservingEntity
agent cognitif
and
entit�
ES2
fulfillingEntity
AutonomousAgent
and
entit�
ES2 pourvu que
customer
agent cognitif
and
AutonomousAgent
vaut
nombre r�el
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 761-777
LiabilityAccount
est une
instance
de
LiabilityAccount
minimumPayment
LiabilityAccount
,
nombre r�el
unit� de mesure
(s) and
MonthDuration
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
interval temporel
interval temporel
est une
instance
de
mois
processus
aboutit
�
CurrencyFn
LiabilityAccount
paymentsPerPeriod
LiabilityAccount
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
moins
que
nombre r�el
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
LiabilityAccount
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5953-5962
Objet
est une
instance
de
Bubble
objet
attribut
attribut
est un
attribut
de
objet
equal
objet
and
Gas
objet
rencontre
objet
ConvexRoundShape
est un
attribut
de
objet
(=>
(
and
(
instance
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?BUYING ?ITEM))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3239-3259
Collection
est une
instance
de
collection
nombre r�el
est une
instance
de
mesure de devise
nombre entier
est une
instance
de
nombre r�el
equal
nombre r�el
and
GMBFn
collection
equal
nombre entier
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
equal
ABPFn
collection
and
nombre r�el
+
nombre entier
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
Processus
est une
instance
de
CateringService
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
processus
UST
AutonomousAgent
est
situ
� �
objet
customer
processus
UST and
AutonomousAgent
processus
entit�
and
processus
processus
est une
instance
de
cuisiner
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est un
patient
de
processus
processus
est une
instance
de
manger
processus
est un
agent
de
processus
UST
eventLocated
processus
and
objet
equal
objet
and
objet
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Mid-level-ontology.kif 23356-23370
Objet
est une
instance
de
substance compos�e
substance compos�e
est une
sous
-classe de
substance compos�e
objet
objet
est une
instance
de
substance compos�e
objet
est une
partie
de
objet
molecularRatio
substance �l�mentaire
,
nombre entier
and
substance compos�e
collection
est une
instance
de
groupe
objet
est un
membre
de
collection
objet
est une
partie
de
objet
objet
est une
instance
de
substance �l�mentaire
memberCount
collection
and
nombre entier
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3966-3982
Entit�
est une
instance
de
Electromagnet
entit�
entit�
entit�
est une
instance
de
transf�re
entit�
est une
instance
de
Electricity
objectTransferred
entit�
and
entit�
entit�
est le
chemin
le long duquel
entit�
se produit
pendant
entit�
1
entit�
entit�
est une
instance
de
Magnetism
entit�
est un
instrument
pour
entit�
pendant
entit�
1
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1634-1653
Appareil
est une
instance
de
Gun
unit� de mesure
est une
instance
de
UnitOfLength
effectiveRange
appareil
and
nombre r�el
unit� de mesure
(s) la
distance
entre
appareil
et
objet
est
nombre r�el
1
unit� de mesure
(s)
objet
est une
instance
de
organisme
objet
2
objet
2 est
entre
objet
et
appareil
nombre r�el
1 est plus
petit
ou �gal �
nombre r�el
cha�ne sympbolique
appareil
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1612-1630
Appareil
est une
instance
de
Gun
unit� de mesure
est une
instance
de
UnitOfLength
effectiveRange
appareil
and
nombre r�el
unit� de mesure
(s) la
distance
entre
appareil
et
objet
est
nombre r�el
1
unit� de mesure
(s)
objet
2
objet
2 est
entre
objet
et
appareil
nombre r�el
1 est plus
petit
ou �gal �
nombre r�el
cha�ne sympbolique
appareil
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
Interval temporel
est une
instance
de
interval temporel
_CLASS
interval temporel
_CLASS est une
sous
-classe de
processus
AccessingWebPage
est une
instance
de
AccessingWebPage
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est un
agent
de
AutonomousAgent
AccessingWebPage
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
AccessingWebPage
physique
est une
instance
de
interval temporel
interval temporel
2
interval temporel
2 est une
instance
de
interval temporel
_CLASS
interval temporel
2 est un
agent
de
AutonomousAgent
interval temporel
2 prend place
pendant
AccessingWebPage
le
d
�but de
temps
d'existence de
interval temporel
2 se produit
avant
le
d
�but de
temps
d'existence de
interval temporel
equal
le
d
�but de
temps
d'existence de
AccessingWebPage
and le
d
�but de
temps
d'existence de
physique
equal
le
d
�but de
temps
d'existence de
interval temporel
and la
fin
de
temps
d'existence de
physique
equal
TTFxFn
interval temporel
_CLASS and
AccessingWebPage
and
physique
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
acheter
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_PURCHASE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_PURCHASE_AMOUNT
equal
GMBFn
collection
and
entit�
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
vendre
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_SALE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_SALE_AMOUNT
equal
GMVFn
collection
and
entit�
_SALE_AMOUNT
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?B
BodyPart
)
(
holdsDuring
?T
(
attribute
?B
Bare
)))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
covers
?C ?B))))))
Mid-level-ontology.kif 32096-32106
Entit�
est une
instance
de
partie du corps
Bare
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
v�tement
covers
entit�
and
entit�
pendant
position temporel
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
Mid-level-ontology.kif 28228-28239
Processus
est une
instance
de
Photocopying
ContentBearingPhysical
est un
patient
de
processus
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
ContentBearingPhysical
proposition
ContentBearingPhysical
est le
resultat
de
processus
ContentBearingPhysical
est une
instance
de
VisualContentBearingObject
ContentBearingPhysical
contient
information
proposition
equal
proposition
and
proposition
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10.0 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 7777-7788
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 10.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 2.5
objet
10
objet
10 est une
instance
de
CoarseParticulateMatter
objet
10 est une
partie
de
objet
(<=>
(
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 7806-7816
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s)
nombre r�el
est
plus
grand
ou �gal � 2.5
objet
25
objet
25 est une
instance
de
FineParticulateMatter
objet
25 est une
partie
de
objet
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
Ann�e
est une
instance
de l'
ann
�e
ann�e
EAR
equal
MaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
and
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
equal
nombre entier
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
Ann�e
est une
instance
de l'
ann
�e
nombre entier
equal
FemaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
and
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
equal
nombre entier
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
Ann�e
est une
instance
de l'
ann
�e
nombre entier
equal
LifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
and
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
equal
nombre entier
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
(<=>
(
annualExpendituresOfAreaInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?AMOUNT)))))
Economy.kif 1642-1647
annualExpendituresOfAreaInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
annualExpendituresOfArea
secteur g�opolitique
and
mesure de devise
pendant
position temporel
(<=>
(
annualRevenuesOfAreaInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
annualRevenuesOfArea
?AREA ?AMOUNT)))))
Economy.kif 1613-1618
annualRevenuesOfAreaInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
annualRevenuesOfArea
secteur g�opolitique
and
mesure de devise
pendant
position temporel
(<=>
(
attribute
?MUSIC
PolyphonicMusic
)
(
exists
(?PART1 ?PART2)
(
and
(
instance
?MUSIC
MakingMusic
)
(
instance
?PART1
MakingMusic
)
(
instance
?PART2
MakingMusic
)
(
subProcess
?PART1 ?MUSIC)
(
subProcess
?PART2 ?MUSIC)
(
not
(
equal
?PART1 ?PART2))
(
cooccur
?PART1 ?MUSIC)
(
cooccur
?PART2 ?MUSIC))))
Mid-level-ontology.kif 744-755
PolyphonicMusic
est un
attribut
de
objet
processus
processus
objet
est une
instance
de
MakingMusic
processus
est une
instance
de
MakingMusic
processus
est une
instance
de
MakingMusic
processus
est un
sous
-processus de
objet
processus
est un
sous
-processus de
objet
equal
processus
and
processus
processus
se
produit en m�me temps que
objet
processus
se
produit en m�me temps que
objet
(<=>
(
attribute
?WATER
OpenSea
)
(
exists
(?LAND ?DIST)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0))))
Geography.kif 4951-4960
OpenSea
est un
attribut
de
objet
physique
nombre r�el
objet
est une
instance
de
plan d'eau sal�
objet
est une
instance
de
LandlockedWater
la
distance
entre
physique
et
objet
est
nombre r�el
NauticalMile
(s)
nombre r�el
est
plus
grand
que 5.0
(<=>
(
aunt
?A ?H)
(
exists
(?P)
(
and
(
sister
?A ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 24687-24692
aunt
Woman
and
humain
humain
sister
Woman
and
humain
humain
est un
parent
de
humain
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 272-293
average
liste
and
nombre r�el
liste
nombre entier positif
equal
longueur
de
liste
and
longueur
de
liste
equal
1th
liste
and 1th
liste
nombre entier positif
nombre entier positif
est un
membre
de
liste
nombre r�el
nombre r�el
MINUSONE,
nombre entier positif
and
nombre entier positif
nombre r�el
est
plus
grand
que 1
nombre r�el
est plus
petit
ou �gal �
longueur
de
liste
equal
nombre entier positif
th
liste
and
nombre r�el
nombre entier positif
est un
membre
de
liste
equal
nombre r�el
and
nombre entier positif
th
liste
nombre entier positif
est un
membre
de
liste
equal
nombre r�el
MINUSONE and (
nombre r�el
+ 1)
equal
nombre r�el
MINUSONE and
nombre entier positif
th
liste
equal
nombre entier positif
and (
nombre entier positif
+
nombre entier positif
)
equal
nombre entier positif
and
longueur
de
liste
equal
nombre r�el
and
nombre entier positif
th
liste
+
nombre entier positif
(<=>
(
bankAccount
?AccountType ?Bank)
(
exists
(?Account)
(
and
(
instance
?Account ?AccountType)
(
accountAt
?Account ?Bank))))
FinancialOntology.kif 3961-3966
bankAccount
FinancialAccount
and
BankFinancialOrganization
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
accountAt
FinancialAccount
and
BankFinancialOrganization
(<=>
(
beliefGroupPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1529-1540
beliefGroupPercentInRegion
BeliefGroup
,
nombre r�el
and
secteur g�ographique
collection
collection
,
physique
,
physique
2,
nombre r�el
1 and
nombre r�el
2
physique
est
situ
� �
secteur g�ographique
physique
est un
membre
de
BeliefGroup
physique
est un
membre
de
collection
memberCount
collection
and
nombre r�el
1
physique
2 est
situ
� �
secteur g�ographique
physique
2 est un
membre
de
collection
memberCount
collection
and
nombre r�el
2
equal
nombre r�el
+ 100 and
nombre r�el
1 +
nombre r�el
2
(<=>
(
capitalExpendituresOfAreaInPeriod
?AREA ?CAPAMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT)))))
Economy.kif 1690-1695
capitalExpendituresOfAreaInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
capitalExpendituresOfArea
secteur g�opolitique
and
mesure de devise
pendant
position temporel
(<=>
(
cousin
?P1 ?P2)
(
and
(
exists
(?G1 ?G2)
(
and
(
grandmother
?P1 ?G1)
(
grandfather
?P1 ?G2)
(
grandmother
?P2 ?G1)
(
grandfather
?P2 ?G2)))
(
not
(
exists
(?M ?F)
(
and
(
mother
?P1 ?M)
(
father
?P1 ?F)
(
mother
?P2 ?M)
(
father
?P2 ?F))))))
Mid-level-ontology.kif 24702-24717
cousin
humain
and
humain
Woman
Man
grandmother
humain
and
Woman
grandfather
humain
and
Man
grandmother
humain
and
Woman
grandfather
humain
and
Man
organisme
organisme
organisme
est la
m
�re de
humain
organisme
est le
p
�re de
humain
organisme
est la
m
�re de
humain
organisme
est le
p
�re de
humain
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3998-4003
currencyExchangePerUSDollar
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
currencyExchangeRate
UnitedStatesDollar
and
mesure de devise
pendant
position temporel
(<=>
(
currencyExchangeRateInPeriod
?UNIT ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
?UNIT ?AMOUNT)))))
Economy.kif 4005-4010
currencyExchangeRateInPeriod
UnitOfCurrency
,
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
currencyExchangeRate
UnitOfCurrency
and
mesure de devise
pendant
position temporel
(<=>
(
customer
?AGENT1 ?AGENT2)
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
FinancialTransaction
)
(
agent
?SERVICE ?AGENT2)
(
destination
?SERVICE ?AGENT1))))
Mid-level-ontology.kif 8894-8900
customer
agent cognitif
and
AutonomousAgent
processus
processus
est une
instance
de
financial transaction
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
agent cognitif
(<=>
(
customerRepresentative
?Person1 ?Person2 ?Org)
(
exists
(?Service)
(
and
(
instance
?Service
FinancialTransaction
)
(
employs
?Org ?Person1)
(
agent
?Service ?Person1)
(
destination
?Service ?Person2))))
FinancialOntology.kif 3653-3660
customerRepresentative
agent cognitif
,
agent cognitif
and
organisation
processus
processus
est une
instance
de
financial transaction
organisation
emploie
agent cognitif
processus
est un
agent
de
agent cognitif
processus
aboutit
�
agent cognitif
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2939-2944
earthAltitude
objet
and
mesure de longueur
objet en une partie
le
altitude
de
objet
est
objet en une partie
objet en une partie
est une
surface
de
PlanetEarth
(<=>
(
economicAidDonatedInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidDonated
?COUNTRY ?AMOUNT)))))
Economy.kif 3156-3161
economicAidDonatedInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
economicAidDonated
secteur g�opolitique
and
mesure de devise
pendant
position temporel
(<=>
(
economicAidReceivedNetInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidReceivedNet
?COUNTRY ?AMOUNT)))))
Economy.kif 3196-3201
economicAidReceivedNetInPeriod
secteur g�opolitique
,
mesure de devise
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
economicAidReceivedNet
secteur g�opolitique
and
mesure de devise
pendant
position temporel
(<=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2296-2301
electricityFractionFromSourceInPeriod
secteur g�opolitique
,
PowerGeneration
,
nombre r�el
and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
electricityFractionFromSource
secteur g�opolitique
,
PowerGeneration
and
nombre r�el
pendant
position temporel
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
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 1122-1136
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER est un
citoyen
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) l'
YearDuration
(s) ?AGE est
plus
grand
ou �gal � ?VOTINGAGE ?ELECTION est une
instance
de
ElectionFn
?POLITY
?VOTING ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
contient
information
CompulsorySuffrageLaw
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 19773-19790
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une
instance
de
PaperShredder
?CUT est une
instance
de
couper
?X est un
instrument
pour ?CUT ?PAPER est une
instance
de
Paper
?PAPER est un
patient
de ?CUT ?CBO est
situ
� � ?PAPER ?CBO est une
instance
de
VisualContentBearingObject
?CBO
contient
information ?INFO
diminue
la probabilit� de ?READ ?READ est une
instance
de
Interpreting
?INFO est un
patient
de ?READ
temps
d'existence de ?CUT arrive
plus
t�t que
temps
d'existence de ?READ
(
hasPurpose
IBookstore
(
exists
(?D)
(
and
(
instance
?D
DownloadingOverNetwork
)
(
instrument
?D
IBookstore
)
(
instance
?T
Text
)
(
objectTransferred
?D ?T))))
ComputingBrands.kif 3305-3311
IBookstore
a pour
but
?D ?D est une
instance
de
DownloadingOverNetwork
IBookstore
est un
instrument
pour ?D ?T est une
instance
de
texte
objectTransferred
?D and ?T
(
not
(
exists
(?PATH1 ?PATH2)
(
and
(
instance
?PATH1
(
CutSetFn
?GRAPH))
(
instance
?PATH2
(
MinimalCutSetFn
?GRAPH))
(
pathLength
?PATH1 ?NUMBER1)
(
pathLength
?PATH2 ?NUMBER2)
(
lessThan
?NUMBER1 ?NUMBER2))))
Merge.kif 6124-6131
Chemin du graph
chemin du graph
chemin du graph
est une
instance
de l'
ensemble
de chemins qui partitionnent
graph
en deux graph s�par�
chemin du graph
est une
instance
de l'
ensemble
minimal de chemins qui partitionnent
graph
en deux graph s�par� la
longueur
de
chemin du graph
est
nombre entier positif
la
longueur
de
chemin du graph
est
nombre entier positif
nombre entier positif
est
moins
que
nombre entier positif
appearance as argument number 0
(
exists
(?D ?M)
(
and
(
instance
?D
Disseminating
)
(
agent
?D
Netflix
)
(
patient
?D ?M)
(
instance
?M
MotionPicture
)))
Medicine.kif 4566-4571
Processus
entit�
processus
est une
instance
de
disseminer
processus
est un
agent
de
Netflix
entit�
est un
patient
de
processus
entit�
est une
instance
de
motion picture
(
exists
(?FM)
(
and
(
instance
?FM
FilmMaking
)
(
agent
?FM
Netflix
)))
Medicine.kif 4573-4576
Processus
processus
est une
instance
de
FilmMaking
processus
est un
agent
de
Netflix
(
exists
(?H)
(
and
(
attribute
?H
NewReporter
)
(
employs
ProPublica
?H)))
Medicine.kif 4597-4600
Agent cognitif
NewReporter
est un
attribut
de
agent cognitif
ProPublica
emploie
agent cognitif
(
exists
(?MEAL ?REGION)
(
attribute
?MEAL
(
MealAttributeFn
?MEAL ?REGION)))
Food.kif 1908-1909
Meal
r�gion
MealAttributeFn
Meal
and
r�gion
est un
attribut
de
Meal
(
exists
(?T)
(
and
(
instance
?T
(
YearFn
1976))
(
holdsDuring
?T
(
coworker
SteveJobsOfApple
SteveWozniakOfApple
))))
ComputingBrands.kif 2453-2457
Position temporel
position temporel
est une
instance
de l'
ann
�e 1976
coworker
SteveJobsOfApple
and
SteveWozniakOfApple
pendant
position temporel
(
exists
(?T)
(
and
(
instance
?T
(
YearFn
2002))
(
holdsDuring
?T
(
coworker
SteveJobsOfApple
TimCookOfApple
))))
ComputingBrands.kif 2441-2445
Position temporel
position temporel
est une
instance
de l'
ann
�e 2002
coworker
SteveJobsOfApple
and
TimCookOfApple
pendant
position temporel
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5170-5173
Objet
objet
est une
sous
-classe de
HandToolBox
manufacturer
objet
and
SortimoCorp
(
exists
(?THING)
(
instance
?THING
Entity
))
Merge.kif 818-819
Entit�
entit�
est une
instance
de
entit�
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
finishes
?TIME
(
WhenFn
JesusOfNazareth
))
(
starts
?TIME
(
WhenFn
TwelveApostles
))
(
forall
(?MEM)
(=>
(
holdsDuring
?TIME
(
member
?MEM
TwelveApostles
))
(
holdsDuring
?TIME
(
friend
?MEM
JesusOfNazareth
))))))
Media.kif 1972-1980
Interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
finit
temps
d'existence de
JesusOfNazareth
interval temporel
commence
temps
d'existence de
TwelveApostles
entit�
entit�
est un
membre
de
TwelveApostles
pendant
interval temporel
friend
entit�
and
JesusOfNazareth
pendant
interval temporel
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