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
prohibits
Sigma KEE - StopFn
StopFn
appearance as argument number 1
(
documentation
StopFn
EnglishLanguage
"(StopFn ?PROCESS) denotes
IntentionalProcess
es of bringing it about that
Process
es of type ?PROCESS end, e.g. stop walking, quit working, etc.")
Mid-level-ontology.kif 431-433
(
domain
StopFn
1
Process
)
Mid-level-ontology.kif 435-435
Die Zahl 1 Argument von
StopFn
ist ein
fall
von
Process
%n{nicht}
(
instance
StopFn
UnaryFunction
)
Mid-level-ontology.kif 434-434
StopFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
StopFn
IntentionalProcess
)
Mid-level-ontology.kif 436-436
Die werte die
StopFn
zurueckgibt sind
teilkategorien
von
IntentionalProcess
appearance as argument number 2
(
format
ChineseLanguage
StopFn
"%1 的 stop ")
domainEnglishFormat.kif 2371-2371
(
format
ChineseTraditionalLanguage
StopFn
"%1 的 stop ")
domainEnglishFormat.kif 2370-2370
(
format
EnglishLanguage
StopFn
"the stop of %1")
domainEnglishFormat.kif 2369-2369
(
termFormat
ChineseLanguage
StopFn
"停")
domainEnglishFormat.kif 55476-55476
(
termFormat
ChineseTraditionalLanguage
StopFn
"停")
domainEnglishFormat.kif 55475-55475
(
termFormat
EnglishLanguage
StopFn
"stop")
domainEnglishFormat.kif 55474-55474
antecedent
(=>
(
instance
?S
(
StopFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
finishes
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 438-443
Wenn
Physical
ist ein
fall
von
StopFn
Process
%n{nicht},
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Physical
beendet
die
zeit
des Bestehens von
** ** Physical
%n{nicht}
consequent
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
Wenn
Object
ist ein
fall
von
VehicleBrake
%n{nicht} und
** Object
ist ein
fall
von
Vehicle
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
StopFn
Motion
%n{nicht} und
** ** Object
ist ein
patient
von
** entity
%n{nicht} und
** Object
ist ein
instrument
fuer
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?FE
FireExtinguisher
)
(
hasPurpose
?FE
(
exists
(?PROC)
(
and
(
instance
?PROC
(
StopFn
Fire
))
(
instrument
?PROC ?FE)))))
Mid-level-ontology.kif 25481-25488
Wenn
Physical
ist ein
fall
von
FireExtinguisher
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
StopFn
Fire
%n{nicht} und
** Physical
ist ein
instrument
fuer
** entity
%n{nicht} %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