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
SSHWS1
SSHWS2
SSHWS3
SSHWS4
SSHWS5
SSHWSAttribute
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 - AutoAirbag
AutoAirbag
(airbag)
air_bag
appearance as argument number 1
(
documentation
AutoAirbag
EnglishLanguage
"Sensors that detect a sudden
Decelerating
deploy the airbag by an explosive release of a
Gas
that fills the bag before the occupant can be thrown against the hard interior surfaces of the
Vehicle
.")
Cars.kif 3602-3604
(
subclass
AutoAirbag
Balloon
)
Cars.kif 3600-3600
Airbag
is a
subclass
of
balloon
(
subclass
AutoAirbag
VehicleSafetyDevice
)
Cars.kif 3599-3599
Airbag
is a
subclass
of
vehicle safety device
(
typicallyContainsPart
AutoAirbag
Automobile
)
Cars.kif 3605-3605
A
automobile
typically
has a
part
airbag
appearance as argument number 2
(
termFormat
EnglishLanguage
AutoAirbag
"airbag")
Cars.kif 3601-3601
antecedent
(=>
(
instance
?X
AutoAirbag
)
(
hasPurpose
?X
(
exists
(?CAR ?PERSON ?IMP ?INF)
(
and
(
instance
?CAR
Automobile
)
(
part
?X ?CAR)
(
instance
?PERSON
Human
)
(
contains
?CAR ?PERSON)
(
instance
?IMP
Impacting
)
(
patient
?IMP ?CAR)
(
instance
?INF
Inflating
)
(
patient
?INF ?X)
(
causes
?IMP ?INF)
(
hinders
?INF
(
KappaFn
?INJ
(
and
(
instance
?INJ
Injuring
)
(
experiencer
?INJ ?PERSON)
(
exists
(?HIT)
(
and
(
instance
?HIT
Impacting
)
(
destination
?HIT ?CAR)
(
experiencer
?HIT ?PERSON)
(
causes
?HIT ?INJ))))))))))
Cars.kif 3607-3631
If
a physical
is an
instance
of
airbag
,
then
the physical
purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
automobile
and
the physical
is a
part
of
the entity
and
the other entity
is an
instance
of
human
and
the entity
は
the other entity
を
contain
s %n{ない} and
the third entity
is an
instance
of
impacting
and
the entity
is a
patient
of
the third entity
and
the fourth entity
is an
instance
of
inflating
and
the physical
is a
patient
of
the fourth entity
and
the third entity
cause
s
the fourth entity
and
the fourth entity
hinders
the
class
described by
a fifth entity
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