Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - ElectricalSignalling
ElectricalSignalling
appearance as argument number 1
(
documentation
ElectricalSignalling
EnglishLanguage
"
ElectricalSignalling
is the subclass of
Signalling
processes that involve control of an electrical current. Cf.
ElectronicSignalling
.")
Mid-level-ontology.kif 3101-3103
(
subclass
ElectricalSignalling
Signalling
)
Mid-level-ontology.kif 3100-3100
subclass
ElectricalSignalling
and
Signalling
appearance as argument number 2
(
subclass
ElectronicSignalling
ElectricalSignalling
)
Mid-level-ontology.kif 3115-3115
subclass
ElectronicSignalling
and
ElectricalSignalling
(
termFormat
ChineseLanguage
ElectricalSignalling
"电信号")
domainEnglishFormat.kif 21550-21550
(
termFormat
ChineseTraditionalLanguage
ElectricalSignalling
"電信號")
domainEnglishFormat.kif 21549-21549
(
termFormat
EnglishLanguage
ElectricalSignalling
"electrical signalling")
domainEnglishFormat.kif 21548-21548
antecedent
(=>
(
instance
?S
ElectricalSignalling
)
(
exists
(?D)
(
and
(
instance
?D
ElectricDevice
)
(
instrument
?S ?D))))
Mid-level-ontology.kif 3104-3109
instance
Process
and
ElectricalSignalling
Object
instance
Object
and
ElectricDevice
instrument
Process
and
Object
consequent
(=>
(
instance
?X
Earphone
)
(
hasPurpose
?X
(
exists
(?ES ?RS ?SIGNAL ?EAR ?PROC)
(
and
(
instance
?ES
ElectricalSignalling
)
(
patient
?ES ?SIGNAL)
(
destination
?ES ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
patient
?PROC ?SIGNAL)
(
result
?PROC ?RS)
(
instance
?RS
RadiatingSound
)
(
origin
?RS ?X)
(
before
(
BeginFn
(
WhenFn
?ES))
(
BeginFn
(
WhenFn
?PROC)))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?RS)))
(
instance
?EAR
Ear
)
(
orientation
?X ?EAR
Adjacent
)))))
Mid-level-ontology.kif 24083-24104
instance
Physical
and
Earphone
hasPurpose
Physical
and
entity
entity
,
entity
,
entity
and
entity
instance
entity
and
ElectricalSignalling
patient
entity
and
entity
destination
entity
and
Physical
instance
entity
and
Process
instrument
entity
and
Physical
patient
entity
and
entity
result
entity
and
entity
instance
entity
and
RadiatingSound
origin
entity
and
Physical
before
BeginFn
WhenFn
entity
and
BeginFn
WhenFn
entity
before
BeginFn
WhenFn
entity
and
BeginFn
WhenFn
entity
instance
entity
and
Ear
orientation
Physical
,
entity
and
Adjacent
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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