equal
(<=>
(
stringConcatenation
?S1 ?S2 ?S3)
(
equal
?S3
(
StringConcatenateFn
?S1 ?S2)))
Mid-level-ontology.kif 24496-24498
stringConcatenation
SymbolicString
,
** SymbolicString
and
** SymbolicString
genau dann wenn
** ** SymbolicString
ist gleich
StringConcatenateFn
** SymbolicString
and
** ** SymbolicString
%n{nicht}
(<=>
(
stringLength
?INT ?STRING)
(
equal
?INT
(
StringLengthFn
?STRING)))
Mid-level-ontology.kif 24466-24468
stringLength
NonnegativeInteger
and
SymbolicString
genau dann wenn
** NonnegativeInteger
ist gleich
StringLengthFn
** SymbolicString
%n{nicht}
(=>
(<=>
(
element
?ELEMENT ?SET1)
(
element
?ELEMENT ?SET2))
(
equal
?SET1 ?SET2))
Merge.kif 5421-5425
Wenn
Entity
ist ein
element
von
Set
%n{nicht} genau dann wenn
** Entity
ist ein
element
von
** Set
%n{nicht},
dann
** Set
ist gleich
** ** Set
%n{nicht}
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
Wenn
amount
** Substance
,
CorpuscularObject
and
RealNumber
UnitOfMass
(s) und
** Substance
I ist ein
fall
von
** ** Substance
%n{nicht} und das
mass
von
** ** Substance
I ist
** RealNumber
2
** UnitOfMass
(s) %n{nicht} und
** ** Substance
I ist ein
teil
von
** CorpuscularObject
%n{nicht},
dann es gibt
List
um
** RealNumber
2
** UnitOfMass
(s) ist ein
Mitglied
von
** List
und
** List
ist gleich
AmountsFn
** ** Substance
,
** CorpuscularObject
and
** UnitOfMass
%n{nicht} und
** RealNumber
ist gleich
ListSumFn
** List
%n{nicht}
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
Wenn
applicableRelation
Object
and
Relation
und
** Object
ist ein
fall
von
** Object
C %n{nicht} und die Zahl 1 Argument von
** Relation
ist ein
fall
von
** Class
%n{nicht},
dann
** Object
C ist gleich
** ** Class
%n{nicht} oder
** Object
C ist eine
teilkategorie
von
** ** Class
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17948-17959
Wenn
approximateDiameter
SelfConnectedObject
and
RealNumber
** RealNumber
M(s) und
sphereRadius
Object
and
** RealNumber
und 2.0
** RealNumber
M(s) und das
mass
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** SelfConnectedObject
ist
** RealNumber
** ** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
M ist ein
fall
von
UnitOfLength
%n{nicht} und
** ** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann
** ** RealNumber
ist gleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
Wenn
AppraisalAsJustTreatment
ist ein
attribut
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
JT ist ein
fall
von
AppraisalProcess
%n{nicht} und
** CognitiveAgent
JT ist der
agent
von
** CognitiveAgent
%n{nicht},
dann es gibt
** Process
und
** CognitiveAgent
2 um
** ** Process
ist ein
fall
von
Process
%n{nicht} und
** CognitiveAgent
JT umfasst einen
hinweis
auf
** ** Process
und
** ** Process
ist der
agent
von
** CognitiveAgent
2 %n{nicht} und
** CognitiveAgent
ist gleich
** CognitiveAgent
2 nicht und
** CognitiveAgent
ist ein
patient
von
** ** Process
%n{nicht} und
** CognitiveAgent
wuenscht
** ** Process
%n{nicht}
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
Wenn
AppraisalAsUnjustTreatment
ist ein
attribut
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
UJ ist ein
fall
von
AppraisalProcess
%n{nicht} und
** CognitiveAgent
UJ ist der
agent
von
** CognitiveAgent
%n{nicht},
dann es gibt
** Process
und
** CognitiveAgent
2 um
** ** Process
ist ein
fall
von
Process
%n{nicht} und
** CognitiveAgent
UJ umfasst einen
hinweis
auf
** ** Process
und
** ** Process
ist der
agent
von
** CognitiveAgent
2 %n{nicht} und
** CognitiveAgent
ist gleich
** CognitiveAgent
2 nicht und
** CognitiveAgent
ist ein
patient
von
** ** Process
%n{nicht} und
** CognitiveAgent
wuenscht
** ** Process
nicht
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29507-29519
Wenn
Collectible
ist ein
attribut
von
Object
%n{nicht} und
** Object
hat Zweck von
Formula
%n{nicht},
dann es gibt
CognitiveAgent
und
** Formula
2 um
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
** CognitiveAgent
wuenscht
** Object
%n{nicht} und
** CognitiveAgent
wuenscht
** Formula
2 %n{nicht} und
** Formula
2 hat
** CognitiveAgent
besitzt
** Object
%n{nicht} zur Folge %n{nicht} und
** Formula
ist gleich
** Formula
2 nicht
(=>
(
and
(
attribute
?M
MashupRecording
)
(
instance
?M
Recording
))
(
exists
(?M1 ?M2 ?S1 ?S2)
(
and
(
musicInterpretation
?M1 ?S1)
(
musicInterpretation
?M2 ?S2)
(
not
(
equal
?S1 ?S2))
(
part
?M1 ?M)
(
part
?M2 ?M))))
Music.kif 426-436
Wenn
MashupRecording
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Recording
%n{nicht},
dann es gibt
** Object
1,
** Object
2,, ,
Music
, and und
** Music
um
musicInterpretation
** Object
1 and
** Music
und
musicInterpretation
** Object
2 and
** ** Music
und
** Music
ist gleich
** ** Music
nicht und
** Object
1 ist ein
teil
von
** Object
%n{nicht} und
** Object
2 ist ein
teil
von
** Object
%n{nicht}
(=>
(
and
(
attribute
?M
RemixRecording
)
(
instance
?M
MusicRecording
))
(
exists
(?O ?A)
(
equal
?M
(
RemixFn
?O ?A))))
Music.kif 444-449
Wenn
RemixRecording
ist ein
attribut
von
MusicRecording
%n{nicht} und
** MusicRecording
ist ein
fall
von
MusicRecording
%n{nicht},
dann es gibt
** MusicRecording
und
CognitiveAgent
um
** MusicRecording
ist gleich
RemixFn
** ** MusicRecording
and
** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
CoverRecording
ist ein
attribut
von
MusicRecording
%n{nicht} und
** MusicRecording
ist ein
fall
von
MusicRecording
%n{nicht} und
songArtist
** MusicRecording
and
CognitiveAgent
und
musicInterpretation
** MusicRecording
and
Music
und
record
** MusicRecording
and
** Music
M,
dann es gibt
** MusicRecording
,
** CognitiveAgent
RTIST, and und
** Music
USIC um
musicInterpretation
** ** MusicRecording
and
** Music
und
songArtist
** ** MusicRecording
and
** CognitiveAgent
RTIST und
** CognitiveAgent
ist gleich
** CognitiveAgent
RTIST nicht und
record
** ** MusicRecording
and
** Music
USIC und die
zeit
des Bestehens von
** Music
USIC geschieht
vor
die
zeit
des Bestehens von
** Music
M %n{nicht}
(=>
(
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
Wenn
UnicameralLegislature
ist ein
attribut
von
Organization
%n{nicht} und
legislativeBranch
** Organization
and
GeopoliticalArea
und
** Organization
ist ein
fall
von
LegislativeChamber
%n{nicht} und
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Organization
ist ein
fall
von
LegislativeChamber
%n{nicht} und
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
,
dann
** ** Organization
ist gleich
** ** Organization
%n{nicht}
(=>
(
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
Wenn
FOKOrder
ist ein
attribut
von
Agreement
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
,
dann es gibt
Process
und
** TimeInterval
um
** Process
ist ein
fall
von
FillingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} oder es gibt
** Process
und
** TimeInterval
um
** ** Process
ist ein
fall
von
CancellingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
GTCOrder
ist ein
attribut
von
Agreement
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
,
dann es gibt
Process
und
** TimeInterval
um
** Process
ist ein
fall
von
FillingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
deckt
sich mit
** ** TimeInterval
%n{nicht} oder es gibt
** Process
und
** TimeInterval
um
** ** Process
ist ein
fall
von
CancellingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
IOCOrder
ist ein
attribut
von
Agreement
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
,
dann es gibt
Process
und
** TimeInterval
um
** Process
ist ein
fall
von
FillingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} oder es gibt
** Process
und
** TimeInterval
um
** ** Process
ist ein
fall
von
CancellingAnOrder
%n{nicht} und
** Agreement
ist ein
patient
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
LimitOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
Agreement
und
Broker
ist ein
attribut
von
** Agreement
%n{nicht} und
orderFor
** FinancialTransaction
,
Buying
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
askPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
LimitOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
Agreement
und
Broker
ist ein
attribut
von
** Agreement
%n{nicht} und
orderFor
** FinancialTransaction
,
Selling
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
bidPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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 19443-19453
Wenn
Stressed
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Word
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht},
dann es gibt nicht
** Object
2 um
** Object
2 ist ein
fall
von
Syllable
%n{nicht} und
** Object
2 ist ein
teil
von
** ** Object
%n{nicht} und
Stressed
ist ein
attribut
von
** Object
2 %n{nicht} und
** Object
2 ist gleich
** Object
nicht
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
Wenn
CommunalAttribute
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Table
%n{nicht} und
Process
ist ein
fall
von
Eating
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GroupOfPeople
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann die Aussage es gibt
entity
,
** entity
, and und
** Object
2 um
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht} und
** AutonomousAgent
ist gleich
** entity
nicht und
** entity
ist ein
fall
von
GroupOfPeople
%n{nicht} und
eventLocated
** ** entity
and
** Object
2 und die
zeit
des Bestehens von
** Process
schliesst
die
zeit
des Bestehens von
** ** entity
zeitlich an und
** Object
ist gleich
** Object
2 %n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 25748-25761
Wenn
Multilingual
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Speaking
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
SpokenHumanLanguage
%n{nicht} und
** ** entity
ist ein
fall
von
SpokenHumanLanguage
%n{nicht} und
** entity
ist gleich
** ** entity
nicht und
** entity
ist ein
patient
von
** Process
%n{nicht} oder
** ** entity
ist ein
patient
von
** Process
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
Wenn
Suite
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
HotelUnit
%n{nicht},
dann es gibt
** Object
und
** Object
um
** ** Object
ist ein
fall
von
HotelRoom
%n{nicht} und
** ** Object
ist ein
fall
von
HotelRoom
%n{nicht} und
** ** Object
ist
Inside
hinsichlich
** Object
%n{nicht} und
** ** Object
ist
Inside
hinsichlich
** Object
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
Wenn
birthdate
Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
** ** Day
und
Integer
um
birthday
** Human
and
** ** Day
und
** ** ** Day
ist eine
teilkategorie
von
Day
und
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** ** ** Day
ist gleich der
tag
** PositiveInteger
%n{nicht} und
** Integer
ist
groesserAls
** Integer
%n{nicht}
(=>
(
and
(
chromosomeSetCount
?SUB ?COLL ?I)
(
subCollection
?SUB ?COLL))
(
equal
?I
(
CardinalityFn
(
KappaFn
?I
(
subCollection
?SUB ?COLL)))))
VirusProteinAndCellPart.kif 829-836
Wenn
chromosomeSetCount
MonoploidChromosomeSet
,
Collection
and
Integer
und
** MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht},
dann
** Integer
ist gleich die Zahl
Faellen
in die
kategorie
die
** Integer
beschreibt %n{nicht}
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
Wenn
connectedBodyPartTypes
** BodyPart
,
** ** BodyPart
and
** Organism
und
** Organism
C ist ein
fall
von
** ** Organism
%n{nicht} und
DiseaseOrSyndrome
ist ein
attribut
von
** Object
nicht,
dann es gibt
** Object
und
** Object
um
** ** Object
ist ein
fall
von
** BodyPart
%n{nicht} und
** ** Object
ist ein
fall
von
** ** BodyPart
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** ** Organism
C %n{nicht} und
** ** Object
ist ein
teil
von
** ** Organism
C %n{nicht} und
** ** Object
wird an
** ** Object
angeschlossen
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