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 4305-4306 | |
(documentation PropertyFn JapaneseLanguage "UnaryFunction は、Agent を Agent が所有する OObject Set にマップする。") | japanese_format.kif 790-791 | |
(domain PropertyFn 1 AutonomousAgent) | Merge.kif 4302-4302 | 属于财产函数 的 1 数量 是 施事体 的 instance |
(instance PropertyFn TotalValuedRelation) | Merge.kif 4301-4301 | 属于财产函数 是 总值关系 的 instance |
(instance PropertyFn UnaryFunction) | Merge.kif 4300-4300 | 属于财产函数 是 一元函数 的 instance |
(range PropertyFn Set) | Merge.kif 4303-4303 | 属于财产函数 的 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 47812-47812 | |
(termFormat ChineseTraditionalLanguage PropertyFn "屬性") | domainEnglishFormat.kif 47811-47811 | |
(termFormat EnglishLanguage PropertyFn "property") | domainEnglishFormat.kif 47810-47810 | |
(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 603-608 | |
(=> (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 1946-1957 | |
(=> (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 1135-1148 |
|
(=> (and (element ?X (PropertyFn ?HOTEL)) (instance ?X RoomInventory)) (forall (?Y) (=> (member ?Y ?X) (element ?Y (PropertyFn ?HOTEL))))) |
Hotel.kif 147-154 | |
(=> (and (instance ?CG CapitalMeanOfProduction) (attribute ?CGO ?CG)) (exists (?M ?A ?MONEY ?AGENT ?PROPERTYITEM) (or (and (instance ?MONEY Currency) (equal ?CGO ?MONEY)) (and (element ?PROPERTYITEM (PropertyFn ?AGENT)) (equal ?PROPERTYITEM ?CGO)) (and (instance ?A Artifact) (equal ?CGO ?A))))) |
Economy.kif 6116-6130 |
|
(=> (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 7886-7890 | |
(=> (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 1702-1705 | |
(=> (member ?CAPITALIST Capitalism) (believes ?CAPITALIST (=> (and (instance ?MEANOFPRODUCTION MeanOfProduction) (attribute ?OBJ ?MEANOFPRODUCTION) (instance ?COUNTRY GeopoliticalArea) (located ?OBJ ?COUNTRY)) (exists (?AA) (and (instance ?AA AutonomousAgent) (element ?OBJ (PropertyFn ?AA)) (not (equal ?AA (CitizenryFn ?COUNTRY)))))))) |
Economy.kif 905-919 | |
(=> (member ?COMMUNIST Communism) (believes ?COMMUNIST (=> (and (instance ?MEANOFPRODUCTION MeanOfProduction) (attribute ?OBJ ?MEANOFPRODUCTION) (instance ?COUNTRY GeopoliticalArea) (located ?OBJ ?COUNTRY)) (element ?OBJ (PropertyFn (CitizenryFn ?COUNTRY)))))) |
Economy.kif 880-889 | |
(=> (possesses ?PERSON ?OBJ) (element ?OBJ (PropertyFn ?PERSON))) |
Merge.kif 4313-4316 | |
(=> (propertyPolicy ?AGENT ?POLICY) (forall (?X) (=> (element ?X (PropertyFn ?AGENT)) (policyLocationCoverage ?POLICY ?X)))) |
Hotel.kif 619-624 | |
(=> (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 1738-1750 |
![]() |
![]() |