Human
(=>
(
and
(
instance
?H
Human
)
(
occupiesPosition
?H ?B ?O)
(
attribute
?B
Banker
))
(
instance
?O
BankFinancialOrganization
))
FinancialOntology.kif 3652-3657
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
** Human
besetzt die
position
von
Position
in
Organization
und
Banker
ist ein
attribut
von
** Position
%n{nicht},
dann
** Organization
ist ein
fall
von
BankFinancialOrganization
%n{nicht}
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
Wenn
WearableItem
ist ein
fall
von
HearingProtection
%n{nicht} und
Animal
ist ein
fall
von
Human
%n{nicht} und
wears
** Animal
and
** WearableItem
,
dann
** WearableItem
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Process
%n{nicht} und
** ** entity
ist eine
teilkategorie
von die
kategorie
die
** ** entity
beschreibt und
** entity
verhindert
das Auftreten von
** ** entity
und
** WearableItem
ist ein
instrument
fuer
** entity
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
Wenn
Process
ist ein
fall
von
GravesDisease
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Object
ist ein
fall
von
ThyroidHormone
%n{nicht} und
** Object
ist ein
teil
von
** AutonomousAgent
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** Object
ist ein
fall
von
Human
%n{nicht} und
** Object
ist ein
fall
von
ThyroidHormone
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
Wenn
Process
ist ein
fall
von
HashimotosThyroiditis
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Object
ist ein
fall
von
ThyroidHormone
%n{nicht} und
** Object
ist ein
teil
von
** AutonomousAgent
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** Object
ist ein
fall
von
Human
%n{nicht} und
** Object
ist ein
fall
von
ThyroidHormone
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht},
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?IMPRISON
Imprisoning
)
(
detainee
?IMPRISON ?AGENT)
(
instance
?AGENT
Human
)
(
time
?IMPRISON ?INTERVAL)
(
instance
?INTERVAL
TimeInterval
))
(
exists
(?ARREST ?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
time
?ARREST ?TIME)
(
earlier
?TIME ?INTERVAL)
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT))))
Mid-level-ontology.kif 23513-23526
Wenn
Confining
ist ein
fall
von
Imprisoning
%n{nicht} und
detainee
** Confining
and
Animal
und
** Animal
ist ein
fall
von
Human
%n{nicht} und
** Confining
besteht
waehrend
TimeInterval
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann es gibt
PlacingUnderArrest
und
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** PlacingUnderArrest
besteht
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** PlacingUnderArrest
ist ein
fall
von
PlacingUnderArrest
%n{nicht} und
arrested
** PlacingUnderArrest
and
** Animal
(=>
(
and
(
instance
?KL
KnockLight
)
(
instance
?A
Human
)
(
attribute
?A
Deaf
)
(
uses
?KL ?A))
(
hasPurpose
?KL
(
exists
(?KNOCK ?DOOR)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
instance
?DOOR
Door
)
(
knows
?A ?KNOCK)))))
Mid-level-ontology.kif 25840-25852
Wenn
Object
ist ein
fall
von
KnockLight
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Deaf
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
verwendet
** Object
,
dann
** Object
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Impacting
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Door
%n{nicht} und
** AutonomousAgent
kennt
** entity
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?M
Misdiagnosing
)
(
agent
?M ?D)
(
refers
?M ?P)
(
instance
?P
Human
))
(
exists
(?DIS)
(
and
(
containsFormula
?M
(
attribute
?P ?DIS))
(
instance
?DIS
DiseaseOrSyndrome
)
(
believes
?D
(
attribute
?P ?DIS))
(
truth
(
attribute
?P ?DIS)
False
))))
Medicine.kif 4195-4210
Wenn
Process
ist ein
fall
von
Misdiagnosing
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
** Process
umfasst einen
hinweis
auf
Entity
und
** Entity
ist ein
fall
von
Human
%n{nicht},
dann es gibt
** CognitiveAgent
IS um
containsFormula
** Process
and
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} und
** CognitiveAgent
IS ist ein
fall
von
DiseaseOrSyndrome
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} und
truth
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} and
False
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
Wenn
MusicalTone
ist ein
fall
von
MusicalTone
%n{nicht} und
soundFrequency
** MusicalTone
and
RealNumber
Hertz
(s) und
loudness
** MusicalTone
and
** RealNumber
Decibel
(s) und
** MusicalTone
befindet
sich an %n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
250 %n{nicht} und 8000 ist
groesserAls
** RealNumber
%n{nicht} und
Human
ist ein
fall
von
Human
%n{nicht} und
Process
ist ein
fall
von
Listening
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht},
dann
hearingAcuity
** Human
,
** ** RealNumber
Decibel
(s) and
** ** RealNumber
Decibel
(s)
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
Wenn
Process
ist ein
fall
von
Ordaining
%n{nicht} und
Physical
ist ein
patient
von
** Process
%n{nicht} und
** Physical
ist ein
fall
von
Human
%n{nicht} und
** Physical
ist ein
Mitglied
von
Christianity
%n{nicht},
dann
** Process
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Ceremony
%n{nicht} und
** ** entity
ist ein
fall
von
Appointing
%n{nicht} und
** ** entity
ist ein
subProzess
von
** entity
und
** Physical
ist ein
patient
von
** ** entity
%n{nicht} und
appointedPosition
** ** entity
,
** Physical
and
Cleric
%n{nicht}
(=>
(
and
(
instance
?ORG
Human
)
(
holdsDuring
?TIME
(
attribute
?ORG
FullyFormed
)))
(
holdsDuring
?TIME
(
instance
?ORG
HumanAdult
)))
Mid-level-ontology.kif 233-239
Wenn
Entity
ist ein
fall
von
Human
%n{nicht} und
FullyFormed
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
** Entity
ist ein
fall
von
HumanAdult
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22470-22475
Wenn
Entity
ist ein
fall
von
MilitaryOrganization
%n{nicht} und
** Entity
ist ein
Mitglied
von
** Entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} und
** ** Entity
ist ein
fall
von
Human
%n{nicht},
dann
MilitaryPerson
ist ein
attribut
von
** ** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
Wenn
Object
ist ein
fall
von
Human
%n{nicht} und
Fever
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
RealNumber
um das
mass
von
** Object
ist
** RealNumber
FahrenheitDegree
(s) %n{nicht} und
** RealNumber
ist
groesserAls
98.6 %n{nicht}
(=>
(
and
(
instance
?P
Human
)
(
attribute
?P
Criminal
))
(
exists
(?CA ?LC)
(
and
(
instance
?CA
CriminalAction
)
(
instance
?LC
LegalConviction
)
(
refers
?LC ?CA)
(
patient
?LC ?P))))
Justice.kif 87-96
Wenn
Object
ist ein
fall
von
Human
%n{nicht} und
Criminal
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
Entity
und
Process
um
** Entity
ist ein
fall
von
CriminalAction
%n{nicht} und
** Process
ist ein
fall
von
LegalConviction
%n{nicht} und
** Process
umfasst einen
hinweis
auf
** Entity
und
** Object
ist ein
patient
von
** Process
%n{nicht}
(=>
(
and
(
instance
?PARK
DisabledParking
)
(
instance
?AGENT
Human
)
(
attribute
?AGENT ?ATTR)
(
instance
?ATTR
Disability
))
(
hasPurposeForAgent
?PARK
(
and
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
)) ?AGENT))
TransportDetail.kif 49-59
Wenn
Physical
ist ein
fall
von
DisabledParking
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Attribute
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
** Attribute
ist ein
fall
von
Disability
%n{nicht},
dann
** Physical
hat Zweck von
playsRoleInEvent
** Physical
,
bestimmungsort
and
entity
und
playsRoleInEvent
** entity
,
patient
and
** entity
und
** ** entity
ist ein
fall
von
TransportationDevice
%n{nicht} fuer
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7467-7474
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
DescendantsFn
** Human
ist gleich
FamilyGroup
%n{nicht},
dann fuer alle
Organism
** Organism
ist ein
Mitglied
von
** FamilyGroup
%n{nicht} genau dann wenn
ancestor
** Organism
and
** Human
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ORG
Organization
)
(
instance
?POSITION
Position
)
(
attribute
?PERSON
(
MemberRoleFn
?ORG ?POSITION)))
(
occupiesPosition
?PERSON ?POSITION ?ORG))
Government.kif 1806-1812
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Organization
ist ein
fall
von
Organization
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
MemberRoleFn
** Organization
and
** Position
ist ein
attribut
von
** Human
%n{nicht},
dann
** Human
besetzt die
position
von
** Position
in
** Organization
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1487-1494
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
leaderPosition
** GeopoliticalArea
and
** Position
und
** Human
besetzt die
position
von
** Position
in
GovernmentFn
** GeopoliticalArea
,
dann
leader
** GeopoliticalArea
and
** Human
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?ORG
AutonomousAgent
)
(
leaderPosition
?ORG ?ROLE)
(
occupiesPosition
?PERSON ?ROLE ?ORG))
(
leader
?ORG ?PERSON))
Government.kif 1478-1485
Wenn
Human
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
fall
von
Position
%n{nicht} und
Organization
ist ein
fall
von
AutonomousAgent
%n{nicht} und
leaderPosition
** Organization
and
** Position
und
** Human
besetzt die
position
von
** Position
in
** Organization
,
dann
leader
** Organization
and
** Human
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?WRITE
Writing
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
result
?WRITE ?TEXT)
(
agent
?WRITE ?PERSON))
(
attribute
?PERSON
Writer
))
Biography.kif 742-751
Wenn
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Process
ist ein
fall
von
Writing
%n{nicht} und
Entity
ist ein
fall
von
Text
%n{nicht} oder
** Entity
ist ein
fall
von
Document
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
Writer
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?PILOT
Human
)
(
attribute
?PILOT
Pilot
))
(
hasSkill
FlyingAircraft
?PILOT))
Biography.kif 634-638
Wenn
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Pilot
ist ein
attribut
von
** AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
FlyingAircraft
zu tun %n{nicht}
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
Wenn
** BodyPart
ist ein
fall
von
CervicalVertebraBone
%n{nicht} und
** BodyPart
ist ein
teil
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Human
%n{nicht} und
DiseaseOrSyndrome
ist ein
attribut
von
** Object
nicht,
dann es gibt
** ** BodyPart
um
** ** BodyPart
ist ein
fall
von
CervicalVertebraBone
%n{nicht} und
** ** ** BodyPart
ist gleich
** ** BodyPart
nicht und
** ** ** BodyPart
ist ein
teil
von
** Object
%n{nicht} und
connectedBodyPart
** ** ** BodyPart
and
** ** BodyPart
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
Wenn
** BodyPart
ist ein
fall
von
FalseRibBone
%n{nicht} und
** BodyPart
ist ein
teil
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Human
%n{nicht} und
DiseaseOrSyndrome
ist ein
attribut
von
** Object
nicht,
dann es gibt nicht
** ** BodyPart
um
** ** BodyPart
ist ein
fall
von
Sternum
%n{nicht} und
** ** ** BodyPart
ist ein
teil
von
** Object
%n{nicht} und
connectedBodyPart
** ** ** BodyPart
and
** ** BodyPart
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
Wenn
** BodyPart
ist ein
fall
von
LumbarVertebraBone
%n{nicht} und
** BodyPart
ist ein
teil
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Human
%n{nicht} und
DiseaseOrSyndrome
ist ein
attribut
von
** Object
nicht,
dann es gibt
** ** BodyPart
um
** ** BodyPart
ist ein
fall
von
LumbarVertebraBone
%n{nicht} und
** ** ** BodyPart
ist gleich
** ** BodyPart
nicht und
** ** ** BodyPart
ist ein
teil
von
** Object
%n{nicht} und
connectedBodyPart
** ** ** BodyPart
and
** ** BodyPart
(=>
(
and
(
instance
?R
RadiatingLight
)
(
instance
?H
Human
)
(
instance
?S
Seeing
)
(
agent
?S ?H)
(
patient
?S ?R))
(
instance
?R
RadiatingVisibleLight
))
Mid-level-ontology.kif 624-631
Wenn
Entity
ist ein
fall
von
RadiatingLight
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Process
ist ein
fall
von
Seeing
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
RadiatingVisibleLight
%n{nicht}
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
Wenn
** BodyPart
ist ein
fall
von
ThoracicVertebraBone
%n{nicht} und
** BodyPart
ist ein
teil
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Human
%n{nicht} und
DiseaseOrSyndrome
ist ein
attribut
von
** Object
nicht,
dann es gibt
** ** BodyPart
um
** ** BodyPart
ist ein
fall
von
ThoracicVertebraBone
%n{nicht} und
** ** ** BodyPart
ist gleich
** ** BodyPart
nicht und
** ** ** BodyPart
ist ein
teil
von
** Object
%n{nicht} und
connectedBodyPart
** ** ** BodyPart
and
** ** BodyPart
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