TreeView Knowledge Base Browser

appearance as argument number 1

(instance format TernaryPredicate)	Merge.kif 371-371	format is an instance of ternary predicate
(domain format 1 Language)	Merge.kif 372-372	The number 1 argument of format is an instance of language
(domain format 2 Entity)	Merge.kif 373-373	The number 2 argument of format is an instance of entity
(domain format 3 SymbolicString)	Merge.kif 374-374	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 375-376	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 1321-1321
(format EnglishLanguage containsFormula "%1 contains the formula %2")	Merge.kif 1460-1460
(format EnglishLanguage language "%2 is %n a Language of %1.")	Merge.kif 1590-1590
(format EnglishLanguage SubListFn "the sub-list from %1 to %2 of %3")	Merge.kif 3279-3279
(format EnglishLanguage ListSumFn "the sum of %1")	Merge.kif 3354-3354
(format EnglishLanguage AverageFn "the average of the numbers in %1")	Merge.kif 3386-3386
(format EnglishLanguage overlapsSpatially "%1 and %2 %n{doesn't} overlapsSpatially")	Merge.kif 4142-4142
(format EnglishLanguage ArcTangentFn "the arctan of %1")	Merge.kif 5375-5375
(format EnglishLanguage ArcCosineFn "the arccosine of %1")	Merge.kif 5385-5385
(format EnglishLanguage ArcSineFn "the arcsine of %1")	Merge.kif 5395-5395
(format EnglishLanguage successorClass "%2 is %n the successor class of %1.")	Merge.kif 9217-9217
(format EnglishLanguage pathologicSymptom "%2 is a symptom of %1")	Merge.kif 10655-10655
(format EnglishLanguage objectTransferred "the object transferred in %1 is %n %2")	Merge.kif 11615-11615
(format EnglishLanguage objectAttached "%1 attaches %2 to another object")	Merge.kif 12669-12669
(format EnglishLanguage objectDetached "%1 detaches %2 from another object")	Merge.kif 12719-12719
(format EnglishLanguage ImpairmentFn "impairment in %1")	Merge.kif 13782-13782
(format EnglishLanguage SenseImpairmentFn "impairment in %1")	Merge.kif 13802-13802
(format EnglishLanguage SenseInabilityFn "not %1")	Merge.kif 13822-13822
(format EnglishLanguage BodySideFn "the %1 %2")	Merge.kif 15286-15286
(format EnglishLanguage covers "%1 covers %2")	Merge.kif 16222-16222
(format EnglishLanguage relativeAngle "the relative angle between %1 and %2 is %3")	Merge.kif 18244-18244
(format EnglishLanguage physicalEnd "one end of %2 is %1")	Merge.kif 18276-18276
(format EnglishLanguage minValue "The minValue of %1 with %2 arguments is %3.")	Merge.kif 18738-18739
(format EnglishLanguage maxValue "The maxValue of %1 with %2 arguments is %3.")	Merge.kif 18756-18757
(format EnglishLanguage defaultMinValue "The defaultMinValue of %1 with %2 arguments is %3.")	Merge.kif 18774-18775

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: