Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ForSaleByOwner(FSBO) |
| appearance as argument number 1 |
|
| (instance ForSaleByOwner ListingAttribute) | UXExperimentalTerms.kif 367-367 | FSBO is an instance of web listing attribute |
| (documentation ForSaleByOwner EnglishLanguage "A ListingAttribute Where the item which is the patient is a Vehicle and the owner is a Human (i.e. not a dealership.") | UXExperimentalTerms.kif 370-371 | FSBO is an instance of web listing attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ForSaleByOwner "FSBO") | UXExperimentalTerms.kif 368-368 |
| antecedent |
|
|
| (=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (attribute ?LISTING ForSaleByOwner) (patient ?LISTING ?ITEM)) (instance ?ITEM Vehicle)) |
UXExperimentalTerms.kif 373-379 | If X is an instance of object, Y is an instance of web listing, FSBO is an attribute of Y, and X is a patient of Y, then X is an instance of vehicle |
| (=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER AutonomousAgent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human)) |
UXExperimentalTerms.kif 381-388 | If X is an instance of object, Y is an instance of web listing, Z is an instance of agent, FSBO is an attribute of Y, and Z possesses X, then Z is an instance of human |
|