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 substanceElement "%2 is made up of %1")	Merge.kif 1283-1283
(format EnglishLanguage containsFormula "%1 contains the formula %2")	Merge.kif 1406-1406
(format EnglishLanguage language "%2 is %n a Language of %1.")	Merge.kif 1536-1536
(format EnglishLanguage SubListFn "the sub-list from %1 to %2 of %3")	Merge.kif 3205-3205
(format EnglishLanguage ListSumFn "the sum of %1")	Merge.kif 3280-3280
(format EnglishLanguage AverageFn "the average of the numbers in %1")	Merge.kif 3312-3312
(format EnglishLanguage overlapsSpatially "%1 and %2 %n{doesn't} overlapsSpatially")	Merge.kif 4079-4079
(format EnglishLanguage ArcTangentFn "the arctan of %1")	Merge.kif 5304-5304
(format EnglishLanguage ArcCosineFn "the arccosine of %1")	Merge.kif 5314-5314
(format EnglishLanguage ArcSineFn "the arcsine of %1")	Merge.kif 5324-5324
(format EnglishLanguage successorClass "%2 is %n the successor class of %1.")	Merge.kif 9148-9148
(format EnglishLanguage pathologicSymptom "%2 is a symptom of %1")	Merge.kif 10568-10568
(format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2")	Merge.kif 11504-11504
(format EnglishLanguage objectAttached "%1 attaches %2 to another object")	Merge.kif 12555-12555
(format EnglishLanguage objectDetached "%1 detaches %2 from another object")	Merge.kif 12605-12605
(format EnglishLanguage ImpairmentFn "impairment in %1")	Merge.kif 13648-13648
(format EnglishLanguage SenseImpairmentFn "impairment in %1")	Merge.kif 13668-13668
(format EnglishLanguage SenseInabilityFn "not %1")	Merge.kif 13688-13688
(format EnglishLanguage BodySideFn "the %1 %2")	Merge.kif 15152-15152
(format EnglishLanguage covers "%1 covers %2")	Merge.kif 16077-16077
(format EnglishLanguage relativeAngle "the relative angle between %1 and %2 is %3")	Merge.kif 18083-18083
(format EnglishLanguage physicalEnd "one end of %2 is %1")	Merge.kif 18138-18138
(format EnglishLanguage minValue "The minValue of %1 with %2 arguments is %3.")	Merge.kif 18604-18605
(format EnglishLanguage maxValue "The maxValue of %1 with %2 arguments is %3.")	Merge.kif 18622-18623
(format EnglishLanguage defaultMinValue "The defaultMinValue of %1 with %2 arguments is %3.")	Merge.kif 18640-18641

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: