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
typicalPart
Sigma KEE - typicalPart
typicalPart
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21581-21584
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21585-21585
The number 1 argument of
typical part
is a
subclass
of
object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21586-21586
The number 2 argument of
typical part
is a
subclass
of
object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21578-21578
typical part
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21579-21579
typical part
is an
instance
of
spatial relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21580-21580
typical part
is
internally
related to
part
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4859-4859
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4858-4858
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4857-4857
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1430-1430
typicalTemporalPart
is
internally
related to
typical part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 347-347
typically contains part
is
internally
related to
typical part
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21722-21722
partTypes
is a
subrelation
of
typical part
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59740-59740
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59739-59739
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59738-59738
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21596-21613
If a
a kind of object
is
typically
a
part
of a
another kind of object
and
an entity
is an
instance
of
a kind of object
and
the kind of object
PROB is
equal
to the
probability
of there exists
another entity
such that
the other entity
is an
instance
of
another kind of object
and
the entity
is a
part
of
the other entity
and
another real number
is
equal
to the
probability
of there doesn't exist
a third entity
such that
the third entity
is an
instance
of
the other kind of object
and
the entity
is a
part
of
the third entity
,
then
the kind of object
PROB is
greater
than
the other real number
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21588-21594
If a
a kind of object
is
typically
a
part
of a
another kind of object
,
then there exist
a third object
and
a fourth object
such that
the third object
is an
instance
of
another kind of object
and
the fourth object
is an
instance
of
a kind of object
and
the fourth object
is a
part
of
the third object
consequent
No TPTP formula. May not be expressible in strict first order.
Biography.kif 203-232
If
aeronautical engineer
is an
attribute
of
an agent
,
then there exists
a kind of process
such that
the agent
the
skill
to do
a kind of process
and for all
another process
if
the other process
is an
instance
of
the kind of process
,
then there exist
a third process
,
an entity
and
the other process
T such that
the third process
is an
instance
of
making
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the entity
is a
result
of
the third process
and
the other process
is a
subprocess
of
the third process
or there exist
a fourth process
,
the other process
LAN,, ,
the entity
and
the other process
T such that
the fourth process
is an
instance
of
designing
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the other process
LAN is a
result
of
the fourth process
and
the other process
LAN
express
es
the entity
and
the other process
is a
subprocess
of
the fourth process
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1993-1993
A
air conditioning compressor
is
typically
a
part
of a
air conditioner
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2037-2037
A
air conditioning condenser
is
typically
a
part
of a
air conditioner
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2061-2061
A
air conditioning evaporator
is
typically
a
part
of a
air conditioner
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1202-1202
A
alternator
is
typically
a
part
of a
vehicle
No TPTP formula. May not be expressible in strict first order.
Cars.kif 727-727
A
auto suspension system
is
typically
a
part
of a
automobile
No TPTP formula. May not be expressible in strict first order.
Cars.kif 831-831
A
shock
is
typically
a
part
of a
auto suspension system
No TPTP formula. May not be expressible in strict first order.
Cars.kif 859-859
A
shock
is
typically
a
part
of a
automobile
No TPTP formula. May not be expressible in strict first order.
engineering.kif 1069-1069
A
base
is
typically
a
part
of a
bjt transistor
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1555-1555
A
BrakeCaliper
is
typically
a
part
of a
brake system
No TPTP formula. May not be expressible in strict first order.
Cars.kif 675-675
A
BrakeCaliper
is
typically
a
part
of a
vehicle brake
No TPTP formula. May not be expressible in strict first order.
Cars.kif 669-669
A
BrakeDrum
is
typically
a
part
of a
drum brake
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1627-1627
A
master cylinder
is
typically
a
part
of a
brake system
No TPTP formula. May not be expressible in strict first order.
Cars.kif 655-655
A
BrakePad
is
typically
a
part
of a
disc brake
No TPTP formula. May not be expressible in strict first order.
Cars.kif 663-663
A
BrakeRotor
is
typically
a
part
of a
disc brake
No TPTP formula. May not be expressible in strict first order.
Cars.kif 600-600
A
brake shoe
is
typically
a
part
of a
drum brake
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1242-1242
A
brake system
is
typically
a
part
of a
automobile
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3684-3684
A
CarAlarm
is
typically
a
part
of a
self powered road vehicle
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1710-1710
A
catalytic converter
is
typically
a
part
of a
exhaust system
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4951-4951
A
ChevroletEngine
is
typically
a
part
of a
ChevroletAutomobile
No TPTP formula. May not be expressible in strict first order.
engineering.kif 1074-1074
A
collector
is
typically
a
part
of a
bjt transistor
No TPTP formula. May not be expressible in strict first order.
ComputerInput.kif 269-269
A
ComputerKeyboardKey
is
typically
a
part
of a
ComputerKeyboard_Generic
No TPTP formula. May not be expressible in strict first order.
Cars.kif 341-341
A
Crankshaft
is
typically
a
part
of a
Crankcase
No TPTP formula. May not be expressible in strict first order.
Cars.kif 338-338
A
Crankshaft
is
typically
a
part
of a
IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order.
engineering.kif 1078-1078
A
emitter
is
typically
a
part
of a
bjt transistor
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3259-3259
A
manifold absolute pressure sensor
is
typically
a
part
of a
exhaust manifold
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
typicalPart