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 29338-29339
(subclass AccountNumber SymbolicString)	Mid-level-ontology.kif 29340-29340

antecedent

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

Mid-level-ontology.kif 29342-29348