| appearance as argument number 1 |
|
| (documentation SellersOtherItemsFn EnglishLanguage "(SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIMEPOINT) returns a Collection of all WebListings except ?LISTING hostedOn ?SITE where ?AGENT is the listingSeller and where ?TIMEPOINT is a Temporal part of WhenFn of those WebListings.") | UXExperimentalTerms.kif 1028-1031 | |
| (domain SellersOtherItemsFn 1 AutonomousAgent) | UXExperimentalTerms.kif 1016-1016 | |
| (domain SellersOtherItemsFn 2 WebSite) | UXExperimentalTerms.kif 1018-1018 | |
| (domain SellersOtherItemsFn 3 WebListing) | UXExperimentalTerms.kif 1020-1020 | |
| (domain SellersOtherItemsFn 4 TimePoint) | UXExperimentalTerms.kif 1022-1022 | |
| (instance SellersOtherItemsFn QuaternaryFunction) | UXExperimentalTerms.kif 1014-1014 | |
| (range SellersOtherItemsFn Collection) | UXExperimentalTerms.kif 1024-1024 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage SellersOtherItemsFn "东西对于 sale 由 %1 非列在 %3 在 %2 期间 %4 ") | domainEnglishFormat.kif 4486-4486 | |
| (format ChineseTraditionalLanguage SellersOtherItemsFn "東西對於 sale 由 %1 非列在 %3 在 %2 期間 %4 ") | domainEnglishFormat.kif 4485-4485 | |
| (format EnglishLanguage SellersOtherItemsFn "things for sale by %1 not listed in %3 at %2 during %4") | domainEnglishFormat.kif 4484-4484 | |
| (termFormat EnglishLanguage SellersOtherItemsFn "sellers other items") | UXExperimentalTerms.kif 1026-1026 |
| consequent |
|
|
| (=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT AutonomousAgent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM ?MEMBER) (and (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL)) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing)))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL)) |
UXExperimentalTerms.kif 1033-1060 |
|
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