attribute
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
CoverRecording
est un
attribut
de
MusicRecording
MusicRecording
est une
instance
de
MusicRecording
songArtist
MusicRecording
and
agent cognitif
musicInterpretation
MusicRecording
and
musique
record
MusicRecording
and
musique
M
MusicRecording
agent cognitif
RTIST and
musique
USIC
musicInterpretation
MusicRecording
and
musique
songArtist
MusicRecording
and
agent cognitif
RTIST
agent cognitif
est
agent cognitif
RTIST
record
MusicRecording
and
musique
USIC
temps
d'existence de
musique
USIC se produit
avant
temps
d'existence de
musique
M
(=>
(
and
(
attribute
?O ?P)
(
instance
?P
Fingerprint
)
(
not
(
instance
?O
Finger
)))
(
exists
(?PR ?F)
(
and
(
instrument
?PR ?F)
(
instance
?F
Finger
)
(
attribute
?F ?P)
(
patient
?PR ?O))))
Mid-level-ontology.kif 12537-12547
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
Fingerprint
objet
est une
instance
de
Finger
attribut
R
objet
objet
est un
instrument
pour
attribut
R
objet
est une
instance
de
Finger
attribut
est un
attribut
de
objet
objet
est un
patient
de
attribut
R
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2693-2704
Concave
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Outside
�
objet en une partie
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2665-2676
Convex
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est une
partie
de
objet en une partie
objet
est
LineFn
objet
and
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est
Inside
�
objet en une partie
(=>
(
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
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
attribut subjectif
position temporel
processus
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
attribut
est un
attribut
de
objet
est le
resultat
de
processus
AutonomousAgent
croit
objet
a un
attribute
attribut
pendant
position temporel
(=>
(
and
(
attribute
?OBJ ?ATTR)
(
instance
?ATTR
FoodAttribute
))
(
instance
?OBJ
PreparedFood
))
Dining.kif 1130-1134
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
FoodAttribute
objet
est une
instance
de
PreparedFood
(=>
(
and
(
attribute
?OBJ ?SPHERE)
(
instance
?SPHERE
Sphere
))
(
exists
(?CENTER ?DIST)
(
forall
(?PT)
(=>
(
pointOfFigure
?PT ?OBJ)
(
geometricDistance
?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4990-4998
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
Sphere
GeometricPoint
mesure de longueur
GeometricPoint
GeometricPoint
est un
point
de
objet
geometricDistance
GeometricPoint
,
GeometricPoint
and
mesure de longueur
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17688-17697
Monochromatic
est un
attribut
de
objet
objet
est une partie
superficielle
de
objet
attribut
est un
attribut
de
objet
attribut
est une
instance
de
couleur primaire
objet
objet
est une partie
superficielle
de
objet
attribut
est un
attribut
de
objet
(=>
(
and
(
attribute
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
Brushless
))
(
instance
?OBJECT
ElectricalMotor
))
engineering.kif 716-720
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
Brushless
objet
est une
instance
de
ElectricalMotor
(=>
(
and
(
attribute
?OFFICER ?COR)
(
instance
?COR
CommissionedOfficerRank
))
(
exists
(?MANAGE ?PATIENT)
(
and
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?OFFICER)
(
patient
?MANAGE ?PATIENT)
(
or
(
instance
?PATIENT
MilitaryOrganization
)
(
attribute
?PATIENT
Soldier
)))))
Military.kif 286-297
Attribut
est un
attribut
de
AutonomousAgent
attribut
est une
instance
de
CommissionedOfficerRank
processus
objet
processus
est une
instance
de
diriger
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
MilitaryOrganization
Soldier
est un
attribut
de
objet
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
BiologicalAttribute
))
(
instance
?ORG
OrganicObject
))
Merge.kif 18036-18040
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
attribut biologique
objet
est une
instance
de
objet organique
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
DeepSeaCoastalAndGreatLakesWaterTransportation
))
(
instance
?ORG
TransportationCompany
))
naics.kif 8114-8118
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
DeepSeaCoastalAndGreatLakesWaterTransportation
objet
est une
instance
de
TransportationCompany
(=>
(
and
(
attribute
?ORG
UnicameralLegislature
)
(
legislativeBranch
?ORG ?AREA)
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1
(
GovernmentFn
?AREA))
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2
(
GovernmentFn
?AREA)))
(
equal
?CHAMBER1 ?CHAMBER2))
Government.kif 1977-1985
UnicameralLegislature
est un
attribut
de
organisation
legislativeBranch
organisation
and
secteur g�opolitique
organisation
est une
instance
de
LegislativeChamber
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
organisation
est une
instance
de
LegislativeChamber
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
organisation
est
organisation
(=>
(
and
(
attribute
?Order
FOKOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2881-2897
FOKOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
(=>
(
and
(
attribute
?Order
GTCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Execute ?Time)
(
and
(
instance
?Execute
FillingAnOrder
)
(
patient
?Execute ?Order)
(
equal
(
WhenFn
?Execute) ?Time)
(
overlapsTemporally
?Time ?Period)))
(
exists
(?Cancel ?End)
(
and
(
instance
?Cancel
CancellingAnOrder
)
(
patient
?Cancel ?Order)
(
equal
(
WhenFn
?Cancel) ?End)
(
finishes
?End ?Period)))))
FinancialOntology.kif 2917-2933
GTCOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
recouvre
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
finit
interval temporel
(=>
(
and
(
attribute
?Order
IOCOrder
)
(
agreementPeriod
?Order ?Period))
(
or
(
exists
(?Fill ?Time1)
(
and
(
instance
?Fill
FillingAnOrder
)
(
patient
?Fill ?Order)
(
equal
(
WhenFn
?Fill) ?Time1)
(
starts
?Time1 ?Period)))
(
exists
(?Kill ?Time2)
(
and
(
instance
?Kill
CancellingAnOrder
)
(
patient
?Kill ?Order)
(
equal
(
WhenFn
?Kill) ?Time2)
(
starts
?Time2 ?Period)))))
FinancialOntology.kif 2854-2870
IOCOrder
est un
attribut
de
Agreement
agreementPeriod
Agreement
and
interval temporel
processus
interval temporel
processus
est une
instance
de
FillingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
processus
interval temporel
processus
est une
instance
de
CancellingAnOrder
Agreement
est un
patient
de
processus
temps
d'existence de
processus
est
interval temporel
interval temporel
commence
interval temporel
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
LimitOrder
est un
attribut
de
financial transaction
partyToAgreement
financial transaction
and
Agreement
Broker
est un
attribut
de
Agreement
orderFor
financial transaction
,
acheter
and
Security
la
mesure
de
Security
est
quantit� physique
limitPrice
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
askPrice
Security
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est plus
petit
ou �gal �
nombre r�el
Agreement
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
LimitOrder
est un
attribut
de
financial transaction
partyToAgreement
financial transaction
and
Agreement
Broker
est un
attribut
de
Agreement
orderFor
financial transaction
,
vendre
and
Security
la
mesure
de
Security
est
quantit� physique
limitPrice
financial transaction
and
nombre r�el
unit� de mesure
(s)
bidPrice
Security
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Agreement
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
attribute
?Order
MarketOrder
)
(
attribute
?Broker
Broker
)
(
partyToAgreement
?Order ?Broker)
(
orderFor
?Order ?TransactionType ?Shares))
(
holdsObligation
(
KappaFn
?Transaction
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares))) ?Broker))
FinancialOntology.kif 1981-1990
MarketOrder
est un
attribut
de
financial transaction
Broker
est un
attribut
de
Agreement
partyToAgreement
financial transaction
and
Agreement
orderFor
financial transaction
,
financial transaction
and
Security
Agreement
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
attribute
?P ?R)
(
instance
?R
MilitaryRank
))
(
member
?P
MilitaryService
))
Military.kif 249-253
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
MilitaryRank
objet
est un
membre
de
MilitaryService
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18728-18737
CollegeFreshman
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
moins
que 1
(=>
(
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
CollegeJunior
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 2
nombre r�el
est
moins
que 3
(=>
(
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
CollegeSenior
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 3
nombre r�el
est
moins
que 4
(=>
(
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
CollegeSophomore
est un
attribut
de
position
humain
occupe la
position
de
position
organisation
nombre r�el
student
humain
and
organisation
pendant
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 1
nombre r�el
est
moins
que 2
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
Muslim
est un
attribut
de
objet
objet
est
capable
de faire
Hajj
dans le r�le
agent
l'argument
entit�
entit�
est une
instance
de
Hajj
entit�
est un
agent
de
objet
a la
force
modale
de
Obligation
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