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 29334-29335
(subclass AccountNumber SymbolicString)	Mid-level-ontology.kif 29336-29336

antecedent

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

Mid-level-ontology.kif 29338-29344