member
(=>
(
and
(
instance
?CLUB
Club
)
(
member
?MEM1 ?CLUB)
(
member
?MEM2 ?CLUB))
(
exists
(?DESIRE)
(
and
(
desires
?MEM1 ?DESIRE)
(
desires
?MEM2 ?DESIRE))))
Mid-level-ontology.kif 944-952
Wenn
Collection
ist ein
fall
von
Club
%n{nicht} und
CognitiveAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
** CognitiveAgent
ist ein
Mitglied
von
** Collection
%n{nicht},
dann es gibt
Formula
um
** CognitiveAgent
wuenscht
** Formula
%n{nicht} und
** ** CognitiveAgent
wuenscht
** Formula
%n{nicht}
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
FinancialTransaction
))))
(
exists
(?ITEM ?BUYING)
(
equal
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Physical
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?COLL)
(
patient
?BUYING ?ITEM))))
(
BoughtItemsFn
?COLL))))
UXExperimentalTerms.kif 2887-2903
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
FinancialTransaction
%n{nicht}
,
dann es gibt
SymbolicString
und
entity
um die Zahl
Faellen
in die
kategorie
die
** SymbolicString
beschreibt ist gleich
BoughtItemsFn
** Collection
%n{nicht}
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
WebListing
%n{nicht}
,
dann die Zahl
Faellen
in es gibt
entity
,
** entity
, and und
** entity
um die
kategorie
die
** entity
beschreibt und die Zahl
Faellen
in
** Collection
ist gleich
BidCountFn
** Collection
%n{nicht}
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
exists
(?BIDDING ?ITEM ?LISTING ?BIDDING)
(
equal
(
CardinalityFn
(
KappaFn
?BIDDING
(
and
(
instance
?ITEM
Physical
)
(
instance
?LISTING
WebListing
)
(
instance
?BIDDING
Bidding
)
(
member
?LISTING ?COLL)
(
objectOfBid
?BIDDING ?ITEM)
(
patient
?LISTING ?ITEM))))
(
BidCountFn
?COLL))))
UXExperimentalTerms.kif 2922-2940
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
WebListing
%n{nicht}
,
dann es gibt
SymbolicString
,
entity
,, ,
** entity
, and und
** SymbolicString
um die Zahl
Faellen
in die
kategorie
die
** SymbolicString
beschreibt ist gleich
BidCountFn
** Collection
%n{nicht}
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
WebSite
ist ein
fall
von
WebSite
%n{nicht} und
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
WebListing
ist ein
fall
von
WebListing
%n{nicht} und
TimePoint
ist ein
fall
von
TimePoint
%n{nicht} und
listingSeller
** WebListing
and
** AutonomousAgent
und
** WebListing
ist ein
Mitglied
von
** Collection
nicht und fuer alle
Physical
und
** Physical
wenn
** Physical
ist ein
fall
von
WebListing
%n{nicht} und
** Physical
ist ein
Mitglied
von
SellersItemsFn
** AutonomousAgent
and
** WebSite
%n{nicht} und
** TimePoint
ist ein
teil
von die
zeit
des Bestehens von
** Physical
%n{nicht} und
** Physical
ist gleich
** WebListing
nicht,
dann
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht}
und
wenn
** ** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** TimePoint
ist ein
teil
von die
zeit
des Bestehens von
** Physical
%n{nicht} und
** ** Physical
ist ein
fall
von
WebListing
%n{nicht}
,
dann
SellersOtherItemsFn
** AutonomousAgent
,
** WebSite
,
** WebListing
and
** TimePoint
ist gleich
** Collection
%n{nicht}
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
CommonWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EmmerWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsTauschii
))))
Economy.kif 3970-3985
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
CommonWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
EmmerWheatGrass
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
AegilopsTauschii
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
DurumWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
TriticumUrartu
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsSpeltoides
))))
Economy.kif 3911-3926
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
DurumWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
TriticumUrartu
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
AegilopsSpeltoides
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
EmmerWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EinkornWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsGrass
))))
Economy.kif 3879-3894
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
EmmerWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
EinkornWheatGrass
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
AegilopsGrass
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 719-731
Wenn
Collection
ist ein
fall
von
MonoploidChromosomeSet
%n{nicht} und
memberType
** Collection
and
Chromosome
und
** Collection
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** Object
ist ein
teil
von
EukaryoticCell
%n{nicht} und
Chromosome
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Chromosome
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Chromosome
ist gleich
** ** Chromosome
nicht,
dann
homologousChromosome
** Chromosome
and
** ** Chromosome
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
Wenn
Object
ist ein
fall
von
** CompoundSubstance
%n{nicht} und
** CompoundSubstance
ist eine
teilkategorie
von
CompoundSubstance
und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
** ** CompoundSubstance
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
molecularRatio
** ElementalSubstance
,
Integer
and
** ** CompoundSubstance
und
Collection
ist ein
fall
von
Group
%n{nicht} und
** Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
** ElementalSubstance
%n{nicht},
dann
memberCount
** Collection
and
** Integer
(=>
(
and
(
instance
?D
Demonstration
)
(
agent
?D ?G)
(
member
?A1 ?G)
(
member
?A2 ?G))
(
exists
(?P)
(
and
(
believes
?A1 ?P)
(
believes
?A2 ?P))))
MilitaryProcesses.kif 2673-2682
Wenn
Process
ist ein
fall
von
Demonstration
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
CognitiveAgent
ist ein
Mitglied
von
** AutonomousAgent
%n{nicht} und
** CognitiveAgent
ist ein
Mitglied
von
** AutonomousAgent
%n{nicht},
dann es gibt
Formula
um
** CognitiveAgent
glaubt %n{nicht}, dass
** Formula
und
** ** CognitiveAgent
glaubt %n{nicht}, dass
** Formula
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
exists
(?HAIR)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?E))))
Anatomy.kif 1458-1467
Wenn
Collection
ist ein
fall
von
Eyebrow
%n{nicht} und
Healthy
ist ein
attribut
von
Object
%n{nicht} und
** Collection
ist ein
teil
von
** Object
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann es gibt
** Object
AIR um
** Object
AIR ist ein
fall
von
Hair
%n{nicht} und
** Object
AIR ist ein
teil
von
** Collection
%n{nicht}
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H)
(
member
?C ?E))
(
memberCount
?E 2))
Anatomy.kif 1450-1456
Wenn
Collection
ist ein
fall
von
Eyebrow
%n{nicht} und
Healthy
ist ein
attribut
von
Object
%n{nicht} und
** Collection
ist ein
teil
von
** Object
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
memberCount
** Collection
and 2
(=>
(
and
(
instance
?F
ComputerDirectory
)
(
member
?M ?F))
(
instance
?M
ComputerFile
))
engineering.kif 1351-1355
Wenn
Collection
ist ein
fall
von
ComputerDirectory
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
ComputerFile
%n{nicht}
(=>
(
and
(
instance
?F
MilitaryForce
)
(
instance
?P
Human
)
(
instance
?I
Imprisoning
)
(
member
?P ?F)
(
agent
?I ?E)
(
patient
?I ?P)
(
enemy
?E ?P)
(
eventLocated
?I ?LOC)
(
attribute
?LOC
WarState
))
(
attribute
?P
PrisonerOfWar
))
MilitaryPersons.kif 285-296
Wenn
Collection
ist ein
fall
von
MilitaryForce
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Process
ist ein
fall
von
Imprisoning
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
patient
von
** Process
%n{nicht} und
enemy
** ** AutonomousAgent
and
** AutonomousAgent
und
eventLocated
** Process
and
Object
und
WarState
ist ein
attribut
von
** Object
%n{nicht},
dann
PrisonerOfWar
ist ein
attribut
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?FS
FileSystem
)
(
member
?M ?FS))
(
instance
?M
ComputerFile
))
engineering.kif 1344-1348
Wenn
Collection
ist ein
fall
von
FileSystem
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
ComputerFile
%n{nicht}
(=>
(
and
(
instance
?GOLGI
GolgiApparatus
)
(
member
?PART ?GOLGI))
(
instance
?PART
CellPart
))
VirusProteinAndCellPart.kif 1061-1065
Wenn
Collection
ist ein
fall
von
GolgiApparatus
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
CellPart
%n{nicht}
(=>
(
and
(
instance
?GROUP
CellInternalMembraneGroup
)
(
member
?MEMBRANE ?GROUP))
(
instance
?MEMBRANE
CellMembraneInternal
))
VirusProteinAndCellPart.kif 1084-1088
Wenn
Collection
ist ein
fall
von
CellInternalMembraneGroup
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
CellMembraneInternal
%n{nicht}
(=>
(
and
(
instance
?GROUP
DramaticCast
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
holdsDuring
?T1
(
attribute
?MEM
Actor
)))
Mid-level-ontology.kif 18814-18820
Wenn
Entity
ist ein
fall
von
DramaticCast
%n{nicht} und
** entity
ist ein
Mitglied
von
** Entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
Actor
ist ein
attribut
von
** ** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?GROUP
Group
)
(
member
?MEMB ?GROUP))
(
instance
?MEMB
AutonomousAgent
))
Merge.kif 16228-16232
Wenn
Collection
ist ein
fall
von
Group
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
AutonomousAgent
%n{nicht}
(=>
(
and
(
instance
?GROUP
GroupOfPeople
)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER
Human
))
Merge.kif 16238-16242
Wenn
Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
Human
%n{nicht}
(=>
(
and
(
instance
?GROUP
MusicalGroup
)
(
holdsDuring
?T1
(
member
?MEM ?GROUP)))
(
exists
(?M)
(
and
(
instance
?M
Musician
)
(
holdsDuring
?T1
(
attribute
?MEM ?M)))))
Media.kif 1771-1780
Wenn
Entity
ist ein
fall
von
MusicalGroup
%n{nicht} und
** entity
ist ein
Mitglied
von
** Entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** Entity
um
** ** Entity
ist ein
fall
von
Musician
%n{nicht} und
** ** Entity
ist ein
attribut
von
** ** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?GRP
GroupOfPeople
)
(
member
?ADULT ?GRP)
(
member
?BABY ?GRP)
(
instance
?BABY
HumanBaby
)
(
instance
?ADULT
HumanAdult
)
(
instance
?CRIB
Crib
))
(
inScopeOfInterest
?ADULT ?CRIB))
Hotel.kif 1270-1278
Wenn
Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
CognitiveAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Physical
ist ein
fall
von
HumanBaby
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
HumanAdult
%n{nicht} und
Entity
ist ein
fall
von
Crib
%n{nicht},
dann
** CognitiveAgent
ist an
** Entity
interessiert
%n{nicht}
(=>
(
and
(
instance
?L
SportsLeague
)
(
member
?M ?L))
(
instance
?M
SportsTeam
))
Mid-level-ontology.kif 7023-7027
Wenn
Collection
ist ein
fall
von
SportsLeague
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
SportsTeam
%n{nicht}
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M)
(
memberCount
?G ?N))
(
greaterThan
?N 10))
Mid-level-ontology.kif 7940-7947
Wenn
Process
ist ein
fall
von
LargeGroupProcess
%n{nicht} und
Collection
ist ein
fall
von
Collection
%n{nicht} und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
involvedInEvent
** Process
and
** Physical
und
memberCount
** Collection
and
Integer
,
dann
** Integer
ist
groesserAls
10 %n{nicht}
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