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
manufacturer
Sigma KEE - manufacturer
manufacturer
appearance as argument number 1
(
documentation
manufacturer
EnglishLanguage
"A relation between a class of
Object
s and an
AutonomousAgent
that is responsible for the
Manufacture
of that object.")
Mid-level-ontology.kif 14962-14963
(
domain
manufacturer
2
AutonomousAgent
)
Mid-level-ontology.kif 14965-14965
Le nombre 2 argument de
manufacturer
est une
instance
de
AutonomousAgent
(
domainSubclass
manufacturer
1
Object
)
Mid-level-ontology.kif 14964-14964
Le nombre 1 argument de
manufacturer
est une
sous
-classe de
objet
(
instance
manufacturer
BinaryPredicate
)
Mid-level-ontology.kif 14961-14961
manufacturer
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
EnglishLanguage
manufacturer
"the maker of %1 is %2")
Mid-level-ontology.kif 14966-14966
(
termFormat
EnglishLanguage
manufacturer
"manufacturer")
domainEnglishFormat.kif 65880-65880
antecedent
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 734-743
deviceOS
objet
and
Computer
objet
I est une
instance
de
objet
Computer
I est une
instance
de
Computer
manufacturer
objet
and
agent cognitif
agent cognitif
desire
programRunning
entit�
and
Computer
I
computerRunning
entit�
and
objet
I
(=>
(
and
(
instance
?J
Jailbreaking
)
(
instance
?D
Computer
)
(
instance
?D ?CLASS)
(
patient
?J ?D)
(
manufacturer
?CLASS ?C))
(
not
(
desires
?C
(
exists
(?A)
(
agent
?J ?A)))))
ComputingBrands.kif 3474-3484
Processus
est une
instance
de
Jailbreaking
entit�
est une
instance
de
Computer
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
manufacturer
objet
and
agent cognitif
agent cognitif
ne
desire
%n{pas}
entit�
processus
est un
agent
de
entit�
statement
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5109-5112
Objet
objet
est une
sous
-classe de
HandToolBox
manufacturer
objet
and
SortimoCorp
appearance as argument number 0
(
manufacturer
AppleComputer
AppleComputerCorporation
)
ComputingBrands.kif 103-103
manufacturer
AppleComputer
and
AppleComputerCorporation
(
manufacturer
AppleSystemManagementController
AppleComputerCorporation
)
ComputingBrands.kif 972-972
manufacturer
AppleSystemManagementController
and
AppleComputerCorporation
(
manufacturer
ChevroletAutomobile
GeneralMotorsCorp
)
Cars.kif 4967-4967
manufacturer
ChevroletAutomobile
and
GeneralMotorsCorp
(
manufacturer
CommodoreAutomobile
HoldenCorporation
)
Cars.kif 4508-4508
manufacturer
CommodoreAutomobile
and
HoldenCorporation
(
manufacturer
CommodoreWheel
HoldenCorporation
)
Cars.kif 4514-4514
manufacturer
CommodoreWheel
and
HoldenCorporation
(
manufacturer
Corvette
GeneralMotorsCorp
)
Cars.kif 5120-5120
manufacturer
Corvette
and
GeneralMotorsCorp
(
manufacturer
CosworthEngine
CosworthCorp
)
Cars.kif 5165-5165
manufacturer
CosworthEngine
and
CosworthCorp
(
manufacturer
FordAutomobile
FordCorporation
)
Cars.kif 4914-4914
manufacturer
FordAutomobile
and
FordCorporation
(
manufacturer
GMLs1V8engine
GeneralMotorsCorp
)
Cars.kif 5116-5116
manufacturer
GMLs1V8engine
and
GeneralMotorsCorp
(
manufacturer
HarleyDavidsonKnuckleheadEngine
HarleyDavidsonCorp
)
Cars.kif 4581-4581
manufacturer
HarleyDavidsonKnuckleheadEngine
and
HarleyDavidsonCorp
(
manufacturer
HarleyDavidsonPanheadEngine
HarleyDavidsonCorp
)
Cars.kif 4685-4685
manufacturer
HarleyDavidsonPanheadEngine
and
HarleyDavidsonCorp
(
manufacturer
HoldenToranaAutomobile
HoldenCorporation
)
Cars.kif 4868-4868
manufacturer
HoldenToranaAutomobile
and
HoldenCorporation
(
manufacturer
IconHelmet
IconMotorcyleEquipmentCorporation
)
Cars.kif 5155-5155
manufacturer
IconHelmet
and
IconMotorcyleEquipmentCorporation
(
manufacturer
MiniCooper
BritishMotorCorp
)
Cars.kif 4855-4855
manufacturer
MiniCooper
and
BritishMotorCorp
(
manufacturer
PeterbiltTruck
PeterbiltCorp
)
Cars.kif 5013-5013
manufacturer
PeterbiltTruck
and
PeterbiltCorp
(
manufacturer
RoverV8Engine
RoverGroup
)
Cars.kif 4714-4714
manufacturer
RoverV8Engine
and
RoverGroup
(
manufacturer
SeagullOutboard
BritishSeagullCorp
)
Cars.kif 4738-4738
manufacturer
SeagullOutboard
and
BritishSeagullCorp
(
manufacturer
SimmonsWheelRim
SimmonsCorp
)
Cars.kif 4844-4844
manufacturer
SimmonsWheelRim
and
SimmonsCorp
(
manufacturer
SnapOnRatchet
SnapOnTools
)
Cars.kif 4964-4964
manufacturer
SnapOnRatchet
and
SnapOnTools
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