(=>
(possesses ?PERSON ?OBJ)
(modalAttribute
(uses ?OBJ ?PERSON) Permission)) |
Merge.kif 4367-4369 |
If X possesses Y, then the statement X uses Y has the modal force of permission |
(=>
(and
(holdsDuring ?T
(possesses ?PERSON ?OBJ))
(part ?P ?OBJ))
(holdsDuring ?T
(possesses ?PERSON ?P))) |
Merge.kif 4371-4377 |
If X possesses Y holds during Z and W is a part of Y, then X possesses W holds during Z |
(=>
(and
(instance ?TIME TimePosition)
(holdsDuring ?TIME
(possesses ?AGENT1 ?OBJ))
(holdsDuring ?TIME
(possesses ?AGENT2 ?OBJ)))
(equal ?AGENT1 ?AGENT2)) |
Merge.kif 4379-4384 |
If X is an instance of time position, Y possesses Z holds during X, and W possesses Z holds during X, then equal Y and W |
(=>
(possesses ?PERSON ?OBJ)
(element ?OBJ
(PropertyFn ?PERSON))) |
Merge.kif 4399-4402 |
If X possesses Y, then Y is an element of belongings of X |
(=>
(and
(instance ?CHANGE ChangeOfPossession)
(patient ?CHANGE ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?CHANGE))
(possesses ?AGENT1 ?OBJ))
(holdsDuring
(EndFn
(WhenFn ?CHANGE))
(possesses ?AGENT2 ?OBJ)))
(not
(equal ?AGENT1 ?AGENT2))) |
Merge.kif 11923-11930 |
If X is an instance of change of possession, Y is a patient of X, Z possesses Y holds during the beginning of the time of existence of X, and W possesses Y holds during the end of the time of existence of X, then equal Z and W |
(=>
(and
(instance ?FLEET Fleet)
(fleetSize ?AGENT ?NUM)
(possesses ?AGENT ?FLEET))
(memberCount ?FLEET ?NUM)) |
Mid-level-ontology.kif 4155-4160 |
If X is an instance of Fleet, Y has a fleet of Z vehicles, and Y possesses X, then Z is a member count of X |
(=>
(and
(instance ?UNIT SingleFamilyResidence)
(home ?PERSON ?UNIT)
(possesses ?PERSON ?UNIT)
(not
(instance ?UNIT Building)))
(instance ?UNIT CondominiumUnit)) |
Mid-level-ontology.kif 8237-8243 |
If X is an instance of single family residence, the home of Y is X, Y possesses X, and X is not an instance of building, then X is an instance of condominium unit |
(=>
(and
(instance ?C FamilyBusiness)
(possesses ?P1 ?C)
(possesses ?P2 ?C))
(familyRelation ?P1 ?P2)) |
Mid-level-ontology.kif 8566-8571 |
If X is an instance of family business, Y possesses X, and Z possesses X, then Y and Z are related |
(=>
(and
(instance ?DEGREE AcademicDegree)
(possesses ?AGENT ?DEGREE))
(exists (?PROGRAM ?STUDY)
(and
(instance ?PROGRAM EducationalProgram)
(realization ?STUDY ?PROGRAM)
(experiencer ?STUDY ?AGENT)))) |
Mid-level-ontology.kif 18128-18136 |
If X is an instance of academic degree and Y possesses X, then there exist Z, W such that Z is an instance of educational program, W expresses the content of Z, and Y experiences W |
(=>
(and
(issuedBy ?TICKET ?AGENT)
(instance ?TICKET Ticket)
(possesses ?CUST ?TICKET))
(confersNorm ?AGENT Permission
(exists (?T)
(holdsDuring ?T
(exists (?P)
(and
(instance ?P Process)
(agent ?P ?AGENT)
(experiencer ?P ?CUST))))))) |
Mid-level-ontology.kif 18156-18168 |
If X is an issued by of Y, Y is an instance of ticket, and Z possesses Y, then X confers norm permission for there exists W such that there exists V such that V is an instance of process, X is an agent of V, and Z experiences V holds during W |
(=>
(and
(instance ?P Passport)
(possesses ?A ?P))
(confersNorm
(exists (?T ?N1 ?N2)
(and
(instance ?T Translocation)
(agent ?T ?A)
(origin ?T ?N1)
(destination ?T ?N2)
(instance ?N1 Nation)
(instance ?N2 Nation)
(not
(equal ?N1 ?N2)))) Permission ?P)) |
Mid-level-ontology.kif 18175-18189 |
If X is an instance of passport and Y possesses X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of translocation (3) Y is an agent of Z (4) Z originates at W (5) Z ends up at V (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V confers norm permission for X |
(=>
(and
(instance ?P PassCertificate)
(possesses ?A ?P))
(exists (?L)
(confersNorm
(located ?A ?L) Permission ?P))) |
Mid-level-ontology.kif 18196-18203 |
If X is an instance of pass certificate and Y possesses X, then there exists Z such that Y is located at Z confers norm permission for X |
(=>
(and
(instance ?L DriversLicense)
(possesses ?A ?L))
(confersNorm ?L Permission
(exists (?D ?V)
(and
(instance ?D Driving)
(agent ?D ?A)
(patient ?D ?V)
(instance ?V RoadVehicle))))) |
Mid-level-ontology.kif 18500-18511 |
If X is an instance of drivers license and Y possesses X, then X confers norm permission for there exist Z, W such that Z is an instance of driving, Y is an agent of Z, W is a patient of Z, and W is an instance of road vehicle |
(=>
(and
(instance ?DEVICE Telephone)
(holdsDuring ?TIME
(and
(possesses ?AGENT ?DEVICE)
(deviceTelecomNumber ?NUMBER ?DEVICE))))
(holdsDuring ?TIME
(telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 27289-27296 |
If X is an instance of telephone and Y possesses X and X has number Z holds during W, then Z is the telephone number of Y holds during W |
(=>
(and
(instance ?DEVICE FaxMachine)
(holdsDuring ?TIME
(and
(deviceTelecomNumber ?NUMBER ?DEVICE)
(possesses ?AGENT ?DEVICE))))
(holdsDuring ?TIME
(faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 27478-27485 |
If X is an instance of fax machine and X has number Y and Z possesses X holds during W, then the fax number of Z is Y holds during W |
(=>
(and
(hasAccount ?U ?AC)
(password ?P ?AC)
(deviceAccount ?AC ?D)
(not
(knows ?U
(password ?P ?AC)))
(knows ?U
(recoveryKey ?S ?AC))
(possesses ?U ?D))
(modalAttribute
(exists (?C)
(and
(instance ?C ChangingPassword)
(patient ?C ?AC)
(agent ?C ?U))) Possibility)) |
ComputingBrands.kif 4333-4350 |
If All of the following hold: (1) X has account Y (2) Y has password Z (3) device account Y and W (4) X doesn't know Y has password Z (5) X knows the account Y has recovery key V (6) X possesses W, then the statement there exists U such that U is an instance of change password, Y is a patient of U, and X is an agent of U has the modal force of possibility |
(=>
(and
(instance ?REST Restaurant)
(instance ?DR DiningRoom)
(attribute ?DR PrivateAttribute)
(possesses ?REST ?DR)
(customer ?GRP1 ?REST)
(instance ?E1 Eating)
(agent ?E1 ?GRP1)
(instance ?GRP1 GroupOfPeople))
(modalAttribute
(not
(exists (?GRP2 ?E2)
(and
(customer ?GRP2 ?REST)
(not
(equal ?GRP1 ?GRP2))
(instance ?E2 Eating)
(agent ?E2 ?GRP2)
(holdsDuring
(WhenFn ?E1)
(eventLocated ?E2 ?DR))))) Likely)) |
Dining.kif 1230-1249 |
If All of the following hold: (1) X is an instance of restaurant (2) Y is an instance of dining room (3) private attribute is an attribute of Y (4) X possesses Y (5) X is a customer of Z (6) W is an instance of eating (7) Z is an agent of W (8) Z is an instance of group of people, then All of the following hold: (1) the statement there don't exist V (2) U such that X is a customer of V (3) equal Z (4) V (5) U is an instance of eating (6) V is an agent of U (7) U is located at Y holds during the time of existence of W has the modal force of likely |
(=>
(and
(instance ?Card DebitCard)
(possesses ?Agent ?Card))
(exists (?Account)
(and
(instance ?Account DepositAccount)
(cardAccount ?Card ?Account)
(accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 205-213 |
If X is an instance of debit card and Y possesses X, then there exists Z such that Z is an instance of deposit account, Z is a card account of X, and Y holds account Z |
(=>
(and
(instance ?Card CreditCard)
(possesses ?Agent ?Card))
(exists (?Account)
(and
(instance ?Account CreditCardAccount)
(cardAccount ?Card ?Account)
(accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 220-228 |
If X is an instance of credit card and Y possesses X, then there exists Z such that Z is an instance of credit card account, Z is a card account of X, and Y holds account Z |
(=>
(and
(possesses ?Agent ?Stocks)
(measure ?Stocks
(MeasureFn ?Number ShareUnit))
(splitFor ?Event ?N1 ?N2))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?Event))
(and
(equal ?N3
(MultiplicationFn ?Number ?N2))
(equal ?NewNumber
(DivisionFn ?N3 ?N1))
(measure ?Stocks
(MeasureFn ?NewNumber ShareUnit))))) |
FinancialOntology.kif 2270-2280 |
If X possesses Y, the measure of Y is Z share unit(s), and W is split for V for U, then equal T and Z and U and equal S and T and V and the measure of Y is S share unit(s) holds during immediately after the time of existence of W |
(=>
(and
(instance ?Bond Bond)
(couponInterest ?Bond ?Interest)
(possesses ?BondHolder ?Bond))
(exists (?Period ?Payment)
(and
(periodicPayment
(AccountFn ?Bond) ?Interest ?Period)
(destination ?Payment ?BondHolder)))) |
FinancialOntology.kif 2311-2319 |
If X is an instance of bond, Y is a coupon interest of X, and Z possesses X, then there exist W, V such that the account of X is periodic payment Y for W, and V ends up at Z |
(<=>
(and
(instance ?Account FinancialAccount)
(possesses ?Agent ?Asset)
(equal ?Account
(AccountFn ?Asset)))
(accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2362-2367 |
X is an instance of financial account, Y possesses Z, equal X, the account of Z if, and only if Y holds account X |
(=>
(and
(instance ?Bond ZeroCouponBond)
(maturityDate
(AccountFn ?Bond) ?Date)
(possesses ?BondHolder ?Bond)
(principalAmount
(AccountFn ?Bond)
(MeasureFn ?Principal ?CUNIT))
(agreementPeriod
(AccountFn ?Bond) ?Period)
(interestEarned
(AccountFn ?Bond)
(MeasureFn ?Interest ?CUNIT) ?Period)
(equal ?Total
(AdditionFn ?Principal ?Interest)))
(exists (?Payment)
(and
(instance ?Payment Payment)
(destination ?Payment ?BondHolder)
(origin ?Payment
(AccountFn ?Bond))
(transactionAmount ?Payment
(MeasureFn ?Total ?CUNIT))))) |
FinancialOntology.kif 2374-2396 |
If All of the following hold: (1) X is an instance of zero coupon bond (2) Y is a maturity date of the account of X (3) Z possesses X (4) W V(s) is a principal amount of the account of X (5) U is an agreement period of the account of X (6) the account of X is interest earned T V(s) for U (7) equal S and (W and T), then there exists R such that R is an instance of payment and R ends up at Z and R originates at the account of X and S V(s) is a transaction amount of R |
(=>
(and
(instance ?Bond SecuredBond)
(securedBy ?Bond ?Security)
(possesses ?Agent ?Bond)
(instance ?Default FinancialDefault)
(patient ?Default ?Bond))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?Default))
(possesses ?Agent ?Security))) |
FinancialOntology.kif 2438-2447 |
If X is an instance of secured bond, Y is a secured by of X, Z possesses X, W is an instance of financial default, and X is a patient of W, then Z possesses Y holds during immediately after the time of existence of W |
(=>
(and
(riskTolerance ?Agent ?Level)
(instance ?Investment Investment)
(possesses ?Agent ?Investment))
(riskLevel ?Investment ?Level)) |
FinancialOntology.kif 3548-3553 |
If X is a risk tolerance of Y, Z is an instance of investment, and Y possesses Z, then the risk level of Z is X |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
Entity