and
(=>
(
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
?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 12536-12546
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
Fingerprint
%n{nicht} und
** Object
ist ein
fall
von
Finger
nicht,
dann es gibt
** Attribute
R und
** Object
um
** ** Object
ist ein
instrument
fuer
** Attribute
R %n{nicht} und
** ** Object
ist ein
fall
von
Finger
%n{nicht} und
** Attribute
ist ein
attribut
von
** ** Object
%n{nicht} und
** Object
ist ein
patient
von
** Attribute
R %n{nicht}
(=>
(
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
Wenn
Concave
ist ein
attribut
von
SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist eine
flaeche
von
** SelfConnectedObject
%n{nicht} und
Object
ist ein
teil
von
** ** SelfConnectedObject
%n{nicht} und
** Object
ist ein
teil
von
** ** SelfConnectedObject
%n{nicht} und
** Object
ist gleich
LineFn
** Object
and
** ** Object
%n{nicht} und
** Object
ist gleich
** ** Object
nicht und
** Object
ist ein
teil
von
** ** Object
%n{nicht},
dann
** ** Object
ist
Outside
hinsichlich
** SelfConnectedObject
%n{nicht}
(=>
(
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
Wenn
Convex
ist ein
attribut
von
SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist eine
flaeche
von
** SelfConnectedObject
%n{nicht} und
Object
ist ein
teil
von
** ** SelfConnectedObject
%n{nicht} und
** Object
ist ein
teil
von
** ** SelfConnectedObject
%n{nicht} und
** Object
ist gleich
LineFn
** Object
and
** ** Object
%n{nicht} und
** Object
ist gleich
** ** Object
nicht und
** Object
ist ein
teil
von
** ** Object
%n{nicht},
dann
** ** Object
ist
Inside
hinsichlich
** SelfConnectedObject
%n{nicht}
(=>
(
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 17354-17367
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
SubjectiveAssessmentAttribute
%n{nicht},
dann es gibt
TimePosition
,
Process
, and und
AutonomousAgent
um
** Process
ist ein
fall
von
Judging
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Attribute
ist ein
attribut
von
** Object
%n{nicht} ist ein
resultat
von
** Process
%n{nicht} und
** AutonomousAgent
glaubt %n{nicht}, dass
** Object
hat ein
attribut
** Attribute
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
attribute
?OBJ ?ATTR)
(
instance
?ATTR
FoodAttribute
))
(
instance
?OBJ
PreparedFood
))
Dining.kif 1130-1134
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
FoodAttribute
%n{nicht},
dann
** Object
ist ein
fall
von
PreparedFood
%n{nicht}
(=>
(
and
(
attribute
?OBJ ?SPHERE)
(
instance
?SPHERE
Sphere
))
(
exists
(?CENTER ?DIST)
(
forall
(?PT)
(=>
(
pointOfFigure
?PT ?OBJ)
(
geometricDistance
?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4989-4997
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
Sphere
%n{nicht},
dann es gibt
GeometricPoint
und
LengthMeasure
um fuer alle
** GeometricPoint
wenn
pointOfFigure
** ** GeometricPoint
and
** Object
,
dann
geometricDistance
** ** GeometricPoint
,
** GeometricPoint
and
** LengthMeasure
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17710-17719
Wenn
Monochromatic
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht} und
Attribute
ist ein
attribut
von
** ** Object
%n{nicht} und
** Attribute
ist ein
fall
von
PrimaryColor
%n{nicht},
dann fuer alle
** Object
wenn
** ** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht},
dann
** Attribute
ist ein
attribut
von
** ** Object
%n{nicht}
(=>
(
and
(
attribute
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
Brushless
))
(
instance
?OBJECT
ElectricalMotor
))
engineering.kif 716-720
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
Brushless
%n{nicht},
dann
** Object
ist ein
fall
von
ElectricalMotor
%n{nicht}
(=>
(
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
Wenn
Attribute
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** Attribute
ist ein
fall
von
CommissionedOfficerRank
%n{nicht},
dann es gibt
Process
und
Object
um
** Process
ist ein
fall
von
Managing
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Object
ist ein
fall
von
MilitaryOrganization
%n{nicht} oder
Soldier
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
BiologicalAttribute
))
(
instance
?ORG
OrganicObject
))
Merge.kif 18058-18062
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
BiologicalAttribute
%n{nicht},
dann
** Object
ist ein
fall
von
OrganicObject
%n{nicht}
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
DeepSeaCoastalAndGreatLakesWaterTransportation
))
(
instance
?ORG
TransportationCompany
))
naics.kif 8114-8118
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
DeepSeaCoastalAndGreatLakesWaterTransportation
%n{nicht},
dann
** Object
ist ein
fall
von
TransportationCompany
%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
?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
Wenn
MarketOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
Broker
ist ein
attribut
von
Agreement
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
** Agreement
und
orderFor
** FinancialTransaction
,
** ** FinancialTransaction
and
Security
,
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
attribute
?P ?R)
(
instance
?R
MilitaryRank
))
(
member
?P
MilitaryService
))
Military.kif 249-253
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
MilitaryRank
%n{nicht},
dann
** Object
ist ein
Mitglied
von
MilitaryService
%n{nicht}
(=>
(
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
Wenn
CollegeFreshman
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
1 %n{nicht}
(=>
(
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
Wenn
CollegeJunior
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
2 %n{nicht} und
** RealNumber
ist
kleinerAls
3 %n{nicht}
(=>
(
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
Wenn
CollegeSenior
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
3 %n{nicht} und
** RealNumber
ist
kleinerAls
4 %n{nicht}
(=>
(
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
Wenn
CollegeSophomore
ist ein
attribut
von
Position
%n{nicht} und
Human
besetzt die
position
von
** Position
in
Organization
,
dann es gibt
RealNumber
um
student
** Human
and
** Organization
haelt
waehrend
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
1 %n{nicht} und
** RealNumber
ist
kleinerAls
2 %n{nicht}
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
Wenn
Muslim
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
agent
Hajj
zu tun,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
Hajj
%n{nicht} und
** entity
ist der
agent
von
** Object
%n{nicht} hat die modale Kraft von
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