Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
result
Sigma KEE - result
result
appearance as argument number 1
(
disjointRelation
result
instrument
)
Merge.kif 2515-2515
resultat
und
instrument
werden
disjunkt
(
documentation
result
ChineseLanguage
"(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个
result
。")
chinese_format.kif 1895-1896
(
documentation
result
EnglishLanguage
"(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a
result
in the following proposition: Eric built a house.")
Merge.kif 2554-2556
(
documentation
result
JapaneseLanguage
"(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。 例:家は次の命題の
result
である: エリックは家を建てた。")
japanese_format.kif 521-522
(
domain
result
1
Process
)
Merge.kif 2551-2551
Die Zahl 1 Argument von
resultat
ist ein
fall
von
Process
%n{nicht}
(
domain
result
2
Entity
)
Merge.kif 2552-2552
Die Zahl 2 Argument von
resultat
ist ein
fall
von
Entity
%n{nicht}
(
instance
result
CaseRole
)
Merge.kif 2549-2549
resultat
ist ein
fall
von
CaseRole
%n{nicht}
(
instance
result
PartialValuedRelation
)
Merge.kif 2550-2550
resultat
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
subrelation
result
patient
)
Merge.kif 2548-2548
resultat
ist eine
teilrelation
von
patient
appearance as argument number 2
(
disjointRelation
resource
result
)
Merge.kif 2513-2513
hilfsmittel
und
resultat
werden
disjunkt
(
format
ChineseLanguage
result
"%2 %n 是 %1 的
result
")
chinese_format.kif 183-183
(
format
EnglishLanguage
result
"%2 is %n a
result
of %1")
english_format.kif 184-184
(
format
FrenchLanguage
result
"%2 est %n le
result
at de %1")
french_format.kif 111-111
(
format
ItalianLanguage
result
"%2 è %n un risultato di %1")
relations-it.txt 257-257
(
format
JapaneseLanguage
result
"%2 は %1 の
result
では %n")
japanese_format.kif 1940-1940
(
format
PortugueseLanguage
result
"%2 e' %n o
result
ado de %1")
portuguese_format.kif 63-63
(
format
cz
result
"%2 %p{je} %n{nen�} v�sledkem %1")
relations-cz.txt 87-87
(
format
de
result
"%2 ist ein
result
at von %1 %n{nicht}")
relations-de.txt 232-232
(
format
hi
result
"%2 %1 kaa pariNaama %n hai")
relations-hindi.txt 294-294
(
format
ro
result
"%2 %n{nu} este un
result
%t{rezultat} al lui %1")
relations-ro.kif 130-130
(
format
sv
result
"%2 är %n{inte} ett
result
at av %1")
relations-sv.txt 116-116
(
format
tg
result
"%2 %n ay ang hangga ng %1")
relations-tg.txt 449-449
(
termFormat
ChineseLanguage
result
"结果")
chinese_format.kif 184-184
(
termFormat
ChineseTraditionalLanguage
result
"結果")
domainEnglishFormat.kif 49795-49795
(
termFormat
EnglishLanguage
result
"result")
domainEnglishFormat.kif 49794-49794
(
termFormat
de
result
"resultat")
terms-de.txt 73-73
antecedent
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 12466-12473
Process
ist ein
fall
von
Combining
%n{nicht} und
Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht} genau dann wenn
** Object
ist ein
teil
von
** Entity
nicht haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** Object
ist ein
teil
von
** Entity
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20760-20767
Wenn
actedIn
Human
and
ContentBearingPhysical
und
Process
ist ein
fall
von
DramaticActing
%n{nicht} und
** Human
ist ein
patient
von
** Process
%n{nicht} und
** ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht},
dann
Actor
ist ein
attribut
von
** Human
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18837-18843
Wenn
Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
ArtWork
%n{nicht},
dann
Artist
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
Wenn
Writer
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingObject
ist eine
teilkategorie
von
Text
oder
** ** ContentBearingObject
ist eine
teilkategorie
von
Document
und
Process
ist ein
fall
von
Writing
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** AutonomousAgent
ist der
schreiber
von
** ** ContentBearingObject
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20734-20743
Wenn
directed
Human
and
MotionPicture
und
Process
ist ein
fall
von
FilmMaking
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
leader
** AutonomousAgent
and
** Human
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** MotionPicture
ist ein
resultat
von
** Process
%n{nicht},
dann
FilmDirector
ist ein
attribut
von
** Human
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?S ?PROC)
(
suffers
?PROC ?CO)))
Possibility
))
Medicine.kif 3040-3054
Wenn
AutonomousAgent
beschaeftigt
CognitiveAgent
%n{nicht} und
Process
ist ein
fall
von
DoNetworkMessaging
%n{nicht} und
Object
ist ein
resultat
von
** Process
%n{nicht} und
NSFW
ist ein
attribut
von
** Object
%n{nicht} und
** Process
ist ein
fall
von
Seeing
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** CognitiveAgent
%n{nicht},
dann die Aussage es gibt
entity
um
** ** Process
verursacht
** entity
%n{nicht} und
suffers
** entity
and
** CognitiveAgent
hat die modale Kraft von
Possibility
(=>
(
and
(
employs
?ORG ?P)
(
employs
?ORG ?CO)
(
instance
?D
DoNetworkMessaging
)
(
result
?D ?MSG)
(
attribute
?MSG
NSFW
)
(
agent
?D ?P)
(
instance
?S
Seeing
)
(
patient
?S ?MSG)
(
agent
?S ?CO))
(
modalAttribute
(
exists
(?PROC)
(
and
(
causes
?D ?PROC)
(
suffers
?PROC ?P)))
Likely
))
Medicine.kif 3022-3038
Wenn
AutonomousAgent
beschaeftigt
CognitiveAgent
%n{nicht} und
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
Process
ist ein
fall
von
DoNetworkMessaging
%n{nicht} und
Object
ist ein
resultat
von
** Process
%n{nicht} und
NSFW
ist ein
attribut
von
** Object
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Process
ist ein
fall
von
Seeing
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist der
agent
von
** ** CognitiveAgent
%n{nicht},
dann die Aussage es gibt
** CognitiveAgent
ROC um
** Process
verursacht
** CognitiveAgent
ROC %n{nicht} und
suffers
** CognitiveAgent
ROC and
** CognitiveAgent
hat die modale Kraft von
Likely
(=>
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 12828-12832
Wenn
Process
ist ein
fall
von
Constructing
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
StationaryArtifact
%n{nicht}
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
Wenn
Process
ist ein
fall
von
CateringService
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
endet an
** Process
UST %n{nicht} und
** AutonomousAgent
befindet
sich an %n{nicht} und
customer
** Process
UST and
** AutonomousAgent
und es gibt
** Process
,
Entity
, and und
** Process
um
** ** Process
ist ein
fall
von
Cooking
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
resultat
von
** ** Process
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Process
ist ein
fall
von
Eating
%n{nicht} und
** ** Process
ist der
agent
von
** Process
UST %n{nicht} und
eventLocated
** ** Process
and
Object
,
dann
** Object
ist gleich
** Object
nicht
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 20415-20420
Wenn
Process
ist ein
fall
von
Copying
%n{nicht} und
Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und
** Object
ist ein
resultat
von
** Process
%n{nicht},
dann
** Object
ist eine genaue
kopie
von
** ** Object
(=>
(
and
(
instance
?CREATE
Creation
)
(
result
?CREATE ?PROP)
(
instance
?PROP
Proposition
)
(
agent
?CREATE ?AGENT))
(
propositionOwner
?AGENT ?PROP))
Catalog.kif 172-178
Wenn
Process
ist ein
fall
von
Creation
%n{nicht} und
Proposition
ist ein
resultat
von
** Process
%n{nicht} und
** Proposition
ist ein
fall
von
Proposition
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht},
dann
propositionOwner
** CognitiveAgent
and
** Proposition
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
Wenn
Object
ist ein
fall
von
Antidiuretic
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
Entity
ist ein
resultat
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
** TimeInterval
ist gleich
** ** TimeInterval
nicht und
** Entity
ist ein
resultat
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
geschieht frueh als
** Motion
%n{nicht} und
** Motion
geschieht frueh als
** ** TimeInterval
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht} und das
mass
von
** TimeInterval
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** TimeInterval
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann die Aussage
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
Wenn
Object
ist ein
fall
von
Diuretic
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
Entity
ist ein
resultat
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
** Entity
ist ein
resultat
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
geschieht frueh als
** Motion
%n{nicht} und
** Motion
geschieht frueh als
** ** TimeInterval
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht} und das
mass
von
** TimeInterval
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** TimeInterval
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann die Aussage
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
Wenn
Process
ist ein
fall
von
Death
%n{nicht} und
Entity
ist ein
fall
von
OrganismRemains
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organism
%n{nicht} und
** entity
ist ein
teil
von
** Entity
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** ** entity
ist ein
teil
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** AutonomousAgent
erfaehrt
** Process
%n{nicht}
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12046-12062
Wenn
Process
ist ein
fall
von
Deciding
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Set
%n{nicht} und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
** ContentBearingPhysical
ist ein
fall
von
ContentBearingPhysical
%n{nicht},
dann
containsFormula
** ContentBearingPhysical
and es gibt
** entity
um
** ** entity
ist ein
element
von
** Entity
%n{nicht} und
** ** entity
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** ** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
WeaponOfMassDestruction
))
WMD.kif 690-694
Wenn
Process
ist ein
fall
von
DevelopingWeaponOfMassDestruction
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
WeaponOfMassDestruction
%n{nicht}
(=>
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))
(
instance
?COMPOUND
CompoundSubstance
))
Merge.kif 12547-12556
Wenn
Object
ist ein
fall
von
ElementalSubstance
%n{nicht} und
** Object
ist ein
fall
von
ElementalSubstance
%n{nicht} und
** Object
ist gleich
** ** Object
nicht und
Process
ist ein
fall
von
ChemicalSynthesis
%n{nicht} und
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und
** ** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
CompoundSubstance
%n{nicht}
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
Wenn
Process
ist ein
fall
von
OperationPlanning
%n{nicht} und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
** ContentBearingPhysical
ist ein
fall
von
ContentBearingObject
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
Proposition
,
dann
** Proposition
ist ein
fall
von
OperationPlan
%n{nicht}
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10840-10848
Wenn
Process
ist ein
fall
von
Planning
%n{nicht} und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
** ContentBearingPhysical
ist ein
fall
von
ContentBearingObject
%n{nicht},
dann es gibt
Proposition
um
** Proposition
ist ein
fall
von
Plan
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
result
?EXPERIMENT ?RESULT))
(
instance
?RESULT
Formula
))
UXExperimentalTerms.kif 3794-3798
Wenn
Process
ist ein
fall
von
Experimenting
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
Formula
%n{nicht}
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Wenn
Process
ist ein
fall
von
Felling
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann es gibt
** Entity
TEM um
** Entity
ist ein
fall
von
DeadFn
** Entity
TEM %n{nicht} und
** Entity
TEM ist eine
teilkategorie
von
PlantStem
(=>
(
and
(
instance
?F
Fermentation
)
(
patient
?F ?X)
(
instance
?X
(
JuiceOfFn
WineGrape
))
(
result
?F ?W))
(
instance
?W
Wine
))
Food.kif 3692-3699
Wenn
Process
ist ein
fall
von
Fermentation
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
JuiceOfFn
WineGrape
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** ** Entity
ist ein
fall
von
Wine
%n{nicht}
(=>
(
and
(
instance
?FACILITY
NuclearWeaponProductionFacility
)
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
eventLocated
?DEVELOP ?FACILITY)
(
result
?DEVELOP ?WEAPON))
(
instance
?WEAPON
NuclearWeapon
))
WMD.kif 654-660
Wenn
Object
ist ein
fall
von
NuclearWeaponProductionFacility
%n{nicht} und
Process
ist ein
fall
von
DevelopingWeaponOfMassDestruction
%n{nicht} und
eventLocated
** Process
and
** Object
und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
NuclearWeapon
%n{nicht}
(=>
(
and
(
instance
?G
Choreographing
)
(
result
?G ?P)
(
realization
?D ?P))
(
instance
?D
Dancing
))
Mid-level-ontology.kif 16047-16052
Wenn
Process
ist ein
fall
von
Choreographing
%n{nicht} und
Proposition
ist ein
resultat
von
** Process
%n{nicht} und
** Process
druekt den Inhalt von
** Proposition
aus,
dann
** ** Process
ist ein
fall
von
Dancing
%n{nicht}
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?M)
(
instance
?M
Mushroom
))
(
attribute
?M
Produce
))
Food.kif 2687-2692
Wenn
Process
ist ein
fall
von
Harvesting
%n{nicht} und
Object
ist ein
resultat
von
** Process
%n{nicht} und
** Object
ist ein
fall
von
Mushroom
%n{nicht},
dann
Produce
ist ein
attribut
von
** Object
%n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
Mid-level-ontology.kif 26329-26340
Process
ist ein
fall
von
Photocopying
%n{nicht} und
ContentBearingPhysical
ist ein
patient
von
** Process
%n{nicht} und
** ContentBearingPhysical
ist ein
fall
von
VisualContentBearingObject
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
Proposition
genau dann wenn es gibt
** ContentBearingPhysical
und
** Proposition
um
** ** ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
** ** ContentBearingPhysical
ist ein
fall
von
VisualContentBearingObject
%n{nicht} und
** ** ContentBearingPhysical
enthaelt Informationen ueber
** ** Proposition
und
** Proposition
ist gleich
** ** Proposition
%n{nicht}
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 6478-6488
Entity
ist ein
fall
von
ConjugatedSubstance
%n{nicht} genau dann wenn es gibt
Object
,
** Object
, and und
Process
um
** Object
ist ein
fall
von
CompoundSubstance
%n{nicht} und
** ** Object
ist ein
fall
von
CompoundSubstance
%n{nicht} und
** Object
ist gleich
** ** Object
nicht und
** Process
ist ein
fall
von
ChemicalSynthesis
%n{nicht} und
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und
** ** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht}
(<=>
(
yearOfFounding
?O ?Y)
(
exists
(?F ?YEAR)
(
and
(
overlapsTemporally
(
WhenFn
?F) ?YEAR)
(
instance
?YEAR
(
YearFn
?Y))
(
instance
?F
Founding
)
(
result
?F ?O))))
Mid-level-ontology.kif 968-975
yearOfFounding
Organization
and
Integer
genau dann wenn es gibt
Process
und
** Integer
EAR um
** Integer
EAR
deckt
sich mit die
zeit
des Bestehens von
** Process
%n{nicht} und
** Integer
EAR ist ein
fall
von das
jahr
** Integer
%n{nicht} und
** Process
ist ein
fall
von
Founding
%n{nicht} und
** Organization
ist ein
resultat
von
** Process
%n{nicht}
(=>
(
actedIn
?ACTOR ?O)
(
exists
(?PERF)
(
and
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))))
Mid-level-ontology.kif 20752-20758
Wenn
actedIn
Human
and
ContentBearingPhysical
,
dann es gibt
Process
um
** Process
ist ein
fall
von
DramaticActing
%n{nicht} und
** Human
ist ein
patient
von
** Process
%n{nicht} und
** ContentBearingPhysical
ist ein
resultat
von
** Process
%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 17332-17345
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
?X
Produce
)
(
instance
?X
FruitOrVegetable
))
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
(
FoodForFn
Human
))))))
Economy.kif 4195-4204
Wenn
Produce
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
FruitOrVegetable
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Harvesting
%n{nicht} und
** Object
ist ein
resultat
von
** entity
%n{nicht} und
** Object
ist ein
fall
von
FoodForFn
Human
%n{nicht} %n{nicht}
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
Wenn
Process
endet an
Object
%n{nicht} und
** Process
ist ein
fall
von
Messaging
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Object
ist ein
fall
von
Telex
%n{nicht},
dann es gibt
** Process
und
** Entity
um
** Object
ist ein
instrument
fuer
** ** Process
%n{nicht} und
** ** Entity
ist ein
resultat
von
** ** Process
%n{nicht} und
** ** Entity
drueckt
** Entity
aus und
** ** Entity
ist ein
fall
von
Text
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** Process
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
Wenn
Process
ist ein
fall
von
Crushing
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Object
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
resultat
von
** Process
%n{nicht} und
** ** Process
ist ein
fall
von
ShapeChange
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
Wenn
Process
ist ein
fall
von
Curdling
%n{nicht} und
Substance
ist ein
patient
von
** Process
%n{nicht} und
** Substance
ist ein
fall
von
Colloid
%n{nicht},
dann es gibt
** Process
und
** Substance
um
** ** Process
ist ein
fall
von
Separating
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** Substance
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Substance
ist ein
resultat
von
** ** Process
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht} und
** ** Substance
ist ein
fall
von
Substance
%n{nicht}
(=>
(
and
(
instance
?CA
ChemicalAcid
)
(
instance
?CB
ChemicalBase
)
(
instance
?C
ChemicalProcess
)
(
patient
?C ?CA)
(
patient
?C ?CB))
(
exists
(?CS)
(
and
(
instance
?CS
ChemicalSalt
)
(
result
?C ?CS))))
Mid-level-ontology.kif 8726-8736
Wenn
Entity
ist ein
fall
von
ChemicalAcid
%n{nicht} und
** Entity
ist ein
fall
von
ChemicalBase
%n{nicht} und
Process
ist ein
fall
von
ChemicalProcess
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Process
S um
** Process
S ist ein
fall
von
ChemicalSalt
%n{nicht} und
** Process
S ist ein
resultat
von
** Process
%n{nicht}
(=>
(
and
(
instance
?COLOR
SecondaryColor
)
(
attribute
?OBJ ?COLOR))
(
exists
(?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2)
(
and
(
result
?PROCESS ?OBJ)
(
resource
?PROCESS ?RESOURCE1)
(
resource
?PROCESS ?RESOURCE2)
(
attribute
?RESOURCE1 ?PRIMARY1)
(
attribute
?RESOURCE2 ?PRIMARY2)
(
instance
?PRIMARY1
PrimaryColor
)
(
instance
?PRIMARY2
PrimaryColor
)
(
not
(
equal
?PRIMARY1 ?PRIMARY2)))))
Mid-level-ontology.kif 19379-19392
Wenn
Attribute
ist ein
fall
von
SecondaryColor
%n{nicht} und
** Attribute
ist ein
attribut
von
Object
%n{nicht},
dann es gibt
Process
,
** Object
,, ,
** Object
,, ,
** Attribute
, and und
** Attribute
um
** Object
ist ein
resultat
von
** Process
%n{nicht} und
** ** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und
** ** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und
** ** Attribute
ist ein
attribut
von
** ** Object
%n{nicht} und
** ** Attribute
ist ein
attribut
von
** ** Object
%n{nicht} und
** ** Attribute
ist ein
fall
von
PrimaryColor
%n{nicht} und
** ** Attribute
ist ein
fall
von
PrimaryColor
%n{nicht} und
** ** Attribute
ist gleich
** ** Attribute
nicht
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10222-10237
Wenn
Process
ist ein
fall
von
Death
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organism
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
Entity
und
** entity
um
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
OrganicObject
%n{nicht} und
Dead
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** Process
%n{nicht} und
wenn
** ** entity
ist ein
teil
von
** Entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** ** entity
ist ein
teil
von
** AutonomousAgent
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
Wenn
Process
ist ein
fall
von
Death
%n{nicht} und
Entity
ist ein
fall
von
OrganismRemains
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organism
%n{nicht} und
** entity
ist ein
teil
von
** Entity
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** ** entity
ist ein
teil
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
** Entity
ist ein
resultat
von
** Process
%n{nicht}
(=>
(
and
(
instance
?DISMANTLE
DismantlingWeaponOfMassDestruction
)
(
patient
?DISMANTLE ?WEAPON))
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON)
(
earlier
(
WhenFn
?DEVELOP)
(
WhenFn
?DISMANTLE)))))
WMD.kif 750-758
Wenn
Process
ist ein
fall
von
DismantlingWeaponOfMassDestruction
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
DevelopingWeaponOfMassDestruction
%n{nicht} und
** Entity
ist ein
resultat
von
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
geschieht frueh als die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
instance
?M
ProcessedMilk
)
(
patient
?FM ?M))
(
exists
(?H ?A ?B)
(
and
(
instance
?H
Heating
)
(
patient
?H ?M)
(
instance
?A
Aerating
)
(
patient
?A ?M)
(
result
?A ?B)
(
instance
?B
Bubble
)
(
during
(
WhenFn
?A)
(
WhenFn
?H)))))
Food.kif 1190-1205
Wenn
Process
ist ein
fall
von
FoamingMilk
%n{nicht} und
Entity
ist ein
fall
von
ProcessedMilk
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Process
,
** Process
, and und
** Entity
um
** ** Process
ist ein
fall
von
Heating
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
ist ein
fall
von
Aerating
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Entity
ist ein
resultat
von
** ** Process
%n{nicht} und
** ** Entity
ist ein
fall
von
Bubble
%n{nicht} und die
zeit
des Bestehens von
** ** Process
geschieht
waehrend
die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
Medicine.kif 3665-3678
Wenn
Process
ist ein
fall
von
Gaslighting
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
suffers
** Process
and
** AutonomousAgent
,
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Perception
%n{nicht} und
** ** AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und
causesProposition
suffers
** Process
and
** ** AutonomousAgent
and
** ** AutonomousAgent
kennt
entity
ist ein
resultat
von
** ** Process
%n{nicht} nicht
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
Wenn
Object
ist ein
fall
von
Gene
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
** Object
ist ein
fall
von
Cell
%n{nicht},
dann es gibt
Process
,
** Object
, and und
** Object
um
** Process
ist ein
fall
von
BiologicalProcess
%n{nicht} und
eventLocated
** Process
and
** ** Object
und
** Process
beginnet an
** Object
%n{nicht} und
** ** Object
ist ein
resultat
von
** Process
%n{nicht} und
** ** Object
ist ein
fall
von
Nucleotide
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
RNAMolecule
%n{nicht} und
** ** Object
befindet
sich an %n{nicht}
(=>
(
and
(
instance
?G
Grinding
)
(
patient
?G ?O)
(
instance
?O
CorpuscularObject
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
exists
(?C)
(
and
(
result
?G ?C)
(
instance
?C
Collection
)
(
forall
(?M)
(=>
(
member
?M ?C)
(
part
?M ?O)))))))
Food.kif 1012-1026
Wenn
Process
ist ein
fall
von
Grinding
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
CorpuscularObject
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
resultat
von
** Process
%n{nicht} und
** ** entity
ist ein
fall
von
Collection
%n{nicht} und fuer alle
** entity
wenn
** ** entity
ist ein
Mitglied
von
** ** entity
%n{nicht},
dann
** ** entity
ist ein
teil
von
** Entity
%n{nicht}
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?L
Laceration
)
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L))
(
part
?S ?H))
(
exists
(?P)
(
and
(
instance
?P
Poking
)
(
result
?P ?L))))
Medicine.kif 6219-6228
Wenn
HoleRegion
ist ein
fall
von
Laceration
%n{nicht} und
Object
ist ein
fall
von
Skin
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Poking
%n{nicht} und
** HoleRegion
ist ein
resultat
von
** Process
%n{nicht}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryProductType
?INDUSTRY ?TYPE))
(
exists
(?EVENT ?ITEM)
(
and
(
instance
?EVENT
Making
)
(
instance
?ITEM ?TYPE)
(
agent
?EVENT ?ORG)
(
result
?EVENT ?ITEM))))
Economy.kif 1607-1617
Wenn
AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
IndustryAttribute
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
industryProductType
** IndustryAttribute
and
** Object
,
dann es gibt
Process
und
Entity
um
** Process
ist ein
fall
von
Making
%n{nicht} und
** Entity
ist ein
fall
von
** Object
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht}
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5210-5222
Wenn
Entity
ist ein
fall
von
ForestProduct
%n{nicht} und
Process
ist ein
fall
von
Manufacture
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Entity
ist ein
fall
von
Organism
%n{nicht},
dann es gibt
** Process
und
Object
um
** ** Process
ist ein
fall
von
Agriculture
%n{nicht} und
** ** Entity
ist ein
resultat
von
** ** Process
%n{nicht} und
eventLocated
** ** Process
and
** Object
und
** Object
ist ein
fall
von
Forest
%n{nicht}
(=>
(
and
(
instance
?P
Putting
)
(
patient
?P ?S)
(
instance
?S
Spice
)
(
destination
?P ?F)
(
instance
?F
PreparedFood
))
(
exists
(?C ?A)
(
and
(
instance
?C
InternalChange
)
(
patient
?C ?F)
(
result
?C ?A)
(
attribute
?F ?A)
(
or
(
instance
?A
FlavourAttribute
)
(
instance
?A
ColorAttribute
)))))
Economy.kif 4384-4399
Wenn
Process
ist ein
fall
von
Putting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Spice
%n{nicht} und
** Process
endet an
Object
%n{nicht} und
** Object
ist ein
fall
von
PreparedFood
%n{nicht},
dann es gibt
** Process
und
Attribute
um
** ** Process
ist ein
fall
von
InternalChange
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** Attribute
ist ein
resultat
von
** ** Process
%n{nicht} und
** Attribute
ist ein
attribut
von
** Object
%n{nicht} und
** Attribute
ist ein
fall
von
FlavourAttribute
%n{nicht} oder
** Attribute
ist ein
fall
von
ColorAttribute
%n{nicht}
(=>
(
and
(
instance
?PAGE
ViewItemPage
)
(
instance
?ADVERTISING
WebListing
)
(
component
?ADVERTISING ?PAGE)
(
patient
?ADVERTISING ?ITEM)
(
instance
?ITEM
Physical
))
(
exists
(?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
(
and
(
instance
?STATING
Stating
)
(
patient
?STATING ?DESCRIPTION)
(
refers
?DESCRIPTION ?ITEM)
(
result
?DESCRIPTION ?DESCRIPTIONCONTENT)
(
part
?DESCRIPTIONCONTENT ?PAGE))))
UXExperimentalTerms.kif 2078-2091
Wenn
CorpuscularObject
ist ein
fall
von
ViewItemPage
%n{nicht} und
Process
ist ein
fall
von
WebListing
%n{nicht} und
** Process
ist ein
bestandteil
von
** CorpuscularObject
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Physical
%n{nicht},
dann es gibt
** Process
,
** Process
, and und
** ** Process
CONTENT um
** ** Process
ist ein
fall
von
Stating
%n{nicht} und
** ** Process
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
umfasst einen
hinweis
auf
** Entity
und
** ** Process
CONTENT ist ein
resultat
von
** ** Process
%n{nicht} und
** ** Process
CONTENT ist ein
teil
von
** CorpuscularObject
%n{nicht}
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16802-16810
Wenn
Proposition
ist ein
fall
von
Plan
%n{nicht} und
ContentBearingPhysical
ist ein
fall
von
ContentBearingObject
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
,
dann es gibt
** Proposition
NING um
** Proposition
NING ist ein
fall
von
Planning
%n{nicht} und
** ContentBearingPhysical
ist ein
resultat
von
** Proposition
NING %n{nicht}
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
Wenn
Proposition
ist ein
fall
von
Plan
%n{nicht} und
Physical
ist ein
fall
von
Process
%n{nicht} und
** Proposition
drueckt
** Physical
aus,
dann es gibt
** Proposition
NING und
ContentBearingPhysical
um
** Proposition
NING ist ein
fall
von
Planning
%n{nicht} und
** ContentBearingPhysical
ist ein
fall
von
ContentBearingPhysical
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
und
** ContentBearingPhysical
ist ein
resultat
von
** Proposition
NING %n{nicht} und der
anfang
von die
zeit
des Bestehens von
** Proposition
NING geschieht frueh als der
anfang
von die
zeit
des Bestehens von
** Physical
%n{nicht} und das
ende
von die
zeit
des Bestehens von
** Proposition
NING geschieht frueh als das
ende
von die
zeit
des Bestehens von
** Physical
%n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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