Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| immediateInstance |
| appearance as argument number 1 |
|
| (subrelation immediateInstance instance) | Merge.kif 89-89 | immediate instance is a subrelation of instance |
| (domain immediateInstance 1 Entity) | Merge.kif 90-90 | The number 1 argument of immediate instance is an instance of entity |
| (domain immediateInstance 2 Class) | Merge.kif 91-91 | The number 2 argument of immediate instance is an instance of class |
| (instance immediateInstance AsymmetricRelation) | Merge.kif 92-92 | immediate instance is an instance of asymmetric relation |
| (instance immediateInstance IntransitiveRelation) | Merge.kif 93-93 | immediate instance is an instance of intransitive relation |
| (documentation immediateInstance EnglishLanguage "An object is an immediateInstance of a Class if it is an instance of the Class and it is not an instance of a proper subclass of Class.") | Merge.kif 94-96 | immediate instance is an instance of intransitive relation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage immediateInstance "immediate instance") | domainEnglishFormat.kif 29357-29357 | |
| (termFormat ChineseTraditionalLanguage immediateInstance "立即實例") | domainEnglishFormat.kif 29358-29358 | |
| (termFormat ChineseLanguage immediateInstance "立即实例") | domainEnglishFormat.kif 29359-29359 | |
| (format EnglishLanguage immediateInstance "%1 is %n an immediate instance of %2") | english_format.kif 306-306 |
| antecedent |
|
|
| (=> (immediateInstance ?ENTITY ?CLASS) (not (exists (?SUBCLASS) (and (subclass ?SUBCLASS ?CLASS) (not (equal ?SUBCLASS ?CLASS)) (instance ?ENTITY ?SUBCLASS))))) |
Merge.kif 98-104 | If X is an immediate instance of Y, then there doesn't exist Z such that Z is a subclass of Y, equal Z, Y, and X is an instance of Z |
| (=> (and (immediateInstance ?X ?CLASS) (immediateInstance ?Y ?CLASS) (attribute ?X ColdTemperature) (attribute ?Y HotTemperature)) (exists (?TEMPX ?TEMPY ?UNIT) (and (measure ?X (MeasureFn ?TEMPX ?UNIT)) (instance ?UNIT UnitOfTemperature) (instance ?TEMPX TemperatureMeasure) (measure ?Y (MeasureFn ?TEMPY ?UNIT)) (instance ?TEMPY TemperatureMeasure) (greaterThan ?TEMPY ?TEMPX)))) |
Mid-level-ontology.kif 28290-28305 | If X is an immediate instance of Y, Z is an immediate instance of Y, cold is an attribute of X, and hot is an attribute of Z, then there exist W, V and U such that the measure of X is W U(s) and U is an instance of unit of temperature and W is an instance of temperature measure and the measure of Z is V U(s) and V is an instance of temperature measure and V is greater than W |
| (=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely)) |
Catalog.kif 337-352 | If All of the following hold: (1) X is an instance of buying (2) Y is a patient of X (3) X originates at Z (4) the price of W from Z according to V is U or the unit price charged Z under V for T is W (5) W is a subclass of physical (6) Y is an immediate instance of W (7) S is a valid payment under V, then the statement there exists R such that R is an instance of S and R is a subprocess of X has the modal force of likely |
| (=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validFor ?PS ?CUSTCLASS) (instance ?CUSTOMER ?CUSTCLASS)) (modalAttribute (=> (and (instance ?B Buying) (agent ?B ?CUSTOMER) (origin ?B ?AGENT) (patient ?B ?ITEM)) (transactionAmount ?B ?PRICE)) Likely)) |
Catalog.kif 354-370 | If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, Z is valid for T, and S is an instance of T, then the statement R is an instance of buying, S is an agent of R, R originates at Y, and U is a patient of RW is a transaction amount of R has the modal force of likely |
| (=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validityPeriod ?PS ?TIMEINT)) (holdsDuring ?TIMEINT (modalAttribute (=> (and (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?ITEM)) (transactionAmount ?S ?PRICE)) Likely))) |
Catalog.kif 372-387 | If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, and Z is valid during T, then the statement S is an instance of selling, Y is an agent of S, and U is a patient of SW is a transaction amount of S has the modal force of likely holds during T |
| (=> (and (productPrice ?ENT (MeasureFn ?PRICE1 ?U) ?AGENT) (instance ?U UnitOfCurrency) (publishedPrice ?ENT (MeasureFn ?PRICE2 ?U) ?AGENT ?PS) (validFor ?PS ?CUSTCLASS) (instance ?ITEM ?ENT) (instance ?B Buying) (immediateInstance ?CUST ?CUSTCLASS) (agent ?B ?CUST) (origin ?B ?AGENT) (lessThan ?PRICE2 ?PRICE1)) (modalAttribute (transactionAmount ?B ?PRICE1) Likely)) |
Catalog.kif 430-445 | If All of the following hold: (1) X sells Y for Z W(s) (2) W is an instance of unit of currency (3) the price of Y from X according to V is U W(s) (4) V is valid for T (5) S is an instance of Y (6) R is an instance of buying (7) Q is an immediate instance of T (8) Q is an agent of R (9) R originates at X (10) U is less than Z, then the statement Z is a transaction amount of R has the modal force of likely |
| (=> (and (immediateInstance ?BIG ?CLASS) (immediateInstance ?NORMAL ?CLASS) (attribute ?BIG Oversized)) (exists (?BIGSIZE ?NORMALSIZE ?U) (and (instance ?U UnitOfMeasure) (measure ?BIG (MeasureFn ?BIGSIZE ?U)) (measure ?NORMAL (MeasureFn ?NORMALSIZE ?U)) (greaterThan ?BIGSIZE ?NORMALSIZE)))) |
Hotel.kif 1180-1192 | If X is an immediate instance of Y, Z is an immediate instance of Y, and oversized is an attribute of X, then there exist W, V and U such that U is an instance of unit of measure and the measure of X is W U(s) and the measure of Z is V U(s) and W is greater than V |
| (=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2 ?U) (and (immediateInstance ?NORMAL ?HOTELUNIT) (instance ?U UnitOfArea) (measure ?NORMAL (MeasureFn ?AREA1 ?U)) (measure ?ROOM (MeasureFn ?AREA2 ?U)) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1)))) |
Hotel.kif 1194-1209 | If oversized is an attribute of X, X is an immediate instance of Y, and Y is a subclass of hotel unit, then there exist Z, W,, , V and U such that Z is an immediate instance of Y and U is an instance of unit of area and the measure of Z is W U(s) and the measure of X is V U(s) and W is an instance of area measure and V is an instance of area measure and V is greater than W |
| consequent |
|
|
| (=> (instance ?INDUSTRY Industry) (exists (?MEMB1 ?MEMB2 ?CLASS) (and (member ?MEMB1 ?INDUSTRY) (member ?MEMB2 ?INDUSTRY) (subclass ?CLASS Corporation) (immediateInstance ?MEMB1 ?CLASS) (immediateInstance ?MEMB2 ?CLASS)))) |
Mid-level-ontology.kif 16591-16599 | If X is an instance of industry, then there exist Y, Z, W such that Y is a member of X, Z is a member of X, W is a subclass of corporation, Y is an immediate instance of W, and Z is an immediate instance of W |
| (=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (modalAttribute (exists (?S ?ITEM) (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER) (transactionAmount ?S ?PRICE))) Promise)) |
Catalog.kif 276-289 | If the price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) the statement there exist U (2) T such that U is an instance of selling (3) T is a patient of U (4) T is an immediate instance of X (5) W is an agent of U (6) U ends up at V (7) Z is a transaction amount of U has the modal force of promise |
| (=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (agreementClause (exists (?B ?ITEM) (and (instance ?B Buying) (patient ?B ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?B ?BUYER) (origin ?B ?SELLER) (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER)) |
Catalog.kif 311-324 | If the price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) W has the responsibility to make there exist U (2) T such that U is an instance of buying (3) T is a patient of U (4) T is an immediate instance of X (5) V is an agent of U (6) U originates at W (7) Z is a transaction amount of U obligation in Y |
| (=> (productPrice ?ENT ?PRICE ?AGENT) (modalAttribute (=> (and (instance ?S Selling) (immediateInstance ?I ?ENT) (patient ?S ?I) (agent ?S ?AGENT)) (transactionAmount ?S ?PRICE)) Likely)) |
Catalog.kif 419-428 | If X sells Y for Z, then the statement W is an instance of selling, V is an immediate instance of Y, V is a patient of W, and X is an agent of WZ is a transaction amount of W has the modal force of likely |
| (=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2 ?U) (and (immediateInstance ?NORMAL ?HOTELUNIT) (instance ?U UnitOfArea) (measure ?NORMAL (MeasureFn ?AREA1 ?U)) (measure ?ROOM (MeasureFn ?AREA2 ?U)) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1)))) |
Hotel.kif 1194-1209 | If oversized is an attribute of X, X is an immediate instance of Y, and Y is a subclass of hotel unit, then there exist Z, W,, , V and U such that Z is an immediate instance of Y and U is an instance of unit of area and the measure of Z is W U(s) and the measure of X is V U(s) and W is an instance of area measure and V is an instance of area measure and V is greater than W |
|