Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntigenB

Sigma KEE - nameAfterKeyName
nameAfterKeyName

appearance as argument number 1
-------------------------


(documentation nameAfterKeyName EnglishLanguage "(nameAfterKeyName ?STRING ?KEY ?NAMESTRING) means that ?STRING and ?KEY are subStrings of ?NAMESTRING, and ?STRING occurs after ?KEY in ?NAMESTRING.") Media.kif 3347-3350
(domain nameAfterKeyName 1 SymbolicString) Media.kif 3344-3344 nameAfterKeyName 的 1 数量 是 符号串instance
(domain nameAfterKeyName 2 SymbolicString) Media.kif 3345-3345 nameAfterKeyName 的 2 数量 是 符号串instance
(domain nameAfterKeyName 3 SymbolicString) Media.kif 3346-3346 nameAfterKeyName 的 3 数量 是 符号串instance
(instance nameAfterKeyName TernaryPredicate) Media.kif 3343-3343 nameAfterKeyName三元谓语instance

appearance as argument number 2
-------------------------


(format ChineseLanguage nameAfterKeyName "%1 是 after key %2 在 %3 ") domainEnglishFormat.kif 3946-3946
(format ChineseTraditionalLanguage nameAfterKeyName "%1 是 after key %2 在 %3 ") domainEnglishFormat.kif 3945-3945
(format EnglishLanguage nameAfterKeyName "%1 is after key %2 in %3") domainEnglishFormat.kif 3944-3944
(termFormat EnglishLanguage nameAfterKeyName "name after key name") domainEnglishFormat.kif 65883-65883

antecedent
-------------------------


(=>
    (and
        (names ?NAMESTRING ?OBJ)
        (or
            (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
            (equal ?STRING ?KEY)))
    (nameIndexOrder ?NAMESTRING ?OBJ))
Media.kif 3356-3362
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (keyName ?KEY ?NAMESTRING))
Media.kif 3352-3354
(=>
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)
    (precedesInString ?KEY ?STRING ?NAMESTRING))
Media.kif 3364-3366

consequent
-------------------------


(=>
    (and
        (keyName ?KEY ?NAMESTRING)
        (precedesInString ?KEY ?STRING ?NAMESTRING))
    (nameAfterKeyName ?STRING ?KEY ?NAMESTRING))
Media.kif 3368-3372


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

Show without tree


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