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 | 属于财产函数 的 1 数量 是 施事体 的 instance |
(instance PropertyFn TotalValuedRelation) | Merge.kif 4273-4273 | 属于财产函数 是 总值关系 的 instance |
(instance PropertyFn UnaryFunction) | Merge.kif 4272-4272 | 属于财产函数 是 一元函数 的 instance |
(range PropertyFn Set) | Merge.kif 4275-4275 | 属于财产函数 的 range 是 集合 的实例 |
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 |