termFormat - Sigma Knowledge base Browser

appearance as argument number 1

(instance termFormat TernaryPredicate)	Merge.kif 379-379	term format is an instance of ternary predicate
(domain termFormat 1 Language)	Merge.kif 380-380	The number 1 argument of term format is an instance of language
(domain termFormat 2 Entity)	Merge.kif 381-381	The number 2 argument of term format is an instance of entity
(domain termFormat 3 SymbolicString)	Merge.kif 382-382	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 383-384	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 1017-1017
(termFormat EnglishLanguage ingredient "ingredient")	Merge.kif 1247-1247
(termFormat EnglishLanguage substanceElement "substance element")	Merge.kif 1284-1284
(termFormat EnglishLanguage containsFormula "contains formula")	Merge.kif 1405-1405
(termFormat EnglishLanguage Recording "recording")	Merge.kif 1424-1424
(termFormat EnglishLanguage TimeInterval "timeframe")	Merge.kif 2120-2120
(termFormat EnglishLanguage says "says")	Merge.kif 2889-2889
(termFormat EnglishLanguage SubListFn "sub-list function")	Merge.kif 3204-3204
(termFormat EnglishLanguage ListSumFn "sum of elements")	Merge.kif 3281-3281
(termFormat EnglishLanguage AverageFn "average function")	Merge.kif 3311-3311
(termFormat EnglishLanguage ArcTangentFn "arctangent")	Merge.kif 5305-5305
(termFormat EnglishLanguage ArcCosineFn "arccosine")	Merge.kif 5315-5315
(termFormat EnglishLanguage ArcSineFn "arcsine")	Merge.kif 5325-5325
(termFormat EnglishLanguage SoundPressureLevelUnit "sound pressure level unit")	Merge.kif 7520-7520
(termFormat EnglishLanguage Decibel "decibel")	Merge.kif 7529-7529
(termFormat EnglishLanguage Decibel "dB")	Merge.kif 7530-7530
(termFormat EnglishLanguage Decibel "decibel (A-weighting)")	Merge.kif 7544-7544
(termFormat EnglishLanguage Decibel "dB(A)")	Merge.kif 7545-7545
(termFormat EnglishLanguage finishesDuring "finishes during")	Merge.kif 8203-8203
(termFormat EnglishLanguage startsDuring "starts during")	Merge.kif 8216-8216
(termFormat EnglishLanguage successorClass "successor class")	Merge.kif 9149-9149
(termFormat EnglishLanguage pathologicSymptom "pathologic symptom")	Merge.kif 10567-10567
(termFormat EnglishLanguage Windy "windy")	Merge.kif 11432-11432
(termFormat EnglishLanguage objectAttached "attached")	Merge.kif 12554-12554
(termFormat EnglishLanguage objectDetached "detached")	Merge.kif 12604-12604

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: