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
carries
Sigma KEE - carries
carries
appearance as argument number 1
(
documentation
carries
EnglishLanguage
"(carries ?AGENT ?OBJECT) means that an
AutonomousAgent
?AGENT transfers an
Object
?OBJECT from one point to another")
Mid-level-ontology.kif 4364-4365
(
domain
carries
1
AutonomousAgent
)
Mid-level-ontology.kif 4361-4361
Le nombre 1 argument de
carries
est une
instance
de
AutonomousAgent
(
domain
carries
2
Object
)
Mid-level-ontology.kif 4362-4362
Le nombre 2 argument de
carries
est une
instance
de
objet
(
instance
carries
BinaryPredicate
)
Mid-level-ontology.kif 4360-4360
carries
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
carries
"%1
carries
%2 ")
domainEnglishFormat.kif 2962-2962
(
format
ChineseTraditionalLanguage
carries
"%1
carries
%2 ")
domainEnglishFormat.kif 2961-2961
(
format
EnglishLanguage
carries
"%1
carries
%2")
domainEnglishFormat.kif 2960-2960
(
termFormat
EnglishLanguage
carries
"carries")
Mid-level-ontology.kif 4366-4366
antecedent
(=>
(
carries
?AGENT ?OBJECT)
(
exists
(?CARRYING)
(
and
(
instrument
?CARRYING ?AGENT)
(
patient
?CARRYING ?OBJECT))))
Mid-level-ontology.kif 4367-4372
carries
AutonomousAgent
and
objet
processus
AutonomousAgent
est un
instrument
pour
processus
objet
est un
patient
de
processus
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