format - Sigma Knowledge base Browser

appearance as argument number 1

(instance format TernaryPredicate)	Merge.kif 372-372	format is an instance of ternary predicate
(domain format 1 Language)	Merge.kif 373-373	The number 1 argument of format is an instance of language
(domain format 2 Entity)	Merge.kif 374-374	The number 2 argument of format is an instance of entity
(domain format 3 SymbolicString)	Merge.kif 375-375	The number 3 argument of format is an instance of symbolic string
(documentation format EnglishLanguage "A relation that specifies how to present an expression in a natural language format.")	Merge.kif 376-377	The number 3 argument of format is an instance of symbolic string

appearance as argument number 2

(format EnglishLanguage format "%3 is the format for %2 in %1")	domainEnglishFormat.kif 3470-3470
(format ChineseTraditionalLanguage format "%3 是對於 %2 在 %1 的 format ")	domainEnglishFormat.kif 3471-3471
(format ChineseLanguage format "%3 是对于 %2 在 %1 的 format")	domainEnglishFormat.kif 3472-3472
(termFormat EnglishLanguage format "format")	domainEnglishFormat.kif 24724-24724
(termFormat ChineseTraditionalLanguage format "格式")	domainEnglishFormat.kif 24725-24725
(termFormat ChineseLanguage format "格式")	domainEnglishFormat.kif 24726-24726

appearance as argument number 0

(format EnglishLanguage muscleOrigin "the origin of %1 is %2")	Anatomy.kif 1721-1721
(format EnglishLanguage muscleInsertion "the insertion point of %1 is %2")	Anatomy.kif 1771-1771
(format EnglishLanguage physicalAmplitude "the amplitude %1 is %n %2")	Cars.kif 733-733
(format EnglishLanguage dampingRatio "the damping ratio of %1 is %n %2")	Cars.kif 797-797
(format EnglishLanguage resonantFrequency "the resonant frequency of %1 is %n %2")	Cars.kif 830-830
(format EnglishLanguage AccelerationFn "the accelleration %1 of %3 in %2 in the direction %4")	Cars.kif 1271-1272
(format EnglishLanguage typicalTemporalPart "a %1 is typically a part of a %2")	Cars.kif 1436-1436
(format EnglishLanguage typicallyContainsTemporalPart "a %2 typically contains a %1")	Cars.kif 1477-1477
(format EnglishLanguage cylinderBore "the bore of %1 is %2")	Cars.kif 1533-1533
(format EnglishLanguage minCylinderVolume "the minimum volume of the cylinders in the engine %1 is %n %2")	Cars.kif 1845-1846
(format EnglishLanguage maxCylinderVolume "the maximum volume of the cylinders in the engine %1 is %n %2")	Cars.kif 1876-1877
(format EnglishLanguage compressionRatio "the compression ratio of %1 is %n %2")	Cars.kif 1906-1906
(format EnglishLanguage pistonStroke "the maximum distance that the pistons of engine %1 travel is %n %2")	Cars.kif 1922-1923
(format EnglishLanguage RotationFn "the rotation of %1 during %2")	Cars.kif 2084-2084
(format EnglishLanguage engineIdleSpeed "the idle speed of %1 is %n %2")	Cars.kif 2557-2557
(format EnglishLanguage governorSpeed "the maximum speed allowed by %1 is %n %2")	Cars.kif 2879-2879
(format EnglishLanguage coilCount "the number of coils in %1 is %n %2")	Cars.kif 3191-3191
(format EnglishLanguage engineCylinders "engine %1 has %2 cylinders")	Cars.kif 4605-4605
(format EnglishLanguage NetworkCommunicationFn "communication over %1")	ComputingBrands.kif 1530-1530
(format ChineseTraditionalLanguage NetworkCommunicationFn "通信透過 %1")	ComputingBrands.kif 1531-1531
(format ChineseLanguage NetworkCommunicationFn "通信透过 %1")	ComputingBrands.kif 1532-1532
(format JapaneseLanguage NetworkCommunicationFn "％1 を介した通信")	ComputingBrands.kif 1533-1533
(format EnglishLanguage carrierFrequency "the frequency of the carrier of %1 is %2")	ComputingBrands.kif 1557-1557
(format ChineseTraditionalLanguage carrierFrequency "%1 載波的頻率是 %2 ")	ComputingBrands.kif 1558-1558
(format ChineseLanguage carrierFrequency "%1 载波的频率是 %2 ")	ComputingBrands.kif 1559-1559

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: