AccountNumber - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AccountNumber EnglishLanguage "A unique SymbolicString for a relationship between a Corporation and Agent.")	Mid-level-ontology.kif 28126-28126
(subclass AccountNumber SymbolicString)	Mid-level-ontology.kif 28127-28127	subclass AccountNumber and SymbolicString

antecedent

(=>
    (instance ?NUMBER AccountNumber)
    (exists (?CORPORATION ?AGENT)
        (and
            (instance ?CORPORATION Corporation)
            (instance ?AGENT Agent)
            (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))

Mid-level-ontology.kif 28129-28135