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
connectsEngineeringComponents
Sigma KEE - connectsEngineeringComponents
connectsEngineeringComponents
appearance as argument number 1
(
documentation
connectsEngineeringComponents
ChineseLanguage
"
connectsEngineeringComponents
是一种
TernaryPredicate
,它把一个
EngineeringConnection
和它连接的
EngineeringComponent
联系。因为
EngineeringComponent
不能和自身连接,而又容许出现 没有
connectedEngineeringComponents
Predicate
的
EngineeringConnection
,所以任何
connectsEngineeringComponents
关系的第二和第三个参数一定需有和第一个参数不同。")
chinese_format.kif 4056-4060
(
documentation
connectsEngineeringComponents
EnglishLanguage
"
connectsEngineeringComponents
is a
TernaryPredicate
that maps from an
EngineeringConnection
to the
EngineeringComponent
s it connects. Since
EngineeringComponent
s cannot be connected to themselves and there cannot be an
EngineeringConnection
without a
connectedEngineeringComponents
Predicate
, the second and third arguments of any
connectsEngineeringComponents
relationship will always be distinct for any given first argument.")
Merge.kif 16162-16168
(
domain
connectsEngineeringComponents
1
EngineeringConnection
)
Merge.kif 16159-16159
The number 1 argument of
connects engineering components
is an
instance
of
engineering connection
(
domain
connectsEngineeringComponents
2
EngineeringComponent
)
Merge.kif 16160-16160
The number 2 argument of
connects engineering components
is an
instance
of
engineering component
(
domain
connectsEngineeringComponents
3
EngineeringComponent
)
Merge.kif 16161-16161
The number 3 argument of
connects engineering components
is an
instance
of
engineering component
(
instance
connectsEngineeringComponents
TernaryPredicate
)
Merge.kif 16158-16158
connects engineering components
is an
instance
of
ternary predicate
(
subrelation
connectsEngineeringComponents
connects
)
Merge.kif 16157-16157
connects engineering components
is a
subrelation
of
connects
appearance as argument number 2
(
format
ChineseLanguage
connectsEngineeringComponents
"%1 %n
connects
%2 和 %3")
chinese_format.kif 543-543
(
format
EnglishLanguage
connectsEngineeringComponents
"%1 %n{doesn't} connect%p{s} %2 and %3")
english_format.kif 548-548
(
format
FrenchLanguage
connectsEngineeringComponents
"%1 %n{ne} connecte %n{pas} %2 et %3")
french_format.kif 319-319
(
format
ItalianLanguage
connectsEngineeringComponents
"%1 connette %2 e %3")
relations-it.txt 55-55
(
format
JapaneseLanguage
connectsEngineeringComponents
"%1 は %2 と %3 に connect%p{s} して %n{ない}")
japanese_format.kif 2087-2087
(
format
PortugueseLanguage
connectsEngineeringComponents
"%1 %n{nao} conecta %n %2 e %3")
portuguese_format.kif 271-271
(
format
de
connectsEngineeringComponents
"%1 schliesst %2 und %3 an")
relations-de.txt 710-710
(
format
hi
connectsEngineeringComponents
"%1 %2 aura %3 ko jodataa hai")
relations-hindi.txt 96-96
(
format
ro
connectsEngineeringComponents
"%1 %n{nu} connect%t{interfaþeazã} %2 ºi %3")
relations-ro.kif 340-340
(
format
sv
connectsEngineeringComponents
"%1 ansluter %n{inte} %2 och %3")
relations-sv.txt 352-352
(
format
tg
connectsEngineeringComponents
"%1 nagkakabit %2 at %3")
relations-cb.txt 89-89
(
termFormat
ChineseLanguage
connectsEngineeringComponents
"连接工程子组件")
chinese_format.kif 544-544
(
termFormat
ChineseLanguage
connectsEngineeringComponents
"连接工程组件")
domainEnglishFormat.kif 16668-16668
(
termFormat
ChineseTraditionalLanguage
connectsEngineeringComponents
"連接工程組件")
domainEnglishFormat.kif 16667-16667
(
termFormat
EnglishLanguage
connectsEngineeringComponents
"connects engineering components")
domainEnglishFormat.kif 16666-16666
(
termFormat
tg
connectsEngineeringComponents
"nagkakabit bahagi")
relations-tg.txt 127-127
antecedent
(=>
(
and
(
connectsEngineeringComponents
?CONN ?DEVICE ?AP)
(
instance
?AP
InternetAccessPoint
))
(
instance
?CONN
InternetConnection
))
Hotel.kif 1392-1396
If
an engineering connection
connect
s
an engineering component
and
another engineering component
and
the other engineering component
is an
instance
of
internet access point
,
then
the engineering connection
is an
instance
of
internet connection
(=>
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2))
(
connectedEngineeringComponents
?COMP1 ?COMP2))
Merge.kif 16152-16155
If there exists
an engineering connection
such that
the engineering connection
connect
s
an engineering component
and
another engineering component
,
then
the engineering component
is
connected
to
the other engineering component
consequent
(=>
(
connectedEngineeringComponents
?COMP1 ?COMP2)
(
exists
(?CONNECTION)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 16147-16150
If
an engineering component
is
connected
to
another engineering component
,
then there exists
an engineering connection
such that
the engineering connection
connect
s
the engineering component
and
the other engineering component
(=>
(
instance
?ADAPT
OutletAdapter
)
(
hasPurpose
?ADAPT
(
exists
(?OUTLET ?PLUG)
(
and
(
instance
?PLUG
ElectricalPlug
)
(
instance
?OUTLET
ElectricalOutlet
)
(
completelyFills
?PLUG ?ADAPT)
(
completelyFills
?ADAPT ?OUTLET)
(
connectsEngineeringComponents
?ADAPT ?PLUG ?OUTLET)))))
Mid-level-ontology.kif 25977-25986
If
a physical
is an
instance
of
outlet adapter
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
electrical plug
and
the entity
is an
instance
of
electrical outlet
and
the other entity
completely
fill
s
the physical
and
the physical
completely
fill
s
the entity
and
the physical
connect
s
the other entity
and
the entity
(=>
(
instance
?CONNECTION
EngineeringConnection
)
(
exists
(?COMP1 ?COMP2)
(
connectsEngineeringComponents
?CONNECTION ?COMP1 ?COMP2)))
Merge.kif 16135-16138
If
an engineering connection
is an
instance
of
engineering connection
,
then there exist
an engineering component
and
another engineering component
such that
the engineering connection
connect
s
the engineering component
and
the other engineering component
(=>
(
instance
?X
CordedTelephone
)
(
exists
(?HANDSET ?CRADLE ?WIRE)
(
and
(
instance
?HANDSET
TelephoneHandset
)
(
instance
?CRADLE
TelephoneCradle
)
(
part
?HANDSET ?X)
(
part
?CRADLE ?X)
(
instance
?WIRE
WireLine
)
(
connectsEngineeringComponents
?WIRE ?HANDSET ?CRADLE))))
Communications.kif 78-87
If
an object
is an
instance
of
corded telephone
,
then there exist
an engineering component
,
another engineering component
and
an engineering connection
such that
the engineering component
is an
instance
of
telephone handset
and
the other engineering component
is an
instance
of
telephone cradle
and
the engineering component
is a
part
of
the object
and
the other engineering component
is a
part
of
the object
and
the engineering connection
is an
instance
of
wire line
and
the engineering connection
connect
s
the engineering component
and
the other engineering component
(=>
(
instance
?X
CordlessTelephone
)
(
exists
(?HANDSET ?CRADLE)
(
and
(
instance
?HANDSET
TelephoneHandset
)
(
instance
?CRADLE
TelephoneCradle
)
(
part
?HANDSET ?X)
(
part
?CRADLE ?X)
(
not
(
exists
(?WIRE)
(
and
(
instance
?WIRE
WireLine
)
(
connectsEngineeringComponents
?WIRE ?HANDSET ?CRADLE)))))))
Communications.kif 95-107
If
an object
is an
instance
of
cordless telephone
,
then there exist
an engineering component
and
another engineering component
such that
the engineering component
is an
instance
of
telephone handset
and
the other engineering component
is an
instance
of
telephone cradle
and
the engineering component
is a
part
of
the object
and
the other engineering component
is a
part
of
the object
and there doesn't exist
an engineering connection
such that
the engineering connection
is an
instance
of
wire line
and
the engineering connection
connect
s
the engineering component
and
the other engineering component
(=>
(
instance
?X
ElectricalOutlet
)
(
hasPurpose
?X
(
exists
(?POWER ?WIRE)
(
and
(
instance
?POWER
PowerSource
)
(
instance
?WIRE
Collection
)
(
memberType
?WIRE
WireLine
)
(
connectsEngineeringComponents
?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 25919-25927
If
a physical
is an
instance
of
electrical outlet
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
power source
and
the other entity
is an
instance
of
collection
and
wire line
is a
member
type of
the other entity
and
the other entity
connect
s
the physical
and
the entity
(=>
(
instance
?X
Modem
)
(
hasPurpose
?X
(
exists
(?ISP ?CONN)
(
and
(
instance
?ISP
InternetServiceProvider
)
(
connectsEngineeringComponents
?CONN ?X ?ISP)
(
instance
?CONN
TelephoneLine
)))))
Hotel.kif 1378-1385
If
a physical
is an
instance
of
modem
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
internet service provider
and
the other entity
connect
s
the physical
and
the entity
and
the other entity
is an
instance
of
telephone line
(=>
(
instance
?X
TelephoneCradle
)
(
hasPurpose
?X
(
exists
(?SYS ?WIRE)
(
and
(
instance
?SYS
TelephoneSystem
)
(
instance
?WIRE
WireLine
)
(
connectsEngineeringComponents
?WIRE ?X ?SYS)))))
Communications.kif 64-71
If
a physical
is an
instance
of
telephone cradle
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
telephone system
and
the other entity
is an
instance
of
wire line
and
the other entity
connect
s
the physical
and
the entity
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