|
| (=> (and (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE) (instance ?X ?CBP-TYPE)) (abbreviation ?STRING ?X)) |
Media.kif 3147-3151 | |
| (=> (and (accountAtSite ?ACCOUNT ?SITE) (hasAccount ?USER ?ACCOUNT)) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 881-885 | |
| (=> (and (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (customer ?Agent ?Bank)) |
FinancialOntology.kif 3621-3625 | |
| (=> (and (acronym ?STRING ?THING) (inString ?CHAR ?STRING)) (instance ?CHAR AlphabeticCharacter)) |
Mid-level-ontology.kif 27284-27288 | |
| (=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 20787-20794 | |
| (=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18864-18870 | |
| (=> (and (agent ?Purchase ?Buyer) (origin ?Purchase ?Seller) (patient ?Purchase ?Object) (monetaryValue ?Object ?Money)) (exists (?Payment) (and (subProcess ?Payment ?Purchase) (instance ?Payment Payment) (transactionAmount ?Payment ?Money) (origin ?Payment ?Buyer) (destination ?Payment ?Seller)))) |
FinancialOntology.kif 487-499 | |
| (=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely)) |
Mid-level-ontology.kif 14106-14116 | |
| (=> (and (agreementEffectiveDate ?AGR ?DATE) (confersObligation ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsObligation ?FORMULA ?AGENT))) |
Government.kif 678-683 | |
| (=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT))) |
Government.kif 685-690 | |
| (=> (and (agreementEffectiveDate ?Account ?Date) (currentAccountBalance ?Account ?Date ?Balance)) (originalBalance ?Account ?Balance)) |
FinancialOntology.kif 722-726 | |
| (=> (and (agreementEffectiveDuring ?AGR ?DATE) (instance ?TIME ?DATE) (instance ?FORMULA Formula) (containsInformation ?FORMULA ?AGR)) (holdsDuring ?TIME ?FORMULA)) |
Government.kif 730-736 | |
| (=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement))) |
Mid-level-ontology.kif 14043-14048 | |
| (=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 316-322 | |
| (=> (and (allergic ?H ?S) (instance ?SUB ?S) (holdsDuring ?T (meetsSpatially ?SUB ?H))) (modalAttribute (exists (?AR) (and (instance ?AR AllergicReaction) (experiencer ?AR ?H) (overlapsTemporally ?T (WhenFn ?AR)) (before (BeginFn ?T) (BeginFn (WhenFn ?AR))))) Likely)) |
Mid-level-ontology.kif 6225-6238 | |
| (=> (and (amount ?S ?CO (MeasureFn ?N ?U)) (instance ?SI ?S) (measure ?SI (MeasureFn ?N2 ?U)) (part ?SI ?CO)) (exists (?L) (and (inList (MeasureFn ?N2 ?U) ?L) (equal ?L (AmountsFn ?S ?CO ?U)) (equal ?N (ListSumFn ?L))))) |
Merge.kif 7597-7612 | |
| (=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent)) |
FinancialOntology.kif 655-667 | |
| (=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?E ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Flexion instrument ?BC)) |
Mid-level-ontology.kif 10712-10723 | |
| (=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Animal)) (capability Extension instrument ?BC)) |
Mid-level-ontology.kif 10699-10710 | |
| (=> (and (applicableRelation ?O ?R) (instance ?O ?OC) (domain ?R 1 ?DC)) (or (equal ?OC ?DC) (subclass ?OC ?DC))) |
Mid-level-ontology.kif 31419-31426 | |
| (=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2.0) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM UnitOfLength) (instance ?VM UnitOfVolume)) (equal ?V1 ?V2)) |
Mid-level-ontology.kif 17975-17986 | |
| (=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?TOTAL AreaMeasure) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (arableLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT))) |
Geography.kif 2080-2090 | |
| (=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?ARABLE) (and (instance ?ARABLE ArableLand) (geographicSubregion ?ARABLE ?REGION) (measure ?ARABLE (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2092-2106 | |
| (=> (and (attribute (GovernmentFn ?AREA) ?TYPE) (instance ?TYPE FormOfGovernment)) (governmentType ?AREA ?TYPE)) |
Government.kif 148-152 | |
| (=> (and (attribute ?A ?ATTR) (instance ?ATTR AlbumAttribute)) (instance ?A Album)) |
Music.kif 478-482 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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