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
NetworkCommunicationFn
Sigma KEE - NetworkCommunicationFn
NetworkCommunicationFn
appearance as argument number 1
(
documentation
NetworkCommunicationFn
EnglishLanguage
"
Function
透过给予
ComputerNetwork
回传一个类别给
NetworkCommunication
。")
ComputingBrands.kif 1526-1526
(
documentation
NetworkCommunicationFn
EnglishLanguage
"
Function
透過給予的
ComputerNetwork
回傳一個類別給
NetworkCommunication
。")
ComputingBrands.kif 1525-1525
(
documentation
NetworkCommunicationFn
EnglishLanguage
"A
Function
that returns an class of
NetworkCommunication
over the given type of
ComputerNetwork
.")
ComputingBrands.kif 1523-1524
(
documentation
NetworkCommunicationFn
JapaneseLanguage
"指定されたタイプの
ComputerNetwork
上の
NetworkCommunication
クラスで返される機能。")
ComputingBrands.kif 1527-1528
(
domainSubclass
NetworkCommunicationFn
1
ComputerNetwork
)
ComputingBrands.kif 1521-1521
Die Zahl 1 Argument von
NetworkCommunicationFn
ist eine
teilkategorie
von
ComputerNetwork
%n{nicht}
(
instance
NetworkCommunicationFn
UnaryFunction
)
ComputingBrands.kif 1519-1519
NetworkCommunicationFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
NetworkCommunicationFn
NetworkCommunication
)
ComputingBrands.kif 1520-1520
Die werte die
NetworkCommunicationFn
zurueckgibt sind
teilkategorien
von
NetworkCommunication
appearance as argument number 2
(
format
ChineseLanguage
NetworkCommunicationFn
"通信透过 %1")
ComputingBrands.kif 1532-1532
(
format
ChineseTraditionalLanguage
NetworkCommunicationFn
"通信透過 %1")
ComputingBrands.kif 1531-1531
(
format
EnglishLanguage
NetworkCommunicationFn
"communication over %1")
ComputingBrands.kif 1530-1530
(
format
JapaneseLanguage
NetworkCommunicationFn
"%1 を介した通信")
ComputingBrands.kif 1533-1533
(
termFormat
ChineseLanguage
NetworkCommunicationFn
"网路通信功能")
ComputingBrands.kif 1537-1537
(
termFormat
ChineseTraditionalLanguage
NetworkCommunicationFn
"網路通信功能")
ComputingBrands.kif 1536-1536
(
termFormat
EnglishLanguage
NetworkCommunicationFn
"network communication function")
ComputingBrands.kif 1535-1535
(
termFormat
JapaneseLanguage
NetworkCommunicationFn
"ネットワーク通信機能")
ComputingBrands.kif 1538-1538
antecedent
(=>
(
and
(
instance
?WN
(
NetworkCommunicationFn
BluetoothNetwork
))
(
instance
?R
RadiatingElectromagnetic
)
(
subProcess
?R ?WN)
(
carrierFrequency
?R
(
MeasureFn
?W
(
GigaFn
Hertz
))))
(
and
(
greaterThan
?W 2.4)
(
lessThan
?W 2.485)))
ComputingBrands.kif 1579-1588
Wenn
Process
ist ein
fall
von
NetworkCommunicationFn
BluetoothNetwork
%n{nicht} und
Radiating
ist ein
fall
von
RadiatingElectromagnetic
%n{nicht} und
** Radiating
ist ein
subProzess
von
** Process
und
carrierFrequency
** Radiating
and
RealNumber
1
milliarde
Hertz
(s),
dann
** RealNumber
ist
groesserAls
2.4 %n{nicht} und
** RealNumber
ist
kleinerAls
2.485 %n{nicht}
(=>
(
instance
?NC
(
NetworkCommunicationFn
AirPlay
))
(
or
(
exists
(?TV)
(
and
(
instance
?TV
TelevisionSet
)
(
destination
?NC ?TV)))
(
exists
(?SP)
(
and
(
instance
?SP
SpeakerDevice
)
(
destination
?NC ?SP)))))
ComputingBrands.kif 1860-1870
Wenn
Process
ist ein
fall
von
NetworkCommunicationFn
AirPlay
%n{nicht},
dann es gibt
Entity
um
** Entity
ist ein
fall
von
TelevisionSet
%n{nicht} und
** Process
endet an
** Entity
%n{nicht} oder es gibt
** Entity
um
** ** Entity
ist ein
fall
von
SpeakerDevice
%n{nicht} und
** Process
endet an
** ** Entity
%n{nicht}
(=>
(
instance
?NC
(
NetworkCommunicationFn
AirPrint
))
(
exists
(?P)
(
and
(
instance
?P
Printer
)
(
destination
?NC ?P))))
ComputingBrands.kif 1902-1907
Wenn
Process
ist ein
fall
von
NetworkCommunicationFn
AirPrint
%n{nicht},
dann es gibt
Entity
um
** Entity
ist ein
fall
von
Printer
%n{nicht} und
** Process
endet an
** Entity
%n{nicht}
(=>
(
instance
?WN
(
NetworkCommunicationFn
WirelessNetwork
))
(
exists
(?R)
(
and
(
instance
?R
RadiatingElectromagnetic
)
(
subProcess
?R ?WN))))
ComputingBrands.kif 1540-1545
Wenn
Process
ist ein
fall
von
NetworkCommunicationFn
WirelessNetwork
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
RadiatingElectromagnetic
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
consequent
(=>
(
holdsDuring
?T
(
and
(
instance
?C
Computer
)
(
attribute
?C
AirplaneMode
)))
(
not
(
holdsDuring
?T
(
capability
(
NetworkCommunicationFn
WirelessNetwork
)
origin
?C))))
ComputingBrands.kif 1820-1827
Wenn
entity
ist ein
fall
von
Computer
%n{nicht} und
AirplaneMode
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
** entity
ist faehig %n{nicht}, in der Rolle
origin
NetworkCommunicationFn
WirelessNetwork
zu tun haelt
waehrend
** TimePosition
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