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
represents
Sigma KEE - represents
represents
appearance as argument number 1
(
documentation
represents
ChineseLanguage
"这是一个十分概括的符号
Predicate
, (
represents
?THING ?ENTITY) 的意思是 ?THING 在某些方面表示、表意味、 想象和形容 ?ENTITY等等。
Predicate
containsInformation
和
realization
是
represents
的子关系。注:
represents
是
refers
的子关系,因为只有当一样东西在引用另一样东西时,才能描述这件东西。可参考
names
的文档字符串。")
chinese_format.kif 2164-2168
(
documentation
represents
EnglishLanguage
"A very general semiotics
Predicate
. (
represents
?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The
Predicate
s
containsInformation
and
realization
are subrelations of
represents
. Note that
represents
is a subrelation of
refers
, since something can represent something else only if it refers to this other thing. See the documentation string for
names
.")
Merge.kif 4455-4461
(
documentation
represents
JapaneseLanguage
"非常に一般的な記号論
Predicate
。 (
represents
?THING ?ENTITY) とは、?THING が何らかの方法で?ENTITYに対して示し、表現、意味、 描写、記述などすることを意味する。
Predicate
s
containsInformation
と
realization
は
represents
の サブリファリレーションである。 注:
represents
は、
refers
の サブリレー ションである。それがこの他のものを参照している場合にのみ何かが他のものを表すことができるのからであ る。
names
のドキュメント文字列を参照。")
japanese_format.kif 823-828
(
domain
represents
1
Entity
)
Merge.kif 4452-4452
Die Zahl 1 Argument von
stelltDar
ist ein
fall
von
Entity
%n{nicht}
(
domain
represents
2
Entity
)
Merge.kif 4453-4453
Die Zahl 2 Argument von
stelltDar
ist ein
fall
von
Entity
%n{nicht}
(
instance
represents
BinaryPredicate
)
Merge.kif 4451-4451
stelltDar
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
represents
refers
)
Merge.kif 4450-4450
stelltDar
ist eine
teilrelation
von
beziehtSichAuf
appearance as argument number 2
(
format
ChineseLanguage
represents
"%1 %n{doesn't} 表达 %2")
chinese_format.kif 227-227
(
format
EnglishLanguage
represents
"%1 %n{doesn't} express%p{es} %2")
english_format.kif 228-228
(
format
FrenchLanguage
represents
"%1 %n{ne} d�finie %n{pas} %2")
french_format.kif 133-133
(
format
ItalianLanguage
represents
"%1 esprime %2")
relations-it.txt 253-253
(
format
JapaneseLanguage
represents
"%1 は %2 を express%p{es} %n{ない}")
japanese_format.kif 1962-1962
(
format
PortugueseLanguage
represents
"%1 %n{nao}
de
fine %n %2")
portuguese_format.kif 85-85
(
format
de
represents
"%1 drueckt %2 aus")
relations-de.txt 296-296
(
format
hi
represents
"%1 %2 ko abhivyakta karataa hai")
relations-hindi.txt 290-290
(
format
ro
represents
"%1 %n{nu} express%t{reprezinã} %2")
relations-ro.kif 152-152
(
format
sv
represents
"%1 uttrycker %n{inte} %2")
relations-sv.txt 138-138
(
format
tg
represents
"%1 ay nagtatanto %2")
relations-tg.txt 445-445
(
subrelation
abstractCounterpart
represents
)
Merge.kif 6113-6113
abstractCounterpart
ist eine
teilrelation
von
stelltDar
(
subrelation
anthem
represents
)
Music.kif 349-349
anthem
ist eine
teilrelation
von
stelltDar
(
subrelation
cardCode
represents
)
FinancialOntology.kif 3498-3498
cardCode
ist eine
teilrelation
von
stelltDar
(
subrelation
conforms
represents
)
Mid-level-ontology.kif 26923-26923
conforms
ist eine
teilrelation
von
stelltDar
(
subrelation
containsInformation
represents
)
Merge.kif 1356-1356
enthaeltInformationen
ist eine
teilrelation
von
stelltDar
(
subrelation
hardwareType
represents
)
QoSontology.kif 1020-1020
hardwareType
ist eine
teilrelation
von
stelltDar
(
subrelation
implementsProtocol
represents
)
ComputingBrands.kif 4050-4050
implementsProtocol
ist eine
teilrelation
von
stelltDar
(
subrelation
pin
represents
)
FinancialOntology.kif 3537-3537
pin
ist eine
teilrelation
von
stelltDar
(
subrelation
productBrand
represents
)
Hotel.kif 1301-1301
productBrand
ist eine
teilrelation
von
stelltDar
(
subrelation
productModel
represents
)
QoSontology.kif 14-14
productModel
ist eine
teilrelation
von
stelltDar
(
subrelation
realization
represents
)
Merge.kif 4595-4595
realizierung
ist eine
teilrelation
von
stelltDar
(
subrelation
record
represents
)
Mid-level-ontology.kif 14322-14322
record
ist eine
teilrelation
von
stelltDar
(
termFormat
ChineseLanguage
represents
"代表")
domainEnglishFormat.kif 49532-49532
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(=>
(
and
(
instance
?AGREEMENT
InternationalAgreement
)
(
instance
?COMMITTING
Committing
)
(
represents
?COMMITTING ?AGREEMENT))
(
exists
(?AGENT)
(
and
(
agent
?COMMITTING ?AGENT)
(
instance
?AGENT
Nation
))))
Geography.kif 3001-3009
Wenn
Entity
ist ein
fall
von
InternationalAgreement
%n{nicht} und
Process
ist ein
fall
von
Committing
%n{nicht} und
** Process
drueckt
** Entity
aus,
dann es gibt
AutonomousAgent
um
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Nation
%n{nicht}
(=>
(
and
(
instance
?LOGO
Logo
)
(
represents
?LOGO ?OBJ))
(
or
(
instance
?OBJ
AutonomousAgent
)
(
instance
?OBJ
Product
)))
Media.kif 895-901
Wenn
Entity
ist ein
fall
von
Logo
%n{nicht} und
** Entity
drueckt
** Entity
aus,
dann
** ** Entity
ist ein
fall
von
AutonomousAgent
%n{nicht} oder
** ** Entity
ist ein
fall
von
Product
%n{nicht}
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
Wenn
Entity
ist ein
fall
von
OPLAN
%n{nicht} und
** Entity
drueckt
Process
aus und
** Process
ist ein
fall
von
MilitaryOperation
%n{nicht} und
** Process
SUB ist ein
subProzess
von
** Process
,
dann
** Entity
drueckt
** Process
SUB aus
(=>
(
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}
(=>
(
and
(
instance
?QUERY
SearchQuery
)
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY ?SEARCHATTEMPT))
(
exists
(?AGENT ?OBJ)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
patient
?SEARCHATTEMPT ?OBJ)
(
agent
?SEARCHATTEMPT ?AGENT))))
UXExperimentalTerms.kif 2426-2435
Wenn
Entity
ist ein
fall
von
SearchQuery
%n{nicht} und
Process
ist ein
fall
von
SearchAttempt
%n{nicht} und
** Entity
drueckt
** Process
aus,
dann es gibt
AutonomousAgent
und
** Entity
um
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** ** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht}
consequent
(=>
(
albumCoverImage
?A ?I)
(
represents
?I ?A))
Music.kif 312-314
Wenn
albumCoverImage
Album
and
Image
,
dann
** Image
drueckt
** Album
aus
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?CONFIDENCE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 531-537
Wenn
confidenceInterval
Experimenting
and
RealNumber
und
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Formula
ist ein
fall
von
Formula
%n{nicht} und
** Formula
ist ein
patient
von
** Experimenting
%n{nicht},
dann
** RealNumber
drueckt
die
wahrscheinlichkeit
von
** Formula
aus
(=>
(
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
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3135-3141
Wenn
CodeMap
ist ein
fall
von
AirlineCodeMap
%n{nicht} und
codeMapping
** CodeMap
,
SymbolicString
and
Entity
,
dann
** Entity
ist ein
fall
von
Airline
%n{nicht} und
** SymbolicString
drueckt
** Entity
aus
(=>
(
and
(
instance
?EXPRESS
Expressing
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?STATE)
(
and
(
instance
?STATE
StateOfMind
)
(
attribute
?AGENT ?STATE)
(
represents
?EXPRESS ?STATE))))
Merge.kif 13116-13124
Wenn
Process
ist ein
fall
von
Expressing
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
Attribute
um
** Attribute
ist ein
fall
von
StateOfMind
%n{nicht} und
** Attribute
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
** Process
drueckt
** Attribute
aus
(=>
(
and
(
instance
?OBJ
DigitalDataStorageDevice
)
(
part
?PART ?OBJ)
(
instance
?PART
DigitalData
))
(
exists
(?SCHEME ?LIST ?NUM)
(
and
(
codeMapping
?SCHEME ?PART ?NUM)
(
represents
?LIST ?SCHEME)
(=>
(
inList
?NUM ?LIST)
(
instance
?NUM
BinaryNumber
)))))
Media.kif 801-812
Wenn
Object
ist ein
fall
von
DigitalDataStorageDevice
%n{nicht} und
SymbolicString
ist ein
teil
von
** Object
%n{nicht} und
** SymbolicString
ist ein
fall
von
DigitalData
%n{nicht},
dann es gibt
CodeMap
,
List
, and und
Entity
um
codeMapping
** CodeMap
,
** SymbolicString
and
** Entity
und
** List
drueckt
** CodeMap
aus und
wenn
** Entity
ist ein
Mitglied
von
** List
,
dann
** Entity
ist ein
fall
von
BinaryNumber
%n{nicht}
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
Wenn
Entity
ist ein
fall
von
OPLAN
%n{nicht} und
** Entity
drueckt
Process
aus und
** Process
ist ein
fall
von
MilitaryOperation
%n{nicht} und
** Process
SUB ist ein
subProzess
von
** Process
,
dann
** Entity
drueckt
** Process
SUB aus
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PLAN)
(
instance
?OP
MilitaryOperation
)
(
result
?OP ?CBO))
(
represents
?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
Wenn
Proposition
ist ein
fall
von
OperationPlan
%n{nicht} und
ContentBearingPhysical
ist ein
fall
von
ContentBearingObject
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
und
Process
ist ein
fall
von
MilitaryOperation
%n{nicht} und
** ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht},
dann
** Proposition
drueckt
** Process
aus
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 3025-3032
Wenn
Proposition
ist ein
fall
von
Proposition
%n{nicht} und
ContentBearingPhysical
ist ein
fall
von
ContentBearingObject
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
** Proposition
und
Process
ist ein
fall
von
Communication
%n{nicht} und
** ContentBearingPhysical
ist ein
patient
von
** Process
%n{nicht},
dann
** Process
drueckt
** Proposition
aus
(=>
(
and
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
Wenn
ContentBearingPhysical
ist ein
fall
von
BirthCertificate
%n{nicht} und
Process
ist ein
fall
von
Birth
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
containsFormula
** ContentBearingPhysical
and es gibt
entity
,
** entity
, and und
** entity
um
birthdate
** AutonomousAgent
and
** entity
und
** entity
ist ein
fall
von
Day
%n{nicht} und
birthplace
** AutonomousAgent
and
** ** entity
und
** ** entity
ist ein
fall
von
GeographicArea
%n{nicht} und
** ** entity
drueckt
** AutonomousAgent
aus und
** ** entity
ist ein
fall
von
Name
%n{nicht}
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
Wenn
ContentBearingPhysical
ist ein
fall
von
DeathCertificate
%n{nicht} und
Process
ist ein
fall
von
Death
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
containsFormula
** ContentBearingPhysical
and es gibt
** Process
AY,
** entity
,, ,
** entity
, and und
** ** entity
ROC um
deathdate
** AutonomousAgent
and
** Process
AY und
** Process
AY ist ein
fall
von
Day
%n{nicht} und
deathplace
** AutonomousAgent
and
** ** entity
und
** ** entity
ist ein
fall
von
GeographicArea
%n{nicht} und
** ** entity
drueckt
** AutonomousAgent
aus und
** ** entity
ist ein
fall
von
Name
%n{nicht} und
** ** entity
ROC verursacht
** Process
%n{nicht} und
** ** entity
ROC ist ein
fall
von
Process
%n{nicht}
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
Wenn
Physical
ist ein
fall
von
SurveillanceSystem
%n{nicht} und
** Physical
ist ein
Mitglied
von
Collection
%n{nicht} und
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Collection
befindet
sich an %n{nicht} und
** Collection
ist ein
fall
von
Camera
%n{nicht} und
** ** Collection
befindet
sich an %n{nicht} und
Object
ist gleich
** Object
nicht und
** ** Collection
ist ein
fall
von
VideoDisplay
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Process
%n{nicht} und
eventLocated
** entity
and
** Object
und
** ** entity
drueckt
** entity
aus und
Camera
ist ein
instrument
fuer
** ** entity
%n{nicht} und
** ** entity
ist ein
resultat
von
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
RadiatingLight
%n{nicht} und
** ** Collection
ist ein
instrument
fuer
** ** entity
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und der
anfang
von
** entity
geschieht
vor
der
anfang
von
** ** entity
%n{nicht} und der
anfang
von
** ** entity
geschieht
vor
der
anfang
von
** ** entity
%n{nicht} %n{nicht}
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
Wenn
pValue
Experimenting
and
RealNumber
und
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Formula
ist ein
fall
von
Formula
%n{nicht} und
** Formula
ist ein
patient
von
** Experimenting
%n{nicht},
dann
** RealNumber
drueckt
die
wahrscheinlichkeit
von
** Formula
aus
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
Wenn
userIDString
Identifier
and
UserAccount
und
hasAccount
AutonomousAgent
and
** UserAccount
,
dann
** Identifier
drueckt
** AutonomousAgent
aus
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1088-1094
Wenn
ThemeRoom
ist ein
attribut
von
Object
%n{nicht},
dann es gibt
Process
und
Entity
um
** Process
ist ein
fall
von
Designing
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Object
drueckt
** Entity
aus
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
Wenn
AeronauticalEngineer
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann es gibt
** Process
um
** AutonomousAgent
hat die F�higkeit, zum
** Process
zu tun %n{nicht} und fuer alle
** Process
wenn
** ** Process
ist ein
fall
von
** ** Process
%n{nicht},
dann es gibt
** Process
,
Entity
, and und
** ** Process
T um
** ** Process
ist ein
fall
von
Making
%n{nicht} und
** Entity
ist ein
fall
von
Aircraft
%n{nicht} oder
** Entity
ist ein
fall
von
** ** Process
T %n{nicht} und
typicalPart
** ** Process
T and
Aircraft
und
** Entity
ist ein
resultat
von
** ** Process
%n{nicht} und
** ** Process
ist ein
subProzess
von
** ** Process
oder es gibt
** Process
,
** ** Process
LAN,, ,
** Entity
, and und
** ** Process
T um
** ** Process
ist ein
fall
von
Designing
%n{nicht} und
** Entity
ist ein
fall
von
Aircraft
%n{nicht} oder
** Entity
ist ein
fall
von
** ** Process
T %n{nicht} und
typicalPart
** ** Process
T and
Aircraft
und
** ** Process
LAN ist ein
resultat
von
** ** Process
%n{nicht} und
** ** Process
LAN
drueckt
** Entity
aus und
** ** Process
ist ein
subProzess
von
** ** Process
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
Wenn
brandIcon
Brand
and
Icon
,
dann es gibt
AutonomousAgent
um
managedBy
** Brand
and
** AutonomousAgent
und
managedBy
** Icon
and
** AutonomousAgent
und
** Icon
drueckt
** Brand
aus
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
exists
(?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
(
and
(
instance
?WEBPAGE
WebPage
)
(
subString
?WEBPAGE ?SITE)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?ACCESSING ?AGENT)
(
programRunning
?BPROC ?BROWSER)
(
causes
?BPROC ?ACCESSING)
(
destination
?ACCESSING ?WEBPAGE)
(
represents
?STRING ?AGENT))))
UXExperimentalTerms.kif 736-748
Wenn
browserID
Identifier
,
WebBrowser
and
WebSite
,
dann es gibt
SymbolicString
,
Process
,, ,
AutonomousAgent
, and und
ComputerProcess
um
** SymbolicString
ist ein
fall
von
WebPage
%n{nicht} und
subString
** SymbolicString
and
** WebSite
und
** Process
ist ein
fall
von
AccessingWebPage
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
programRunning
** ComputerProcess
and
** WebBrowser
und
** ComputerProcess
verursacht
** Process
%n{nicht} und
** Process
endet an
** SymbolicString
%n{nicht} und
** Identifier
drueckt
** AutonomousAgent
aus
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
Wenn
capacityByArrangement
Region
,
Proposition
and
Integer
,
dann
wenn
** Region
drueckt
** Proposition
aus,
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
GroupOfPeople
%n{nicht} und
memberCount
** entity
and
** ** entity
und
** ** entity
ist
kleinerAlsOderGleich
** Integer
%n{nicht} und
** entity
befindet
sich an %n{nicht} hat die modale Kraft von
Possibility
(=>
(
categoryID
?STRING ?CAT)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 171-173
Wenn
categoryID
Identifier
and
WebListingCategory
,
dann
** Identifier
drueckt
Entity
aus
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2272-2274
Wenn
codeMapping
CodeMap
,
SymbolicString
and
Entity
,
dann
** SymbolicString
drueckt
** Entity
aus
(=>
(
contestParticipantRepresentation
?CONT ?AGENT ?OBJ)
(
holdsDuring
(
WhenFn
?CONT)
(
represents
?AGENT ?OBJ)))
Music.kif 1109-1113
Wenn
contestParticipantRepresentation
Contest
,
CognitiveAgent
and
Object
,
dann
** CognitiveAgent
drueckt
** Object
aus haelt
waehrend
die
zeit
des Bestehens von
** Contest
%n{nicht}
(=>
(
evidence
?LA ?P)
(
exists
(?A ?PROP)
(
and
(
instance
?PROP
Proposition
)
(
instance
?A
Argument
)
(
refers
?A ?LA)
(
represents
?PROP ?P)
(
premise
?A ?PROP))))
Law.kif 180-188
Wenn
evidence
LegalAction
and
Physical
,
dann es gibt
Argument
und
** Physical
ROP um
** Physical
ROP ist ein
fall
von
Proposition
%n{nicht} und
** Argument
ist ein
fall
von
Argument
%n{nicht} und
** Argument
umfasst einen
hinweis
auf
** LegalAction
und
** Physical
ROP
drueckt
** Physical
aus und
premise
** Argument
and
** Physical
ROP
(=>
(
experimentID
?STRING ?EXP)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 4024-4026
Wenn
experimentID
Identifier
and
Experimenting
,
dann
** Identifier
drueckt
Entity
aus
(=>
(
hasExpertise
?H
Architecture
)
(
exists
(?D ?P ?B)
(
and
(
instance
?D
ContentDevelopment
)
(
agent
?D ?H)
(
result
?D ?P)
(
instance
?P
Blueprint
)
(
represents
?P ?B)
(
instance
?B
Building
))))
Mid-level-ontology.kif 21183-21192
Wenn
hasExpertise
Human
and
Architecture
,
dann es gibt
Process
,
Entity
, and und
** Entity
um
** Process
ist ein
fall
von
ContentDevelopment
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Blueprint
%n{nicht} und
** Entity
drueckt
** ** Entity
aus und
** ** Entity
ist ein
fall
von
Building
%n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
represents
ResistorElement
Dissipator
)
engineering.kif 850-850
ResistorElement
drueckt
Dissipator
aus
(
represents
ResistorElement
ElectricalTwopole
)
engineering.kif 851-851
ResistorElement
drueckt
ElectricalTwopole
aus
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