| appearance as argument number 1 |
|
| (documentation accountInformation EnglishLanguage "The UserAccount has some information associated with it, such as a birthdate or mailing address.") | ComputingBrands.kif 4413-4415 | |
| (domain accountInformation 1 UserAccount) | ComputingBrands.kif 4411-4411 | Il numero 1 argomenti di accountInformation è un istanza di UserAccount |
| (domain accountInformation 2 Proposition) | ComputingBrands.kif 4412-4412 | Il numero 2 argomenti di accountInformation è un istanza di Proposizione |
| (instance accountInformation BinaryPredicate) | ComputingBrands.kif 4410-4410 | accountInformation è un' istanza di PredicatoBinario |
| (subrelation accountInformation containsInformation) | ComputingBrands.kif 4409-4409 | accountInformation è una sottorelazione di containsInformation |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage accountInformation "the account %1 has information %2") | ComputingBrands.kif 4416-4416 | |
| (subrelation accountPhoneNumber accountInformation) | ComputingBrands.kif 4155-4155 | accountPhoneNumber è una sottorelazione di accountInformation |
| (termFormat EnglishLanguage accountInformation "account information") | ComputingBrands.kif 4417-4417 |
| antecedent |
|
|
| (=> (and (instance ?CP ChangingAccountInfo) (agent ?CP ?A) (hasAccount ?A ?UA) (accountInformation ?UA ?N1)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?N2) (and (not (equal ?N2 ?N1)) (accountInformation ?UA ?N2))))) |
ComputingBrands.kif 4123-4135 |
|
| consequent |
|
|
| (=> (and (instance ?CP ChangingAccountInfo) (agent ?CP ?A) (hasAccount ?A ?UA) (accountInformation ?UA ?N1)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?N2) (and (not (equal ?N2 ?N1)) (accountInformation ?UA ?N2))))) |
ComputingBrands.kif 4123-4135 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners