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
onboard
Sigma KEE - onboard
onboard
appearance as argument number 1
(
documentation
onboard
EnglishLanguage
"(onboard ?OBJ ?VEHICLE) means that the
SelfConnectedObject
?OBJ is inside the
Vehicle
?VEHICLE.")
Mid-level-ontology.kif 17426-17427
(
domain
onboard
1
SelfConnectedObject
)
Mid-level-ontology.kif 17428-17428
Le nombre 1 argument de
onboard
est une
instance
de
objet en une partie
(
domain
onboard
2
Vehicle
)
Mid-level-ontology.kif 17429-17429
Le nombre 2 argument de
onboard
est une
instance
de
Vehicle
(
instance
onboard
BinaryPredicate
)
Mid-level-ontology.kif 17430-17430
onboard
est une
instance
de
pr�dicat binaire
(
subrelation
onboard
located
)
Mid-level-ontology.kif 17431-17431
onboard
est une
sous
-relation de
located
appearance as argument number 2
(
format
ChineseLanguage
onboard
"%1 是
onboard
%2 ")
domainEnglishFormat.kif 4022-4022
(
format
ChineseTraditionalLanguage
onboard
"%1 是
onboard
%2 ")
domainEnglishFormat.kif 4021-4021
(
format
EnglishLanguage
onboard
"%1 is
onboard
%2")
domainEnglishFormat.kif 4020-4020
(
termFormat
ChineseLanguage
onboard
"在船上")
domainEnglishFormat.kif 42122-42122
(
termFormat
ChineseTraditionalLanguage
onboard
"在船上")
domainEnglishFormat.kif 42121-42121
(
termFormat
EnglishLanguage
onboard
"onboard")
domainEnglishFormat.kif 42120-42120
antecedent
(=>
(
and
(
onboard
?O ?V)
(
instrument
?T ?V)
(
instance
?T
Transportation
))
(
patient
?T ?O))
Mid-level-ontology.kif 17437-17442
onboard
objet en une partie
and
Vehicle
Vehicle
est un
instrument
pour
processus
processus
est une
instance
de
transporter
objet en une partie
est un
patient
de
processus
(=>
(
onboard
?O ?V)
(
contains
?V ?O))
Mid-level-ontology.kif 17433-17435
onboard
objet en une partie
and
Vehicle
Vehicle
contient
objet en une partie
consequent
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17413-17424
Processus
est une
instance
de
Boarding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
onboard
AutonomousAgent
and
entit�
pendant
le
d
�but de
temps
d'existence de
processus
onboard
AutonomousAgent
and
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17454-17466
Processus
est une
instance
de
Deboarding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
onboard
AutonomousAgent
and
entit�
pendant
le
d
�but de
temps
d'existence de
processus
onboard
AutonomousAgent
and
entit�
pendant
la
fin
de
temps
d'existence 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