TreeView Knowledge Base Browser

appearance as argument number 1

(instance termFormat TernaryPredicate)	Merge.kif 378-378	term format is an instance of ternary predicate
(domain termFormat 1 Language)	Merge.kif 379-379	The number 1 argument of term format is an instance of language
(domain termFormat 2 Entity)	Merge.kif 380-380	The number 2 argument of term format is an instance of entity
(domain termFormat 3 SymbolicString)	Merge.kif 381-381	The number 3 argument of term format is an instance of symbolic string
(documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.")	Merge.kif 382-383	The number 3 argument of term format is an instance of symbolic string

appearance as argument number 2

(format EnglishLanguage termFormat "%3 is the printable form of %2 in %1")	domainEnglishFormat.kif 4772-4772
(format ChineseTraditionalLanguage termFormat "%3 是 %2 的 printable form 在 %1 ")	domainEnglishFormat.kif 4773-4773
(format ChineseLanguage termFormat "%3 是 %2 的 printable form 在 %1 ")	domainEnglishFormat.kif 4774-4774
(termFormat EnglishLanguage termFormat "term format")	domainEnglishFormat.kif 57521-57521
(termFormat ChineseTraditionalLanguage termFormat "術語格式")	domainEnglishFormat.kif 57522-57522
(termFormat ChineseLanguage termFormat "术语格式")	domainEnglishFormat.kif 57523-57523

antecedent

(=>
(termFormat ?TERM ?LANGUAGE ?STRING)
(names ?STRING ?TERM))

Media.kif 31-33

If X is the printable form of Y in Z, then Z has name X

appearance as argument number 0

(termFormat EnglishLanguage Crater "crater")	Merge.kif 1056-1056
(termFormat EnglishLanguage ingredient "ingredient")	Merge.kif 1285-1285
(termFormat EnglishLanguage substanceElement "substance element")	Merge.kif 1322-1322
(termFormat EnglishLanguage containsFormula "contains formula")	Merge.kif 1459-1459
(termFormat EnglishLanguage Recording "recording")	Merge.kif 1478-1478
(termFormat EnglishLanguage TimeInterval "timeframe")	Merge.kif 2195-2195
(termFormat EnglishLanguage says "says")	Merge.kif 2963-2963
(termFormat EnglishLanguage SubListFn "sub-list function")	Merge.kif 3278-3278
(termFormat EnglishLanguage ListSumFn "sum of elements")	Merge.kif 3355-3355
(termFormat EnglishLanguage AverageFn "average function")	Merge.kif 3385-3385
(termFormat EnglishLanguage ArcTangentFn "arctangent")	Merge.kif 5376-5376
(termFormat EnglishLanguage ArcCosineFn "arccosine")	Merge.kif 5386-5386
(termFormat EnglishLanguage ArcSineFn "arcsine")	Merge.kif 5396-5396
(termFormat EnglishLanguage SoundPressureLevelUnit "sound pressure level unit")	Merge.kif 7590-7590
(termFormat EnglishLanguage Decibel "decibel")	Merge.kif 7599-7599
(termFormat EnglishLanguage Decibel "dB")	Merge.kif 7600-7600
(termFormat EnglishLanguage Decibel "decibel (A-weighting)")	Merge.kif 7614-7614
(termFormat EnglishLanguage Decibel "dB(A)")	Merge.kif 7615-7615
(termFormat EnglishLanguage finishesDuring "finishes during")	Merge.kif 8272-8272
(termFormat EnglishLanguage startsDuring "starts during")	Merge.kif 8285-8285
(termFormat EnglishLanguage successorClass "successor class")	Merge.kif 9218-9218
(termFormat EnglishLanguage Consuming "consuming")	Merge.kif 10485-10485
(termFormat EnglishLanguage pathologicSymptom "pathologic symptom")	Merge.kif 10654-10654
(termFormat EnglishLanguage Windy "windy")	Merge.kif 11543-11543
(termFormat EnglishLanguage objectAttached "attached")	Merge.kif 12668-12668

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: