=>
(=>
(
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 18727-18736
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 18742-18752
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 18758-18768
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 18774-18784
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
(=>
(
and
(
attribute
?PERSON ?ATTRIBUTE)
(
instance
?ATTRIBUTE
SocialRole
))
(
instance
?PERSON
Human
))
Merge.kif 17266-17270
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
r�le social
objet
est une
instance
de
humain
(=>
(
and
(
attribute
?PERSON
SupremeCourtJudge
)
(
employs
?ORG ?PERSON))
(
instance
?ORG
SupremeCourt
))
Government.kif 2215-2219
SupremeCourtJudge
est un
attribut
de
agent cognitif
AutonomousAgent
emploie
agent cognitif
AutonomousAgent
est une
instance
de
SupremeCourt
(=>
(
and
(
attribute
?PROF
Professor
)
(
occupiesPosition
?PROF
Professor
?ORG))
(
and
(
teacher
?PROF ?ORG)
(
instance
?ORG
PostSecondarySchool
)))
Mid-level-ontology.kif 21023-21029
Professor
est un
attribut
de
humain
humain
occupe la
position
de
Professor
�cole
teacher
humain
and
�cole
�cole
est une
instance
de
PostSecondarySchool
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
Oversized
est un
attribut
de
objet
objet
est une
instance
imm�diate de
classe
classe
est une
sous
-classe de
HotelUnit
physique
nombre r�el
,
nombre r�el
and
unit� de mesure
physique
est une
instance
imm�diate de
classe
unit� de mesure
est une
instance
de
UnitOfArea
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s) la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
attribute
?SYLLABLE
Stressed
)
(
instance
?WORD
Word
)
(
part
?SYLLABLE ?WORD))
(
not
(
exists
(?SYLLABLE2)
(
and
(
instance
?SYLLABLE2
Syllable
)
(
part
?SYLLABLE2 ?WORD)
(
attribute
?SYLLABLE2
Stressed
)
(
not
(
equal
?SYLLABLE2 ?SYLLABLE))))))
Mid-level-ontology.kif 19442-19452
Stressed
est un
attribut
de
objet
objet
est une
instance
de
mot
objet
est une
partie
de
objet
objet
2
objet
2 est une
instance
de
Syllable
objet
2 est une
partie
de
objet
Stressed
est un
attribut
de
objet
2
objet
2 est
objet
(=>
(
and
(
attribute
?T
Teacher
)
(
occupiesPosition
?P ?T ?O))
(
teacher
?T ?O))
Mid-level-ontology.kif 18905-18909
Teacher
est un
attribut
de
humain
humain
occupe la
position
de
humain
�cole
teacher
humain
and
�cole
(=>
(
and
(
attribute
?TRANS ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?TRANS
FinancialTransaction
))
UXExperimentalTerms.kif 1637-1641
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
AccountAttribute
objet
est une
instance
de
financial transaction
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30092-30100
Uninhabited
est un
attribut
de
objet
objet
est une
instance
de
r�gion
organisme
organisme
est une
instance
de
humain
organisme
vie
�
objet
(=>
(
and
(
attribute
?X ?ATTR)
(
instance
?ATTR
AmbienceAttribute
))
(
instance
?X
Physical
))
Dining.kif 1066-1070
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
AmbienceAttribute
objet
est une
instance
de
physique
(=>
(
and
(
attribute
?X ?ATTR)
(
instance
?ATTR
BedAttribute
))
(
instance
?X
Bed
))
Mid-level-ontology.kif 4102-4106
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
BedAttribute
objet
est une
instance
de
Bed
(=>
(
and
(
attribute
?X ?ATTR)
(
instance
?ATTR
SizeAttribute
))
(
instance
?X
Object
))
Mid-level-ontology.kif 25321-25325
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
SizeAttribute
objet
est une
instance
de
objet
(=>
(
and
(
attribute
?X ?HEMI)
(
instance
?HEMI
HemisphereFigure
))
(
exists
(?Y)
(
and
(
instance
?Y
Sphere
)
(
half
?X ?Y))))
Mid-level-ontology.kif 26548-26555
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
HemisphereFigure
objet
objet
est une
instance
de
Sphere
half
objet
and
objet
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