| appearance as argument number 1 |
|
| (instance property BinaryPredicate) | Merge.kif 1741-1741 | property is an instance of binary predicate |
| (domain property 1 Entity) | Merge.kif 1742-1742 | The number 1 argument of property is an instance of entity |
| (domain property 2 Attribute) | Merge.kif 1743-1743 | The number 2 argument of property is an instance of attribute |
| (documentation property EnglishLanguage "This Predicate holds between an instance of Entity and an instance of Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the Attribute ?ATTR.") | Merge.kif 1745-1747 | The number 2 argument of property is an instance of attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (contraryAttribute @ROW) (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?NUMBER1)) (equal ?ATTR2 (ListOrderFn (ListFn @ROW) ?NUMBER2)) (not (equal ?NUMBER1 ?NUMBER2)) (property ?OBJ ?ATTR1)) (not (property ?OBJ ?ATTR2))) |
Merge.kif 469-477 | If @ROW is the opposite of, equal Y and Z element of (@ROW), equal W and V element of (@ROW), equal U and T, and S the attribute Y, then S does not have the attribute W |
| (=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Merge.kif 7699-7704 | If X the attribute Y, X is an instance of physical, and Y is an instance of shape attribute, then X is Y |
| (=> (and (property ?ITEM ?VALUE) (instance ?VALUE TruthValue)) (or (instance ?ITEM Sentence) (instance ?ITEM Proposition))) |
Merge.kif 17170-17176 | If X the attribute Y and Y is an instance of truth value, then X is an instance of sentence or X is an instance of proposition |
| (=> (and (property ?THING ?ATTR) (instance ?ATTR ContestAttribute)) (exists (?CONTEST) (and (instance ?CONTEST Contest) (or (agent ?CONTEST ?THING) (patient ?CONTEST ?THING) (subProcess ?THING ?CONTEST))))) |
Merge.kif 17587-17597 | If X the attribute Y and Y is an instance of contest attribute, then there exists Z such that Z is an instance of contest and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z |
| (=> (and (instance ?ORG OrganicObject) (instance ?ATTR DevelopmentalAttribute) (holdsDuring ?TIME (property ?ORG ?ATTR))) (holdsDuring ?TIME (developmentalForm ?ORG ?ATTR))) |
Mid-level-ontology.kif 237-242 | If X is an instance of organic object, Y is an instance of developmental attribute, and X the attribute Y holds during Z, then the developmental form of X is Y holds during Z |
| (=> (property ?AGREEMENT ActiveAgreement) (instance ?AGREEMENT Agreement)) |
Mid-level-ontology.kif 15635-15637 | If X the attribute active agreement, then X is an instance of agreement |
| (=> (property ?AGREEMENT ActiveAgreement) (modalAttribute (exists (?PROC) (realization ?PROC ?AGREEMENT)) Obligation)) |
Mid-level-ontology.kif 15639-15643 | If X the attribute active agreement, then the statement there exists Y such that Y expresses the content of X has the modal force of obligation |
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 15645-15649 | If X the attribute promise, then X the attribute contract or X the attribute naked promise |
| (=> (and (property ?AGREEMENT Contract) (subProposition ?X ?AGREEMENT)) (modalAttribute ?X Legal)) |
Mid-level-ontology.kif 15664-15668 | If X the attribute contract and Y is a sub-proposition of X, then the statement Y has the modal force of legal |
| (=> (and (property ?AGREEMENT Contract) (partyToAgreement ?AGENT1 ?AGREEMENT) (partyToAgreement ?AGENT2 ?AGREEMENT) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT1) (realization ?PROC ?PROP) (not (consistent ?PROP ?AGREEMENT))) (modalAttribute (exists (?LEGAL) (and (instance ?LEGAL LegalAction) (plaintiff ?LEGAL ?AGENT2) (defendant ?LEGAL ?AGENT1))) Possibility)) |
Mid-level-ontology.kif 15670-15684 | If All of the following hold: (1) X the attribute contract (2) X is a party to agreement of Y (3) X is a party to agreement of Z (4) W is an instance of intentional process (5) Y is an agent of W (6) W expresses the content of V (7) X is not a consistent of V, then the statement there exists U such that U is an instance of legal action, Z is the plaintiff in U, and Y is the defendant in U has the modal force of possibility |
| (=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2)))) |
Mid-level-ontology.kif 15691-15697 | If X the attribute marriage contract, then there exist Y, Z such that X is a party to agreement of Y, X is a party to agreement of Z, and Y is the spouse of Z |
| (=> (property ?C PurchaseContract) (exists (?S ?SELLER ?BUYER) (and (instance ?S Selling) (agent ?S ?SELLER) (destination ?S ?BUYER) (realization ?S ?C) (partyToAgreement ?C ?SELLER) (partyToAgreement ?C ?BUYER)))) |
Mid-level-ontology.kif 15704-15713 | If X the attribute purchase contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of selling (3) Z is an agent of Y (4) Y ends up at W (5) Y expresses the content of X (6) Z is a party to agreement of X (7) W is a party to agreement of X |
| (=> (property ?C ServiceContract) (exists (?SP ?SERVICE ?CUST) (and (instance ?SP ServiceProcess) (realization ?SP ?C) (serviceProvider ?SP ?SERVICE) (serviceRecipient ?SP ?CUST) (partyToAgreement ?C ?SERVICE) (partyToAgreement ?C ?CUST)))) |
Mid-level-ontology.kif 15719-15728 | If X the attribute service contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of service (3) Y expresses the content of X (4) Z provides a service during Y (5) W receives a service during Y (6) Z is a party to agreement of X (7) W is a party to agreement of X |
| (=> (property ?T Treaty) (exists (?N1 ?N2) (and (partyToAgreement ?T ?N1) (partyToAgreement ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2))))) |
Mid-level-ontology.kif 15741-15750 | If X the attribute treaty, then All of the following hold: (1) there exist Y (2) Z such that Y is a party to agreement of X (3) Z is a party to agreement of X (4) Y is an instance of nation (5) Z is an instance of nation (6) equal Y (7) Z |
| (=> (and (property ?THING ?ATTR) (instance ?ATTR GameAttribute)) (exists (?GAME) (and (instance ?GAME Game) (or (agent ?GAME ?THING) (patient ?GAME ?THING) (subProcess ?THING ?GAME))))) |
Mid-level-ontology.kif 21465-21475 | If X the attribute Y and Y is an instance of game attribute, then there exists Z such that Z is an instance of game and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z |
| (=> (and (property ?THING ?ATTR) (instance ?ATTR SportsAttribute)) (exists (?SPORT) (and (instance ?SPORT Game) (or (agent ?SPORT ?THING) (patient ?SPORT ?THING) (subProcess ?THING ?SPORT))))) |
Mid-level-ontology.kif 21481-21491 | If X the attribute Y and Y is an instance of sports attribute, then there exists Z such that Z is an instance of game and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z |
| (=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 21597-21599 | If X the attribute chemical equilibrium, then X is an instance of chemical process |
| (=> (property ?PROCESS ChemicalEquilibrium) (exists (?RATIO ?TIME ?RESOURCE ?RESULT) (=> (and (holdsDuring ?TIME (resource ?PROCESS ?RESOURCE)) (holdsDuring ?TIME (result ?PROCESS ?RESULT))) (equal ?RATIO (DivisionFn ?RESOURCE ?RESULT))))) |
Mid-level-ontology.kif 21601-21608 | If X the attribute chemical equilibrium, then there exist Y, Z,, , W, V such that W is a resource for X holds during Z, V is a result of X holds during Zequal Y, W, and V |
| (=> (and (instance ?O OccupationalRole) (property ?X ?O)) (instance ?X CognitiveAgent)) |
Mid-level-ontology.kif 24626-24630 | If X is an instance of occupational role and Y the attribute X, then Y is an instance of cognitive agent |
| (=> (and (property ?X Booting) (instance ?X Computer)) (exists (?CD ?OS ?DT) (and (instance ?CD DigitalData) (instance ?OS OperatingSystem) (instance ?DT DataTransfer) (during (WhenFn ?DT) (WhenFn ?X)) (destination ?DT ?X) (part ?CD ?OS) (objectTransferred ?DT ?CD)))) |
ComputingBrands.kif 3124-3136 | If X the attribute booting up and X is an instance of computer, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of digital data (3) Z is an instance of operating system (4) W is an instance of data transfer (5) the time of existence of W takes place during the time of existence of X (6) W ends up at X (7) Y is a part of Z (8) the object transferred in W is Y |
| (=> (property ?Commitment LoanCommitment) (exists (?Loan ?Lender ?Borrower) (and (instance ?Loan Loan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (partyToAgreement ?Commitment ?Lender) (partyToAgreement ?Commitment ?Borrower)))) |
FinancialOntology.kif 1489-1497 | If X the attribute loan commitment, then there exist Y, Z, W such that Y is an instance of loan, Z lends Y, Y is the borrower of W, Z is a party to agreement of X, and W is a party to agreement of X |
| (=> (property ?Option Option) (exists (?Type ?Date ?Stock ?Price) (and (or (equal ?Type CallOption) (equal ?Type PutOption)) (property ?Option ?Type) (agreementExpirationDate ?Option ?Date) (strikePrice ?Option ?Price) (underlier ?Option ?Stock) (measure ?Stock (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2557-2568 | If X the attribute option, then there exist Y, Z,, , W and V such that equal Y and call option or equal Y and put option and X the attribute Y and X has expiration Z and V is a strike price of X and W is an underlier of X and the measure of W is 100 share unit(s) |
| (=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9)))) |
FinancialOntology.kif 2575-2581 | If X the attribute conventional option, then there exist Y and Z such that Z is an agreement period of X and duration of Z is Y month duration(s) and Y is less than 9 |
| (=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39)))) |
FinancialOntology.kif 2591-2597 | If X the attribute conventional option, then there exist Y and Z such that Z is an agreement period of X and duration of Z is Y month duration(s) and Y is less than 39 |
| (=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsRight (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent)) |
FinancialOntology.kif 2640-2656 | If All of the following hold: (1) X the attribute option (2) Y holds X (3) Z is a strike price of X (4) X has expiration W (5) V is an underlier of X (6) V is price Z for U (7) U is an instance of timeframe (8) the end of U happens before the beginning of W, then Y has the right to perform the class described by T |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (equal ?THING1 ?THING2) (forall (?ATTR) (<=> (property ?THING1 ?ATTR) (property ?THING2 ?ATTR)))) |
Merge.kif 254-259 | If equal X and Y, then For all Attribute Z: X the attribute Z if and only if Y the attribute Z |
| (=> (equal ?ATTR1 ?ATTR2) (forall (?THING) (<=> (property ?THING ?ATTR1) (property ?THING ?ATTR2)))) |
Merge.kif 261-266 | If equal X and Y, then For all Entity Z: Z the attribute X if and only if Z the attribute Y |
| (=> (and (contraryAttribute @ROW) (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?NUMBER1)) (equal ?ATTR2 (ListOrderFn (ListFn @ROW) ?NUMBER2)) (not (equal ?NUMBER1 ?NUMBER2)) (property ?OBJ ?ATTR1)) (not (property ?OBJ ?ATTR2))) |
Merge.kif 469-477 | If @ROW is the opposite of, equal Y and Z element of (@ROW), equal W and V element of (@ROW), equal U and T, and S the attribute Y, then S does not have the attribute W |
| (=> (subAttribute ?ATTR1 ?ATTR2) (forall (?OBJ) (=> (property ?OBJ ?ATTR1) (property ?OBJ ?ATTR2)))) |
Merge.kif 682-687 | If X is a subattribute of Y, then For all Entity Z: if Z the attribute X, then Z the attribute Y |
| (=> (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (patient ?JUDGE ?OBJ)) (exists (?ATR) (and (instance ?ATR SubjectiveAssessmentAttribute) (holdsDuring (ImmediateFutureFn ?JUDGE) (believes ?AGENT (property ?OBJ ?ATR)))))) |
Merge.kif 17529-17540 | If X is an instance of judging, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of subjective assessment attribute and Y believes Z the attribute W holds during immediately after X |
| (=> (insured ?PROP ?ORG) (property ?PROP Contract)) |
Mid-level-ontology.kif 8321-8323 | If X is an insured of Y, then Y the attribute contract |
| (=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement))) |
Mid-level-ontology.kif 15538-15543 | If X is an agreement period of Y and Z is an agreement effective date of Y, then Y the attribute active agreement holds during a time that starts at Z and lasts for X |
| (=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 15577-15580 | If X has expiration Y, then X does not have the attribute active agreement holds during after Y |
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 15645-15649 | If X the attribute promise, then X the attribute contract or X the attribute naked promise |
| (=> (contractor ?BUILDING ?CONTRACTOR) (exists (?CONTRACT ?AGENT) (and (property ?CONTRACT Contract) (partyToAgreement ?AGENT ?CONTRACT) (partyToAgreement ?CONTRACTOR ?CONTRACT) (confersObligation ?AGENT ?CONTRACTOR (exists (?CONSTRUCT ?BUILDING2) (and (instance ?CONSTRUCT Constructing) (agent ?CONSTRUCT ?CONTRACTOR) (result ?CONSTRUCT ?BUILDING2) (instance ?BUILDING2 StationaryArtifact))))))) |
Mid-level-ontology.kif 23131-23144 | If X has a contract to build Y, then All of the following hold: (1) there exist Z (2) W such that Z the attribute contract (3) Z is a party to agreement of W (4) Z is a party to agreement of X (5) X obligates there exist V (6) U such that V is an instance of constructing (7) X is an agent of V (8) U is a result of V (9) U is an instance of stationary artifact to perform task of the type W |
| (=> (instance ?A Aqiqah) (exists (?AGENT) (and (agent ?A ?AGENT) (property ?A Muslim)))) |
ArabicCulture.kif 326-331 | If X is an instance of aqiqah, then there exists Y such that Y is an agent of X and X the attribute muslim |
| (=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 65-69 | If X is an instance of financial account, then X the attribute financial contract and X the attribute service contract |
| (=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1178-1187 | If X is an instance of liability account, Y holds account X, and X is held by Z, then there exists W such that W the attribute liability, Y is a party to agreement of W, and Z is a party to agreement of W |
| (=> (property ?Option Option) (exists (?Type ?Date ?Stock ?Price) (and (or (equal ?Type CallOption) (equal ?Type PutOption)) (property ?Option ?Type) (agreementExpirationDate ?Option ?Date) (strikePrice ?Option ?Price) (underlier ?Option ?Stock) (measure ?Stock (MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2557-2568 | If X the attribute option, then there exist Y, Z,, , W and V such that equal Y and call option or equal Y and put option and X the attribute Y and X has expiration Z and V is a strike price of X and W is an underlier of X and the measure of W is 100 share unit(s) |
| (=> (optionHolder ?OPTION ?AGENT) (property ?OPTION Option)) |
FinancialOntology.kif 2608-2610 | If X holds Y, then Y the attribute option |
| (=> (optionSeller ?OPTION ?AGENT) (property ?OPTION Option)) |
FinancialOntology.kif 2621-2623 | If X sells Y, then Y the attribute option |
| (=> (and (property ?Option StockOption) (underlier ?Option ?Stock)) (property ?Stock CommonStock)) |
FinancialOntology.kif 2729-2733 | If X the attribute stock option and Y is an underlier of X, then Y the attribute common stock |
| (=> (premium ?OPTION ?AMT) (property ?OPTION Option)) |
FinancialOntology.kif 2742-2744 | If X is a premium of Y, then Y the attribute option |
| (=> (underlier ?OPTION ?FI) (property ?OPTION Option)) |
FinancialOntology.kif 2762-2764 | If X is an underlier of Y, then Y the attribute option |
| (<=> (employs ?Org ?Agent) (exists (?Employment) (and (property ?Employment Employment) (partyToAgreement ?Employment ?Org) (partyToAgreement ?Employment ?Agent)))) |
FinancialOntology.kif 3277-3283 | X employs Y if, only if there exists Z such that Z the attribute employment, X is a party to agreement of Z, and Y is a party to agreement of Z |
| (=> (instance ?DOC ContractDocument) (exists (?PROP) (and (containsInformation ?DOC ?PROP) (property ?PROP Contract)))) |
Media.kif 979-984 | If X is an instance of contract document, then there exists Y such that X contains information Y and Y the attribute contract |
| (=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law)) |
Media.kif 995-1000 | If X is an instance of contract document, X contains information Y, and Y the attribute contract, then Y the attribute law |
| (<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable)) |
QoSontology.kif 1093-1096 | There exists X such that Y is a program running of X if and only if Y the attribute executable |
| (=> (instance ?Attribute ComputerPathAttribute) (exists (?Path) (and (instance ?Path ComputerPath) (property ?Path ?Attribute)))) |
QoSontology.kif 1201-1206 | If X is an instance of computer path attribute, then there exists Y such that Y is an instance of computer path and Y the attribute X |
| (=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream))) |
QoSontology.kif 1235-1239 | If X is an instance of computer path and X the attribute dynamic data stream, then X does not have the attribute stochastic data stream |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners