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 28101-28101
(subclass AccountNumber SymbolicString)	Mid-level-ontology.kif 28102-28102	subclass AccountNumber and SymbolicString

antecedent

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

Mid-level-ontology.kif 28104-28110