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 17399-17400
(
domain
onboard
1
SelfConnectedObject
)
Mid-level-ontology.kif 17401-17401
Die Zahl 1 Argument von
onboard
ist ein
fall
von
SelfConnectedObject
%n{nicht}
(
domain
onboard
2
Vehicle
)
Mid-level-ontology.kif 17402-17402
Die Zahl 2 Argument von
onboard
ist ein
fall
von
Vehicle
%n{nicht}
(
instance
onboard
BinaryPredicate
)
Mid-level-ontology.kif 17403-17403
onboard
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
onboard
located
)
Mid-level-ontology.kif 17404-17404
onboard
ist eine
teilrelation
von
befindetSich
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 42120-42120
(
termFormat
ChineseTraditionalLanguage
onboard
"在船上")
domainEnglishFormat.kif 42119-42119
(
termFormat
EnglishLanguage
onboard
"onboard")
domainEnglishFormat.kif 42118-42118
antecedent
(=>
(
and
(
onboard
?O ?V)
(
instrument
?T ?V)
(
instance
?T
Transportation
))
(
patient
?T ?O))
Mid-level-ontology.kif 17410-17415
Wenn
onboard
SelfConnectedObject
and
Vehicle
und
** Vehicle
ist ein
instrument
fuer
Process
%n{nicht} und
** Process
ist ein
fall
von
Transportation
%n{nicht},
dann
** SelfConnectedObject
ist ein
patient
von
** Process
%n{nicht}
(=>
(
onboard
?O ?V)
(
contains
?V ?O))
Mid-level-ontology.kif 17406-17408
Wenn
onboard
SelfConnectedObject
and
Vehicle
,
dann
contains
** Vehicle
and
** SelfConnectedObject
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 17386-17397
Wenn
Process
ist ein
fall
von
Boarding
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
onboard
** AutonomousAgent
and
** Entity
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
onboard
** AutonomousAgent
and
** Entity
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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 17427-17439
Wenn
Process
ist ein
fall
von
Deboarding
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
onboard
** AutonomousAgent
and
** Entity
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
onboard
** AutonomousAgent
and
** Entity
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
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