listingSeller |
appearance as argument number 1 |
(documentation listingSeller EnglishLanguage "(listingSeller ?LISTING ?AGENT) relates an AutonomousAgent to a WebListing. It represents that ?AGENT is the entity that desires the Selling of the patient of the ?LISTING. It also means that ?AGENT is the creator of ?LISTING and that ?AGENT is a webSeller on the WebSite that ?LISTING is hostedOn.") | UXExperimentalTerms.kif 52-55 | |
(domain listingSeller 1 WebListing) | UXExperimentalTerms.kif 48-48 | Il numero 1 argomenti di listingSeller è un istanza di WebListing |
(domain listingSeller 2 AutonomousAgent) | UXExperimentalTerms.kif 49-49 | Il numero 2 argomenti di listingSeller è un istanza di AutonomousAgent |
(instance listingSeller BinaryPredicate) | UXExperimentalTerms.kif 47-47 | listingSeller è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage listingSeller "%2 sells %1 ") | domainEnglishFormat.kif 3782-3782 | |
(format ChineseTraditionalLanguage listingSeller "%2 sells %1 ") | domainEnglishFormat.kif 3781-3781 | |
(format EnglishLanguage listingSeller "%2 sells %1") | domainEnglishFormat.kif 3780-3780 | |
(termFormat EnglishLanguage listingSeller "listing seller") | UXExperimentalTerms.kif 50-50 |
antecedent |
consequent |