(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO Neighborhood))     (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24676-24681	PostalPlace は Neighborhood に located して %n PostalPlace は PostalPlace の instance では %n Neighborhood は Neighborhood の instance では %n postNeighborhood PostalPlace and Neighborhood
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO StateOrProvince))     (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24747-24752	PostalPlace は 州 に located して %n PostalPlace は PostalPlace の instance では %n 州 は 州 の instance では %n postDistrict PostalPlace and 州
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (or             (instance ?GEO Nation)             (instance ?GEO DependencyOrSpecialSovereigntyArea)))     (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24713-24720	PostalPlace は 地政学的地域 に located して %n PostalPlace は PostalPlace の instance では %n 地政学的地域 は 国民 の instance では %n 地政学的地域 は DependencyOrSpecialSovereigntyArea の instance では %n postCountry PostalPlace and 地政学的地域
(<=>     (exists (?Period)         (and             (instance ?Loan Loan)             (agreementPeriod ?Loan ?Period)             (interestEarned ?Loan ?Amount ?Period)))     (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3920-3926	時間間隔 Loan は Loan の instance では %n agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔 loanInterest Loan and Interest
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option CallOption)             (underlier ?Option ?Stock)             (price ?Stock                 (MeasureFn ?StockPrice ?U) ?Time)             (instance ?U UnitOfCurrency)             (strikePrice ?Option                 (MeasureFn ?StrikePrice ?U))             (lessThan ?StockPrice ?StrikePrice)))     (outOfTheMoney ?Option ?Time))	FinancialOntology.kif 3051-3062	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では %n outOfTheMoney Agreement and AutonomousAgent
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option CallOption)             (underlier ?Option ?Stock)             (price ?Stock                 (MeasureFn ?StockPrice ?U) ?Time)             (instance ?U UnitOfCurrency)             (strikePrice ?Option                 (MeasureFn ?StrikePrice ?U))             (lessThan ?StrikePrice ?StockPrice)))     (inTheMoney ?Option ?Time))	FinancialOntology.kif 3002-3013	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は CallOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では %n inTheMoney Agreement and AutonomousAgent
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option Option)             (underlier ?Option ?Stock)             (price ?Stock ?StockPrice ?Time)             (strikePrice ?Option ?StrikePrice)             (equal ?StockPrice ?StrikePrice)))     (atTheMoney ?Option ?Time))	FinancialOntology.kif 3034-3042	FinancialInstrument FinancialInstrumentPrice and 通貨測定 Agreement は Option の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and 通貨測定 FinancialInstrumentPrice は 通貨測定 と equal では %n atTheMoney Agreement and AutonomousAgent
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option PutOption)             (underlier ?Option ?Stock)             (price ?Stock                 (MeasureFn ?StockPrice ?U) ?Time)             (instance ?U UnitOfCurrency)             (strikePrice ?Option                 (MeasureFn ?StrikePrice ?U))             (lessThan ?StockPrice ?StrikePrice)))     (inTheMoney ?Option ?Time))	FinancialOntology.kif 3015-3026	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) FinancialInstrumentPrice は 実数 より less では %n inTheMoney Agreement and AutonomousAgent
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option PutOption)             (underlier ?Option ?Stock)             (price ?Stock                 (MeasureFn ?StockPrice ?U) ?Time)             (instance ?U UnitOfCurrency)             (strikePrice ?Option                 (MeasureFn ?StrikePrice ?U))             (lessThan ?StrikePrice ?StockPrice)))     (outOfTheMoney ?Option ?Time))	FinancialOntology.kif 3064-3075	FinancialInstrument FinancialInstrumentPrice and 実数 Agreement は PutOption の instance では %n underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice の 測定単位(s) and AutonomousAgent 測定単位 は UnitOfCurrency の instance では %n strikePrice Agreement and 実数 の 測定単位(s) 実数 は FinancialInstrumentPrice より less では %n outOfTheMoney Agreement and AutonomousAgent
(<=>     (holdsDuring ?T         (and             (instance ?PERSON Human)             (forall (?ORG)                 (not                     (employs ?ORG ?PERSON)))))     (holdsDuring ?T         (attribute ?PERSON Unemployed)))	Merge.kif 17254-17262	エンティティー は 人［人間］ の instance では %n エンティティー エンティティー は エンティティー を employ ない は 時間位置 の during holds %n{ない} Unemployed は エンティティー の attribute では %n は 時間位置 の during holds %n{ない}
(<=>     (instance ?B Bull)     (and         (instance ?B Cattle)         (attribute ?B Female)))	Mid-level-ontology.kif 20200-20204	オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Female は オブジェクト の attribute では %n
(<=>     (instance ?B Bull)     (and         (instance ?B Cattle)         (attribute ?B Male)))	Mid-level-ontology.kif 20218-20222	オブジェクト は Bull の instance では %n オブジェクト は Cattle の instance では %n Male は オブジェクト の attribute では %n
(<=>     (instance ?BONE Bone)     (exists (?SKELETON)         (and             (or                 (instance ?SKELETON Skeleton)                 (instance ?SKELETON Exoskeleton))             (part ?BONE ?SKELETON))))	Mid-level-ontology.kif 11682-11689	オブジェクト は 骨 の instance では %n オブジェクト オブジェクト は Skeleton の instance では %n オブジェクト は Exoskeleton の instance では %n オブジェクト は オブジェクト の part では %n
(<=>     (instance ?C Calf)     (and         (instance ?C Cattle)         (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 20209-20213	オブジェクト は Calf の instance では %n オブジェクト は Cattle の instance では %n NonFullyFormed は オブジェクト の attribute では %n
(<=>     (instance ?C City)     (instance         (GovernmentFn ?C) CityGovernment))	Mid-level-ontology.kif 8333-8335	地政学的地域 は 都市 の instance では %n 地政学的地域 の government は CityGovernment の instance では %n
(<=>     (instance ?CONTINENT Continent)     (or         (equal Africa ?CONTINENT)         (equal NorthAmerica ?CONTINENT)         (equal SouthAmerica ?CONTINENT)         (equal Antarctica ?CONTINENT)         (equal Europe ?CONTINENT)         (equal Asia ?CONTINENT)         (equal Oceania ?CONTINENT)))	Geography.kif 3504-3513	エンティティー は 大陸 の instance では %n Africa は エンティティー と equal では %n NorthAmerica は エンティティー と equal では %n SouthAmerica は エンティティー と equal では %n Antarctica は エンティティー と equal では %n Europe は エンティティー と equal では %n Asia は エンティティー と equal では %n Oceania は エンティティー と equal では %n
(<=>     (instance ?CS ConjugatedSubstance)     (exists (?C1 ?C2 ?P)         (and             (instance ?C1 CompoundSubstance)             (instance ?C2 CompoundSubstance)             (not                 (equal ?C1 ?C2))             (instance ?P ChemicalSynthesis)             (resource ?P ?C1)             (resource ?P ?C2)             (result ?P ?CS))))	Mid-level-ontology.kif 6478-6488	エンティティー は ConjugatedSubstance の instance では %n オブジェクト オブジェクト and 工程 オブジェクト は 合成物質 の instance では %n オブジェクト は 合成物質 の instance では %n オブジェクト は オブジェクト と equal では 工程 は 化学合成 の instance では %n オブジェクト は 工程 の resource では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n
(<=>     (instance ?Collateral Collateral)     (exists (?Loan)         (and             (instance ?Loan SecuredLoan)             (securedBy ?Loan ?Collateral))))	FinancialOntology.kif 1321-1326	Collateral は Collateral の instance では %n FinancialAccount FinancialAccount は SecuredLoan の instance では %n securedBy FinancialAccount and Collateral
(<=>     (instance ?DISTRICT CityDistrict)     (exists (?CITY)         (and             (instance ?CITY City)             (geopoliticalSubdivision ?DISTRICT ?CITY))))	Mid-level-ontology.kif 8080-8085	地政学的地域 は CityDistrict の instance では %n 地政学的地域 地政学的地域 は 都市 の instance では %n 地政学的地域 は 地政学的地域 の geopolitical 部分では %n
(<=>     (instance ?DV DamagedVehicle)     (and         (instance ?DV Vehicle)         (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 30094-30098	オブジェクト は DamagedVehicle の instance では %n オブジェクト は Vehicle の instance では %n DeviceDamaged は オブジェクト の attribute では %n
(<=>     (instance ?H Hen)     (and         (instance ?H Chicken)         (attribute ?H Female)))	Mid-level-ontology.kif 20232-20236	オブジェクト は Hen の instance では %n オブジェクト は Chicken の instance では %n Female は オブジェクト の attribute では %n
(<=>     (instance ?HEMISPHERE Hemisphere)     (or         (equal ?HEMISPHERE NorthernHemisphere)         (equal ?HEMISPHERE SouthernHemisphere)         (equal ?HEMISPHERE EasternHemisphere)         (equal ?HEMISPHERE WesternHemisphere)))	Geography.kif 3488-3494	エンティティー は Hemisphere の instance では %n エンティティー は NorthernHemisphere と equal では %n エンティティー は SouthernHemisphere と equal では %n エンティティー は EasternHemisphere と equal では %n エンティティー は WesternHemisphere と equal では %n
(<=>     (instance ?Hardware ComputerHardware)     (exists (?Computer)         (and             (instance ?Computer Computer)             (component ?Hardware ?Computer))))	QoSontology.kif 63-68	微粒子オブジェクト は ComputerHardware の instance では %n 微粒子オブジェクト 微粒子オブジェクト は Computer の instance では %n 微粒子オブジェクト は 微粒子オブジェクト の component では %n
(<=>     (instance ?ICE Ice)     (and         (instance ?ICE Water)         (attribute ?ICE Solid)))	Mid-level-ontology.kif 8979-8983	オブジェクト は Ice の instance では %n オブジェクト は 水 の instance では %n Solid は オブジェクト の attribute では %n
(<=>     (instance ?Index InflationIndex)     (exists (?Inflation)         (and             (instance ?Inflation Inflation)             (benchmark ?Inflation ?Index))))	FinancialOntology.kif 1668-1673	PerformanceMeasure は InflationIndex の instance では %n 抽象的な 抽象的な は Inflation の instance では %n benchmark 抽象的な and PerformanceMeasure
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