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
EnglishLangauge
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 - SurveillanceSystem
SurveillanceSystem
(surveillance system)
electronic_surveillance
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25202-25204
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25201-25201
Surveillance system
is a
subclass
of
collection
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25205-25205
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25213-25239
If
an object
is an
instance
of
surveillance system
and
the object
is a
member
of
a collection
and
the object
is a
member
of
another collection
and
the collection
is
located
at
another object
and
the collection
is an
instance
of
camera
and
the other collection
is
located
at
a third object
and
the other object
is not
equal
to
the third object
and
the other collection
is an
instance
of
video display
,
then
the object
purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
process
and
the entity
is
located
at
2
and
the other entity
express
es
the entity
and
camera
is an
instrument
for
the fourth entity
and
the other entity
is a
result
of
the fourth entity
and
the third entity
is an
instance
of
radiating light
and
the other collection
is an
instrument
for
the third entity
and
the other entity
is a
patient
of
the third entity
and the
beginning
of
the entity
happens
before
the
beginning
of
the fourth entity
and the
beginning
of
the fourth entity
happens
before
the
beginning
of
the third entity
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25207-25211
If
a collection
is an
instance
of
surveillance system
,
then
camera
is a
member
type of
the collection
and
video display
is a
member
type of
the collection
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25241-25247
If
an entity
is an
instance
of
security unit
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
surveillance system
and
the entity
is
interested
in
the other entity
has the
modal
force
of
likely
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
