AccountNumber(account number) |
appearance as argument number 1 |
![]() |
(documentation AccountNumber EnglishLanguage "A unique SymbolicString for a relationship between a Corporation and AutonomousAgent.") | Mid-level-ontology.kif 31820-31821 | |
(subclass AccountNumber SymbolicString) | Mid-level-ontology.kif 31822-31822 | Account number is a subclass of symbolic string |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage AccountNumber "account number") | domainEnglishFormat.kif 64394-64394 |
antecedent |
![]() |
(=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER)))) |
Mid-level-ontology.kif 31824-31830 |
|
![]() |
![]() |