| (=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 815-836 | 如果 All of the following hold: (1) X 的使用对于 Y 是免费 (2) 例 Z and Y (3) 元件 Z and 属性 W (4) 例 V and 租 (5) 患者 V and Z (6) agent V and W (7) 目的地 V and U (8) 子类 X and Object， 然后 模态属性 有存在 T, S 这样 例 T and X, 例 S and Process, 资源 S and T, 仪器 S and T, 患者 S and T, 和 agent S and U, 或 体验者 S and U and 可能性 |
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG)))) |
Economy.kif 5603-5612 | 如果 equal X and OrganicObjectFn Y 和 子类 X and Object， 然后 有存在 Z, W 这样 例 Z and 一个 dead Y, 部分 Z and W, 和 例 W and Y |
| (=> (and (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (forall (?R) (=> (instance ?R ?ROOM) (exists (?O) (and (instance ?R ?ROOM) (instance ?O ?OBJ) (located ?O ?R)))))) |
Hotel.kif 281-292 | 如果 X 是 amenity 在 Y 和 子类 X and Object， 然后 For all Object Z: 如果 例 Z and Y， 然后 有存在 W 这样 例 Z and Y, 例 W and X, 和 位于 W and Z |
| (=> (and (subclass ?TYPE Translocation) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (capability ?TYPE ?ROLE ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) |
Transportation.kif 3727-3736 | 如果 All of the following hold: (1) 子类 X and 易位 (2) 例 Y and X (3) Y 是 located 在 Z (4) 例 W and CaseRole (5) 例 V and Object (6) 例 Z and GeographicArea (7) 能力 X, W and V， 然后 X capable 在地点 W 对于 V 跟 Z 在一起 |
| (=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight ?HOTEL ?CUST (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))))))) |
Hotel.kif 294-313 | 如果 All of the following hold: (1) X 是在 Y 的 guest (2) X stays 在 Z (3) 元件 Z and 属性 Y (4) 例 Z and W (5) V 是 amenity 在 W (6) 子类 V and Object， 然后 有存在 U 这样 例 U and V, 位于 U and Z, 赋予权利 Y, X and 有存在 T 这样 agent T and X, 和 仪器 T and U, 患者 T and U, 或 资源 T and U |
| (=> (and (paidRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (located ?P ?R) (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (exists (?PRICE ?U) (and (price ?O (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 396-417 | 如果 All of the following hold: (1) X 的 承租人 能 pay 去使用 Y (2) 子类 Y and Object (3) 例 Z and X (4) W stays 在 Z (5) 元件 Z and 属性 V (6) 例 U and Y (7) 位于 U and Z (8) 例 T and Process (9) agent T and W (10) At least one of the following holds: (1) 位于 T and Z (2) 患者 T and U (3) 仪器 T and U (4) 资源 T and U， 然后 有存在 S, R 这样 U 是 对于 W 的 price 测量 S and R, 例 R and UnitOfCurrency, 和 比较多 S and 0 |
| (=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight ?AGENT ?CUST (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))))) |
Hotel.kif 504-520 | 如果 X 是 Y 的 customer, X 有 Z, 子类 Z and Object, 和 例 W and Z， 然后 赋予权利 X, Y and 有存在 V 这样 例 V and Process, 资源 V and W, 仪器 V and W, 患者 V and W, 和 agent V and Y, 或 体验者 V and Y |
| (=> (and (instance ?ROBOT CarryBot) (instance ?INSTANCE ?OBJECT) (subclass ?OBJECT Object) (widthLimit ?ROBOT (MeasureFn ?WIDTHLIMIT ?UNIT)) (or (and (defaultMaximumLength ?OBJECT (MeasureFn ?LENGTH ?UNIT)) (defaultMaximumWidth ?OBJECT (MeasureFn ?WIDTH ?UNIT)) (defaultMaximumHeight ?OBJECT (MeasureFn ?HEIGHT ?UNIT)) (greaterThan ?LENGTH ?WIDTHLIMIT) (greaterThan ?WIDTH ?WIDTHLIMIT) (greaterThan ?HEIGHT ?WIDTHLIMIT)) (and (defaultMaximumSphereRadius ?OBJECT (MeasureFn ?RADIUS ?UNIT)) (greaterThan (MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT)))) (not (canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 28-52 | 如果 例 X and CarryBot, 例 Y and Z, 子类 Z and Object, widthLimit X and 测量 W and V, 和 All of the following hold: (1) Z 的 maximum 预期长度是 测量 U and V (2) Z 的 maximum 预期宽度是 测量 T and V (3) Z 的 maximum 预期高度是 测量 S and V (4) 比较多 U and W (5) 比较多 T and W (6) 比较多 S and W 或 Z 的 maximum 預期半径是 测量 R and V 和 比较多 乘法 R and 2 and W， 然后 canCarry X and Y |
| (=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ ?T ?H ?HARM) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 20352-20373 | 如果 例 X and Protecting， 然后 有目的 X and 有存在 Y， Z,， ， W， and, V 这样 例 Y and Object, 患者 X and Object, 子类 V and 卡帕 W and 例 W and 犯罪行为, 例 W and Damaging, 持有期间 Z and 患者 W and Y持有期间 Z and 患者 X and Y, 和 防止 X and V, 或 X hinders V |
| (=> (instance ?T Truck) (exists (?L) (and (subclass ?L Object) (cargoType ?T ?L)))) |
Transportation.kif 2174-2179 | 如果 例 X and 卡车， 然后 有存在 Y 这样 子类 Y and Object 和 Y 是 X 的 cargo 种类 |
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5594-5601 | 如果 equal X and OrganicObjectFn Y 和 子类 X and Object， 然后 子类 Y and Organism 或 子类 Y and AnatomicalStructure |
| (=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X)))) |
Hotel.kif 1489-1502 | 如果 attribute X and DutyFree 和 例 X and 商店， 然后 All of the following hold: (1) 有存在 Y， Z,， ， W， and (2) V 这样 例 Y and GeopoliticalArea (3) 位于 X and Y (4) 子类 W and Object (5) W 是 Y 的 import 商品种类 (6) 例 Z and W (7) 例 V and Selling (8) 患者 V and Z (9) 位于 V and X |
| (=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINST ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINST ?OBJ)) (capability ?PROCESS agent ?AGENT)) |
Catalog.kif 98-107 | 如果 All of the following hold: (1) X offers 拍卖样品在 Y (2) Z 是在 Y (3) 子类 Z and Object (4) 例 W and V (5) 子类 V and Process (6) 例 U and Z (7) 患者 W and U， 然后 能力 V, agent and X |
| (=> (and (lengthLimit ?ROBOT (MeasureFn ?LENGTHLIMIT ?UNIT)) (instance ?INSTANCE ?OBJECT) (subclass ?OBJECT Object) (or (and (defaultMaximumLength ?OBJECT (MeasureFn ?LENGTH ?UNIT)) (defaultMaximumWidth ?OBJECT (MeasureFn ?WIDTH ?UNIT)) (defaultMaximumHeight ?OBJECT (MeasureFn ?HEIGHT ?UNIT))) (or (and (greaterThan ?LENGTH ?LENGTHLIMIT) (greaterThan ?WIDTH ?LENGTHLIMIT)) (and (greaterThan ?LENGTH ?LENGTHLIMIT) (greaterThan ?HEIGHT ?LENGTHLIMIT)) (and (greaterThan ?WIDTH ?LENGTHLIMIT) (greaterThan ?HEIGHT ?LENGTHLIMIT))) (and (defaultMaximumSphereRadius ?OBJECT (MeasureFn ?RADIUS ?UNIT)) (greaterThan (MultiplicationFn ?RADIUS 2) (DivisionFn ?LENGTHLIMIT 2))))) (not (canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 61-86 | 如果 lengthLimit X and 测量 Y and Z, 例 W and V, 子类 V and Object, 和 At least one of the following holds: (1) V 的 maximum 预期长度是 测量 U and Z, V 的 maximum 预期宽度是 测量 T and Z, 和 V 的 maximum 预期高度是 测量 S and Z (2) At least one of the following holds: (1) 比较多 U and Y 和 比较多 T and Y (2) 比较多 U and Y 和 比较多 S and Y (3) 比较多 T and Y 和 比较多 S and Y (3) V 的 maximum 預期半径是 测量 R and Z 和 比较多 乘法 R and 2 and 部 Y and 2， 然后 canCarry X and W |
| (=> (and (massLimit ?ROBOT (MeasureFn ?MASSLIMIT ?UNITOFMASS)) (instance ?INSTANCE ?OBJECT) (subclass ?OBJECT Object) (instance ?UNITOFMASS UnitOfMass) (defaultMaximumMeasure ?OBJECT (MeasureFn ?NUM ?UNITOFMASS)) (greaterThan ?NUM ?MASSLIMIT)) (not (canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 94-103 | 如果 All of the following hold: (1) massLimit X and 测量 Y and Z (2) 例 W and V (3) 子类 V and Object (4) 例 Z and UnitOfMass (5) V 的 maximum 预期价值是 测量 U and Z (6) 比较多 U and Y， 然后 canCarry X and W |
| (=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 346-361 | 如果 All of the following hold: (1) X 的使用是对于 Y 免费 (2) 子类 X and Object (3) 例 Z and Y (4) W stays 在 Z (5) 元件 Z and 属性 V (6) 例 U and X (7) 位于 U and Z (8) 例 T and Process (9) agent T and W (10) At least one of the following holds: (1) 患者 T and U (2) 仪器 T and U (3) 资源 T and U， 然后 U 是 对于 W 的 price 测量 0 and 美国美元 |
| (=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?PROCESS agent ?AGENT ?TIME)) |
Catalog.kif 139-150 | 如果 All of the following hold: (1) X offers 拍卖样品在 Y 在其间 Z (2) W 是在 Y (3) 子类 W and Object (4) 例 V and U (5) 子类 U and Process (6) 例 T and W (7) 患者 V and T (8) 例 Z and S (9) 子类 S and TimeInterval， 然后 X 是 capable 当成 agent 在 U 在期间 S |
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (subclass ?TYPE Object)) (exists (?ITEM) (and (instance ?ITEM ?TYPE) (located ?ITEM ?AREA)))) |
Geography.kif 3726-3733 | 如果 X 是区域 Y 的 natural 有害类别 和 子类 X and Object， 然后 有存在 Z 这样 例 Z and X 和 位于 Z and Y |
| (subclass Object Physical) | Merge.kif 839-839 | 子类 Object and Physical |
| (subclass TornadoDamage Object) | Weather.kif 3379-3379 | 子类 龙卷风损害 and Object |
| (subclass Shrapnel Object) | MilitaryDevices.kif 2253-2253 | 子类 Shrapnel and Object |
| (subclass Magnet Object) | Cars.kif 3944-3944 | 子类 Magnet and Object |
| (subclass TwoDimensionalObject Object) | Mid-level-ontology.kif 5291-5291 | 子类 二维物体 and Object |
| (subclass TransitwayObstacle Object) | Mid-level-ontology.kif 16775-16775 | 子类 过境障碍 and Object |
| (subclass ContactSite Object) | Mid-level-ontology.kif 26952-26952 | 子类 ContactSite and Object |
| (subclass SphericalObject Object) | Mid-level-ontology.kif 27986-27986 | 子类 SphericalObject and Object |
| (subclass SelfConnectedObject Object) | Merge.kif 855-855 | 子类 SelfConnectedObject and Object |
| (subclass Region Object) | Merge.kif 1286-1286 | 子类 Region and Object |
| (subclass AutonomousAgent Object) | Merge.kif 1591-1591 | 子类 AutonomousAgent and Object |
| (subclass AstronomicalBody Object) | Merge.kif 14197-14197 | 子类 AstronomicalBody and Object |
| (subclass Artifact Object) | Merge.kif 15853-15853 | 子类 Artifact and Object |
|
|