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
ExtensionFn
Sigma KEE - ExtensionFn
ExtensionFn
appearance as argument number 1
(
documentation
ExtensionFn
ChineseLanguage
"这个
UnaryFunction
把一个
Attribute
联系到 属于这个
Attribute
属性条件的
Class
。")
chinese_format.kif 1719-1720
(
documentation
ExtensionFn
EnglishLanguage
"A
UnaryFunction
that maps an
Attribute
into the
Class
whose condition for membership is the
Attribute
.")
Merge.kif 1764-1765
(
documentation
ExtensionFn
JapaneseLanguage
"メンバーシップの条件が
Attribute
である
Class
に
Attribute
をマップする
UnaryFunction
。")
japanese_format.kif 324-325
(
domain
ExtensionFn
1
Attribute
)
Merge.kif 1761-1761
Die Zahl 1 Argument von
ExtensionFn
ist ein
fall
von
Attribute
%n{nicht}
(
instance
ExtensionFn
PartialValuedRelation
)
Merge.kif 1760-1760
ExtensionFn
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
ExtensionFn
UnaryFunction
)
Merge.kif 1759-1759
ExtensionFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
ExtensionFn
Class
)
Merge.kif 1762-1762
bildbereich
von
ExtensionFn
ist ein fall von
Class
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
ExtensionFn
"和 %1 对应的
Class
")
chinese_format.kif 257-257
(
format
EnglishLanguage
ExtensionFn
"the class corresponding to %1")
english_format.kif 262-262
(
format
FrenchLanguage
ExtensionFn
"la classe correspondant � %1")
french_format.kif 147-147
(
format
ItalianLanguage
ExtensionFn
"la classe corrispondente a %1")
relations-it.txt 106-106
(
format
JapaneseLanguage
ExtensionFn
" %1 に対する class")
japanese_format.kif 1975-1975
(
format
PortugueseLanguage
ExtensionFn
"a classe correspondente a %1")
portuguese_format.kif 99-99
(
format
de
ExtensionFn
"die kategorie, die %1 entspricht")
relations-de.txt 331-331
(
format
ro
ExtensionFn
"class%t{clasa} corespunzãtoare lui %1")
relations-ro.kif 166-166
(
format
sv
ExtensionFn
"klassen som motsvarar %1")
relations-sv.txt 153-153
(
format
tg
ExtensionFn
"ang klase ugnay sa %1")
relations-tg.txt 222-222
(
termFormat
ChineseLanguage
ExtensionFn
"延伸函数")
chinese_format.kif 258-258
(
termFormat
ChineseLanguage
ExtensionFn
"延期")
domainEnglishFormat.kif 22990-22990
(
termFormat
ChineseTraditionalLanguage
ExtensionFn
"延期")
domainEnglishFormat.kif 22989-22989
(
termFormat
EnglishLanguage
ExtensionFn
"extension")
domainEnglishFormat.kif 22988-22988
(
termFormat
de
ExtensionFn
"ExtensionFn")
terms-de.txt 105-105
(
termFormat
tg
ExtensionFn
"tungkulin ng palugit")
relations-tg.txt 223-223
antecedent
(<=>
(
totalFacilityTypeInArea
?AREA
(
ExtensionFn
AirportWithPavedRunway
) ?COUNT)
(
exists
(?AIRPORT ?RUNWAY)
(
cardinality
(
KappaFn
?AIRPORT
(
and
(
instance
?AIRPORT
Airport
)
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT)
(
located
?AIRPORT ?AREA))) ?COUNT)))
Transportation.kif 1277-1287
totalFacilityTypeInArea
GeographicArea
, die
kategorie
, die
AirportWithPavedRunway
entspricht and
NonnegativeInteger
genau dann wenn es gibt
SymbolicString
und
entity
um
cardinality
die
kategorie
die
** SymbolicString
beschreibt and
** NonnegativeInteger
(=>
(
and
(
totalFacilityTypeInArea
?AREA
(
ExtensionFn
AirportWithUnpavedRunway
) ?COUNT)
(
greaterThan
?COUNT 0))
(
exists
(?AIRPORT ?RUNWAY)
(
and
(
instance
?AIRPORT
Airport
)
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT)
(
located
?AIRPORT ?AREA))))
Transportation.kif 1482-1491
Wenn
totalFacilityTypeInArea
GeographicArea
, die
kategorie
, die
AirportWithUnpavedRunway
entspricht and
NonnegativeInteger
und
** NonnegativeInteger
ist
groesserAls
0 %n{nicht},
dann es gibt
Object
und
** Object
um
** Object
ist ein
fall
von
Airport
%n{nicht} und
** ** Object
ist ein
fall
von
UnpavedRunway
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
befindet
sich an %n{nicht}
(=>
(
totalFacilityTypeInArea
?AREA
(
ExtensionFn
AirportWithPavedRunway
) ?COUNT)
(
exists
(?AIRPORT ?RUNWAY)
(
and
(
instance
?AIRPORT
Airport
)
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT)
(
located
?AIRPORT ?AREA))))
Transportation.kif 1289-1296
Wenn
totalFacilityTypeInArea
GeographicArea
, die
kategorie
, die
AirportWithPavedRunway
entspricht and
NonnegativeInteger
,
dann es gibt
Object
und
** Object
um
** Object
ist ein
fall
von
Airport
%n{nicht} und
** ** Object
ist ein
fall
von
PavedRunway
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
befindet
sich an %n{nicht}
consequent
(=>
(
and
(
instance
?PIPE
Pipeline
)
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?PIPE)
(
patient
?MOTION ?STUFF))
(
instance
?STUFF
(
ExtensionFn
Fluid
)))
Transportation.kif 777-783
Wenn
Object
ist ein
fall
von
Pipeline
%n{nicht} und
Process
ist ein
fall
von
Motion
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von die
kategorie
, die
Fluid
entspricht %n{nicht}
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Liquid
)))
Transportation.kif 2389-2391
Wenn
TransportationDevice
ist ein
fall
von
LiquefiedGasTankerShip
%n{nicht},
dann
cargoType
** TransportationDevice
and die
kategorie
, die
Liquid
entspricht
(=>
(
instance
?SHIP
SpecializedTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Fluid
)))
Transportation.kif 2428-2430
Wenn
TransportationDevice
ist ein
fall
von
SpecializedTankerShip
%n{nicht},
dann
cargoType
** TransportationDevice
and die
kategorie
, die
Fluid
entspricht
statement
(
cardinality
(
ExtensionFn
DevelopedCountry
) 35)
Economy.kif 144-144
cardinality
die
kategorie
, die
DevelopedCountry
entspricht and 35
(
cardinality
(
ExtensionFn
DevelopingCountry
) 126)
Economy.kif 613-613
cardinality
die
kategorie
, die
DevelopingCountry
entspricht and 126
(
cardinality
(
ExtensionFn
LeastDevelopedCountry
) 42)
Economy.kif 405-405
cardinality
die
kategorie
, die
LeastDevelopedCountry
entspricht and 42
(
cardinality
(
ExtensionFn
LessDevelopedCountry
) 172)
Economy.kif 229-229
cardinality
die
kategorie
, die
LessDevelopedCountry
entspricht and 172
(
domain
flows
1
(
ExtensionFn
Fluid
))
Geography.kif 5426-5426
Die Zahl 1 Argument von
flows
ist ein
fall
von die
kategorie
, die
Fluid
entspricht %n{nicht}
(
domain
flows
2
(
ExtensionFn
Fluid
))
Geography.kif 5427-5427
Die Zahl 2 Argument von
flows
ist ein
fall
von die
kategorie
, die
Fluid
entspricht %n{nicht}
(
subclass
Atmosphere
(
ExtensionFn
Fluid
))
Weather.kif 11-11
Atmosphere
ist eine
teilkategorie
von die
kategorie
, die
Fluid
entspricht
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