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
StopFn
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 424-426
(
domain
StopFn
1
Process
)
Mid-level-ontology.kif 428-428
Il numero 1 argomenti di
StopFn
è un
istanza
di
Processo
(
instance
StopFn
UnaryFunction
)
Mid-level-ontology.kif 427-427
StopFn
è un'
istanza
di
FunzioneUnaria
(
rangeSubclass
StopFn
IntentionalProcess
)
Mid-level-ontology.kif 429-429
I valori resi da
StopFn
sono
sottoclassi
di
ProcessoIntenzionale
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 55478-55478
(
termFormat
ChineseTraditionalLanguage
StopFn
"停")
domainEnglishFormat.kif 55477-55477
(
termFormat
EnglishLanguage
StopFn
"stop")
domainEnglishFormat.kif 55476-55476
antecedent
(=>
(
instance
?S
(
StopFn
?P))
(
exists
(?I)
(
and
(
instance
?I ?P)
(
finishes
(
WhenFn
?S)
(
WhenFn
?I)))))
Mid-level-ontology.kif 431-436
Entit�Concreta
è un'
istanza
di
StopFn
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Processo
il
tempo
di esistenza di
Entit�Concreta
finisce
es il
tempo
di esistenza di
Entit�Concreta
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 3409-3419
Oggetto
è un'
istanza
di
VehicleBrake
Oggetto
è un'
istanza
di
Vehicle
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
StopFn
Movimento
Oggetto
è un
paziente
di
Entit�
Oggetto
è uno
strumento
per
Entit�
(=>
(
instance
?FE
FireExtinguisher
)
(
hasPurpose
?FE
(
exists
(?PROC)
(
and
(
instance
?PROC
(
StopFn
Fire
))
(
instrument
?PROC ?FE)))))
Mid-level-ontology.kif 25538-25545
Entit�Concreta
è un'
istanza
di
FireExtinguisher
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
StopFn
Fire
Entit�Concreta
è uno
strumento
per
Entit�
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