Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
commandLineArguments
Sigma KEE - commandLineArguments
commandLineArguments
appearance as argument number 1
(
instance
commandLineArguments
BinaryPredicate
)
QoSontology.kif 1396-1396
command line arguments
is an
instance
of
binary predicate
(
domain
commandLineArguments
1
ComputerProgram
)
QoSontology.kif 1397-1397
The number 1 argument of
command line arguments
is an
instance
of
computer program
(
domain
commandLineArguments
2
List
)
QoSontology.kif 1398-1398
The number 2 argument of
command line arguments
is an
instance
of
list
(
documentation
commandLineArguments
EnglishLanguage
"(
commandLineArguments
?PROGRAM ?LIST) means that the application ?PROGRAM requires command line arguments, as specified in ?LIST.")
QoSontology.kif 1399-1401
The number 2 argument of
command line arguments
is an
instance
of
list
appearance as argument number 2
(
format
EnglishLanguage
commandLineArguments
"%2 is %n a command line arguments of %1")
domainEnglishFormat.kif 478-478
(
format
ChineseTraditionalLanguage
commandLineArguments
"%2 %n 是 %1 指令欄的參數")
domainEnglishFormat.kif 479-479
(
format
ChineseLanguage
commandLineArguments
"%2 %n 是 %1 指令栏的参数")
domainEnglishFormat.kif 480-480
(
termFormat
EnglishLanguage
commandLineArguments
"command line arguments")
domainEnglishFormat.kif 15750-15750
(
termFormat
ChineseTraditionalLanguage
commandLineArguments
"命令行參數")
domainEnglishFormat.kif 15751-15751
(
termFormat
ChineseLanguage
commandLineArguments
"命令行参数")
domainEnglishFormat.kif 15752-15752
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners