member |
(=> (and (webSales ?SALES ?SELLER ?SITE) (member ?SELLING ?SALES)) (and (instance ?SELLING Selling) (agent ?SELLING ?SELLER) (eCommerceSite ?SELLING ?SITE))) |
UXExperimentalTerms.kif 934-941 | |
(=> (and (webcart ?USER ?COLL ?SITE) (instance ?OBJ Object) (member ?OBJ ?COLL)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER))))) |
UXExperimentalTerms.kif 690-700 | |
(=> (and (webcart ?USER ?COLL ?SITE) (member ?OBJ ?COLL)) (instance ?OBJ Object)) |
UXExperimentalTerms.kif 684-688 | |
(=> (and (workLocation ?O ?S) (member ?P ?O) (instance ?W Working) (agent ?W ?P)) (modalAttribute (located ?W ?S) Likely)) |
Mid-level-ontology.kif 20534-20542 | |
(=> (holdsDuring ?T1 (and (member ?AGENT1 Public) (member ?AGENT2 Public) (not (equal ?AGENT1 ?AGENT2)))) (exists (?INTEREST) (holdsDuring ?T1 (and (desires ?AGENT1 ?INTEREST) (desires ?AGENT2 ?INTEREST))))) |
Mid-level-ontology.kif 26068-26079 | |
(=> (member ?AGENT InternationalCourtOfJustice) (and (instance ?AGENT Human) (attribute ?AGENT JudgeAtLaw))) |
Government.kif 3460-3464 | |
(=> (member ?AGNOSTIC Agnosticism) (not (knows ?AGNOSTIC (not (exists (?GOD) (equal ?GOD God)))))) |
People.kif 691-697 | |
(=> (member ?AREA UnitedStatesMinorOutlyingIslands) (dependentGeopoliticalArea ?AREA UnitedStates)) |
Media.kif 2614-2616 | |
(=> (member ?ATHEIST Atheism) (believes ?ATHEIST (not (exists (?GOD) (equal ?GOD God))))) |
People.kif 710-715 | |
(=> (member ?ISLAND VirginIslands) (instance ?ISLAND Island)) |
CountriesAndRegions.kif 1169-1171 | |
(=> (member ?MEMBER Antisemitism) (dislikes ?MEMBER Judaism)) |
People.kif 1442-1444 | |
(=> (member ?PERSON (ResidentFn ?AREA)) (home ?PERSON ?AREA)) |
Mid-level-ontology.kif 8032-8034 | |
(=> (member ?STATE GroupOf7) (attribute ?STATE MajorIndustrialEconomy)) |
Economy.kif 751-753 | |
(=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H)))) |
Medicine.kif 3061-3068 |