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
typicallyContainsPart
Sigma KEE - typicallyContainsPart
typicallyContainsPart
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23661-23664
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23665-23665
O argumento numero 1 de
typicallyContainsPart
e' uma
sub
-classe de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23666-23666
O argumento numero 2 de
typicallyContainsPart
e' uma
sub
-classe de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23658-23658
typicallyContainsPart
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23659-23659
typicallyContainsPart
e' uma
instancia
de
Relacao Espacial
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23660-23660
typicallyContainsPart
e'
relacionado
internamente por SUMO a
part
No TPTP formula. May not be expressible in strict first order.
Cars.kif 347-347
typicallyContainsPart
e'
relacionado
internamente por SUMO a
typicalPart
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4846-4846
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4845-4845
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4844-4844
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1474-1474
typicallyContainsTemporalPart
e'
relacionado
internamente por SUMO a
typicallyContainsPart
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59750-59750
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59749-59749
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59748-59748
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23676-23693
typicallyContainsPart
Objeto
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
PROB e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma &parte de
Entidade
Objeto
PROB e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23668-23674
typicallyContainsPart
Objeto
and
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Objeto
Objeto
e' uma
instancia
de
Objeto
Objeto
e' uma &parte de
Objeto
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2013-2013
typicallyContainsPart
AirConditioningCompressor
and
AirConditioner
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2057-2057
typicallyContainsPart
AirConditioningCondenser
and
AirConditioner
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2081-2081
typicallyContainsPart
AirConditioningEvaporator
and
AirConditioner
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1212-1212
typicallyContainsPart
Alternator
and
Vehicle
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3638-3638
typicallyContainsPart
AutoAirbag
and
Automobile
No TPTP formula. May not be expressible in strict first order.
Cars.kif 726-726
typicallyContainsPart
AutoSuspensionSystem
and
Automobile
No TPTP formula. May not be expressible in strict first order.
Cars.kif 869-869
typicallyContainsPart
AutomobileShock
and
Automobile
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1565-1565
typicallyContainsPart
BrakeCaliper
and
BrakeSystem
No TPTP formula. May not be expressible in strict first order.
Cars.kif 670-670
typicallyContainsPart
BrakeDrum
and
DrumBrake
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1638-1638
typicallyContainsPart
BrakeMasterCylinder
and
BrakeSystem
No TPTP formula. May not be expressible in strict first order.
Cars.kif 664-664
typicallyContainsPart
BrakeRotor
and
DiscBrake
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1236-1236
typicallyContainsPart
BrakeSystem
and
Automobile
No TPTP formula. May not be expressible in strict first order.
Food.kif 635-635
typicallyContainsPart
Caffeine
and
Coffee
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1721-1721
typicallyContainsPart
CatalyticConverter
and
AutomobileExhaustSystem
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4979-4979
typicallyContainsPart
ChevroletEngine
and
ChevroletAutomobile
No TPTP formula. May not be expressible in strict first order.
Cars.kif 342-342
typicallyContainsPart
Crankshaft
and
Crankcase
No TPTP formula. May not be expressible in strict first order.
Cars.kif 339-339
typicallyContainsPart
Crankshaft
and
IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2146-2146
typicallyContainsPart
EngineCoolingSystem
and
Pump
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2792-2792
typicallyContainsPart
EngineWaterPump
and
EngineCoolingSystem
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2633-2633
typicallyContainsPart
ExhaustManifold
and
AutomobileExhaustSystem
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2669-2669
typicallyContainsPart
ExhaustValve
and
FourStrokeEngine
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1366-1366
typicallyContainsPart
GunTrigger
and
Gun
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3149-3149
typicallyContainsPart
IgnitionCoil
and
Automobile
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3212-3212
typicallyContainsPart
IgnitionControlModule
and
AutomobileIgnitionSystem
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2694-2694
typicallyContainsPart
IntakeValve
and
FourStrokeEngine
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