(=>
(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 468-476 |
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 7768-7773 |
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 17327-17333 |
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 17741-17751 |
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 224-229 |
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 15714-15716 |
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 15718-15722 |
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 15724-15728 |
If X the attribute promise, then X the attribute contract or X the attribute naked promise |
(=>
(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 21399-21409 |
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 21415-21425 |
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 21531-21533 |
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 21535-21542 |
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 24526-24530 |
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 |
(=>
(and
(instance ?Exercise ExerciseAnOption)
(patient ?Exercise ?Option)
(property ?Option CallOption)
(time ?Exercise ?Time)
(underlier ?Option ?Stocks))
(exists (?Buy)
(and
(instance ?Buy Buying)
(patient ?Buy ?Stocks)
(time ?Buy ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2779-2791 |
If X is an instance of exercise an option, Y is a patient of X, Y the attribute call option, X exists during Z, and W is an underlier of Y, then there exists V such that V is an instance of buying and W is a patient of V and V exists during Z and the measure of W is 100 share unit(s) |
(=>
(and
(instance ?Exercise ExerciseAnOption)
(patient ?Exercise ?Option)
(property ?Option PutOption)
(time ?Exercise ?Time)
(underlier ?Option ?Stocks))
(exists (?Sell)
(and
(instance ?Sell Selling)
(patient ?Sell ?Stocks)
(time ?Sell ?Time)
(measure ?Stocks
(MeasureFn 100 ShareUnit))))) |
FinancialOntology.kif 2793-2805 |
If X is an instance of exercise an option, Y is a patient of X, Y the attribute put option, X exists during Z, and W is an underlier of Y, then there exists V such that V is an instance of selling and W is a patient of V and V exists during Z and the measure of W is 100 share unit(s) |
(=>
(and
(property ?Option EuropeanStyleOption)
(agreementExpirationDate ?Option ?Date))
(exists (?Period ?Time ?Exercise)
(and
(instance ?Period TimeInterval)
(equal
(EndFn ?Period) ?Date)
(=>
(and
(instance ?Exercise ExerciseAnOption)
(equal
(WhenFn ?Exercise) ?Time))
(temporalPart ?Time ?Period))))) |
FinancialOntology.kif 2829-2841 |
If X the attribute european style option and X has expiration Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of timeframe (3) equal the end of Z (4) Y (5) V is an instance of exercise an option (6) equal the time of existence of V (7) WW is a part of Z |
(=>
(and
(instance ?Y SulphurDioxide)
(holdsDuring ?T
(property ?Y StandardAmbientTemperaturePressure)))
(holdsDuring ?T
(attribute ?Y Gas))) |
Geography.kif 8844-8850 |
If X is an instance of sulphur dioxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y |
(=>
(and
(instance ?Y NitricOxide)
(holdsDuring ?T
(property ?Y StandardAmbientTemperaturePressure)))
(holdsDuring ?T
(attribute ?Y Gas))) |
Geography.kif 8877-8883 |
If X is an instance of nitric oxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y |
(=>
(and
(instance ?Y NitrogenDioxide)
(holdsDuring ?T
(property ?Y StandardAmbientTemperaturePressure)))
(holdsDuring ?T
(attribute ?Y Gas))) |
Geography.kif 8901-8907 |
If X is an instance of nitrogen dioxide and X the attribute standard ambient temperature and pressure holds during Y, then gas is an attribute of X holds during Y |
(=>
(and
(instance ?DOC ContractDocument)
(containsInformation ?DOC ?PROP)
(property ?PROP Contract))
(property ?PROP Law)) |
Media.kif 975-980 |
If X is an instance of contract document, X contains information Y, and Y the attribute contract, then Y the attribute law |
(=>
(property ?A CompilationAlbum)
(exists (?A1 ?A2)
(and
(albumArtist ?A ?A1)
(albumArtist ?A ?A2)
(not
(equal ?A1 ?A2))))) |
Music.kif 492-499 |
If X the attribute compilation album, then there exist Y, Z such that Y is a performer on X, Z is a performer on X, equal Y, and Z |
(=>
(and
(instance ?Path ComputerPath)
(property ?Path DynamicDataStream))
(not
(property ?Path StochasticDataStream))) |
QoSontology.kif 1227-1231 |
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 |
(=>
(and
(instance ?Path ComputerPath)
(property ?Path DynamicDataStream))
(not
(property ?Path DeterministicDataStream))) |
QoSontology.kif 1233-1237 |
If X is an instance of computer path and X the attribute dynamic data stream, then X does not have the attribute deterministic data stream |
(=>
(and
(instance ?Path ComputerPath)
(property ?Path ContinuousPath))
(not
(property ?Path TransientPath))) |
QoSontology.kif 1255-1259 |
If X is an instance of computer path and X the attribute continuous path, then X does not have the attribute transient path |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
