AccountNumber - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AccountNumber EnglishLanguage "A unique SymbolicString for a relationship between a Corporation and AutonomousAgent.")	Mid-level-ontology.kif 29950-29951
(subclass AccountNumber SymbolicString)	Mid-level-ontology.kif 29952-29952

appearance as argument number 2

(termFormat EnglishLanguage AccountNumber "account number")

domainEnglishFormat.kif 64402-64402

antecedent

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

Mid-level-ontology.kif 29954-29960