PropertyFn |
appearance as argument number 1 |
(documentation PropertyFn ChineseLanguage "这是个 UnaryFunction,它把一个 Agent 和属于 Agent 的 Object Set 联系起来。") | chinese_format.kif 2135-2136 | |
(documentation PropertyFn EnglishLanguage "A UnaryFunction that maps an AutonomousAgent to the Set of Objects owned by the AutonomousAgent.") | Merge.kif 4277-4278 | |
(documentation PropertyFn JapaneseLanguage "UnaryFunction は、Agent を Agent が所有する OObject Set にマップする。") | japanese_format.kif 790-791 | |
(domain PropertyFn 1 AutonomousAgent) | Merge.kif 4274-4274 | Die Zahl 1 Argument von EigentumFn ist ein fall von AutonomousAgent %n{nicht} |
(instance PropertyFn TotalValuedRelation) | Merge.kif 4273-4273 | EigentumFn ist ein fall von TotalValuedRelation %n{nicht} |
(instance PropertyFn UnaryFunction) | Merge.kif 4272-4272 | EigentumFn ist ein fall von UnaryFunction %n{nicht} |
(range PropertyFn Set) | Merge.kif 4275-4275 | bildbereich von EigentumFn ist ein fall von Set {nicht} |
appearance as argument number 2 |
(format ChineseLanguage PropertyFn "%1 的财产") | chinese_format.kif 269-269 | |
(format EnglishLanguage PropertyFn "belongings of %1") | english_format.kif 274-274 | |
(format FrenchLanguage PropertyFn "appartenir � %1") | french_format.kif 153-153 | |
(format ItalianLanguage PropertyFn "appartenenze di %1") | relations-it.txt 236-236 | |
(format JapaneseLanguage PropertyFn "%1 の belongings") | japanese_format.kif 1981-1981 | |
(format PortugueseLanguage PropertyFn "propriedade de %1") | portuguese_format.kif 105-105 | |
(format cz PropertyFn "belongings of %1") | relations-cz.txt 163-163 | |
(format de PropertyFn "eigentum von %1") | relations-de.txt 347-347 | |
(format hi PropertyFn "%1 kii sampatti") | relations-hindi.txt 274-274 | |
(format ro PropertyFn "belongings%t{bunurile} lui %1") | relations-ro.kif 172-172 | |
(format sv PropertyFn "tillhörigheter av %1") | relations-sv.txt 159-159 | |
(format tg PropertyFn "pag-aari ng %1") | relations-tg.txt 428-428 | |
(termFormat ChineseLanguage PropertyFn "属于财产函数") | chinese_format.kif 270-270 | |
(termFormat ChineseLanguage PropertyFn "属性") | domainEnglishFormat.kif 47810-47810 | |
(termFormat ChineseTraditionalLanguage PropertyFn "屬性") | domainEnglishFormat.kif 47809-47809 | |
(termFormat EnglishLanguage PropertyFn "property") | domainEnglishFormat.kif 47808-47808 | |
(termFormat de PropertyFn "EigentumFn") | terms-de.txt 111-111 |
antecedent |
consequent |
(=> (activityCapability ?AGENT ?ACT) (exists (?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (capability ?ACT located ?LOC)))) |
Hotel.kif 599-604 |
|
(=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1935-1946 |
|
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 |
|
(=> (and (element ?ROOM (PropertyFn ?HOTEL)) (attribute ?ROOM AnnexRoom) (instance ?ROOM HotelRoom)) (exists (?BLDG1 ?BLDG2 ?FRNT) (and (subOrganization ?FRNT ?HOTEL) (instance ?FRNT HotelFrontDesk) (located ?FRNT ?BLDG1) (element ?BLDG1 (PropertyFn ?HOTEL)) (element ?BLDG2 (PropertyFn ?HOTEL)) (part ?ROOM ?BLDG2) (not (equal ?BLDG1 ?BLDG2))))) |
Hotel.kif 1127-1140 |
|
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL))))) |
Hotel.kif 147-154 |
|
(=> (and (roomAmenity ?ROOM ?SVC) (subclass ?SVC Process)) (modalAttribute (exists (?X ?S ?HOTEL ?PROC) (and (instance ?X ?ROOM) (element ?X (PropertyFn ?HOTEL)) (agent ?S ?HOTEL) (or (instance ?S ?SVC) (and (instance ?PROC ?SVC) (subProcess ?S ?PROC))) (located ?S ?X))) Possibility)) |
Hotel.kif 317-332 |
|
(=> (attribute ?X TravelerAccommodation) (hasPurpose ?X (exists (?GUEST ?ROOM ?TI) (and (rents ?GUEST ?X ?ROOM ?TI) (instance ?ROOM HotelUnit) (element ?ROOM (PropertyFn ?X)))))) |
Hotel.kif 45-52 |
|
(=> (attribute ?X WaterThemePark) (exists (?POOL) (and (instance ?POOL SwimmingPool) (element ?POOL (PropertyFn ?X))))) |
naics.kif 11437-11442 |
|
(=> (equal (WealthFn ?PERSON) ?AMOUNT) (monetaryValue (PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7801-7805 |
|
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL))))) |
Hotel.kif 103-108 |
|
(=> (instance ?ROOM HotelUnit) (hasPurpose ?ROOM (exists (?AGENT ?CUST ?TI) (and (not (equal ?AGENT ?CUST)) (element ?ROOM (PropertyFn ?AGENT)) (rents ?CUST ?AGENT ?ROOM ?TI))))) |
Hotel.kif 110-117 |
|
(=> (instance ?X HotelFunctionRoom) (exists (?HOTEL) (element ?X (PropertyFn ?HOTEL)))) |
Hotel.kif 1691-1694 |
|
(=> (possesses ?PERSON ?OBJ) (element ?OBJ (PropertyFn ?PERSON))) |
Merge.kif 4285-4288 |
|
(=> (propertyPolicy ?AGENT ?POLICY) (forall (?X) (=> (element ?X (PropertyFn ?AGENT)) (policyLocationCoverage ?POLICY ?X)))) |
Hotel.kif 615-620 |
|
(=> (roomAmenity ?X HotelMiniBar) (exists (?ROOM ?BAR ?HOTEL) (and (instance ?ROOM ?X) (element ?ROOM (PropertyFn ?HOTEL)) (instance ?BAR HotelMiniBar) (located ?BAR ?ROOM) (forall (?ITEM) (=> (member ?ITEM ?BAR) (exists (?AMT) (price ?ITEM ?AMT ?HOTEL))))))) |
Hotel.kif 1727-1739 |
|