| appearance as argument number 1 |
|
| s__documentation(s__documentation__m,s__ChineseLanguage,'"在话语领域和自然语言的字符串，以某种 HumanLanguage 来陈述的物件之间一种关系。 documentation 领域不是常量 (名字)，而是物体的本身。 也就是说在相关文档提到该物体时，是不会引用名字的。"')
|
chinese_format.kif 1496-1498 | |
| s__documentation(s__documentation__m,s__EnglishLanguage,'"A relation between objects in the domain of discourse and strings of natural language text stated in a particular HumanLanguage. The domain of documentation is not constants (names), but the objects themselves. This means that one does not quote the names when associating them with their documentation."')
|
Merge.kif 372-376 | |
| s__domain(s__documentation__m,n__1,s__Entity)
|
Merge.kif 368-368 | The number 1 argument of documentation is an instance of entity |
| s__domain(s__documentation__m,n__2,s__HumanLanguage)
|
Merge.kif 369-369 | The number 2 argument of documentation is an instance of human language |
| s__domain(s__documentation__m,n__3,s__SymbolicString)
|
Merge.kif 370-370 | The number 3 argument of documentation is an instance of symbolic string |
| s__instance(s__documentation__m,s__TernaryPredicate) s__instance(s__TernaryPredicate,s__Class)
|
Merge.kif 367-367 | documentation is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__documentation__m,'"%n 是 %3"')
|
chinese_format.kif 97-97 | |
| s__format(s__EnglishLanguage,s__documentation__m,'"%n %3"')
|
english_format.kif 97-97 | |
| s__termFormat(s__ChineseLanguage,s__documentation__m,'"文件"')
|
domainEnglishFormat.kif 20049-20049 | |
| s__termFormat(s__ChineseLanguage,s__documentation__m,'"文档"')
|
chinese_format.kif 98-98 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__documentation__m,'"文件"')
|
domainEnglishFormat.kif 20048-20048 | |
| s__termFormat(s__EnglishLanguage,s__documentation__m,'"documentation"')
|
domainEnglishFormat.kif 20047-20047 |
| appearance as argument number 0 |
|
|
| s__documentation(s__AAA_Rating,s__EnglishLanguage,'"The highest rating given by bond rating agencies"')
|
FinancialOntology.kif 2483-2483 | |
| s__documentation(s__AAM,s__EnglishLanguage,'"An air-to-air missile (AAM) is a guided missile fired from an aircraft for the purpose of destroying another aircraft. It is typically powered by one or more rocket motors, usually solid fuelled but sometimes liquid fuelled. (from Wikipedia)"')
|
MilitaryDevices.kif 1172-1175 | |
| s__documentation(s__AAV,s__EnglishLanguage,'"The Amphibious Assault Vehicle (AAV) (official designation AAV-7A1 (formerly known as LVT-7)) is the current amphibious troop transport of the United States Marine Corps and is also operated by other forces. The AAV-7A1 is a fully tracked amphibious landing vehicle manufactured by FMC Corporation. It is used by USMC Amphibious Assault Battalions to land the surface assault elements of the landing force and their equipment in a single lift from assault shipping during amphibious operations to inland objectives and to conduct mechanized operations and related combat support in subsequent mechanized operations ashore."')
|
MilitaryDevices.kif 1650-1658 | |
| s__documentation(s__ABPFn__m,s__EnglishLanguage,'"Average buying price. Total GMB divided by the total number of items sold (not the transactions) in a given time interval."')
|
UXExperimentalTerms.kif 3432-3433 | |
| s__documentation(s__ABTest,s__EnglishLanguage,'"An ExperimentAttribute signifying the experimenting has at least one experimentalControlProcess and at least one experimentalVariableProcess being tested."')
|
UXExperimentalTerms.kif 4623-4625 | |
| s__documentation(s__ACPowerSource,s__EnglishLanguage,'"ACPowerSource refers to an alternating current PowerSource"')
|
Mid-level-ontology.kif 25391-25392 | |
| s__documentation(s__AGM,s__EnglishLanguage,'"An air-to-surface missile (also, air-to-ground missile, ASM or AGM) is a missile designed to be launched from military aircraft (bombers, attack aircraft, fighter aircraft or other kinds) and strike ground targets on land, at sea, or both. They are similar to guided glide bombs but to be considered a missile, they usually contain some form of propulsion system. The two most common propulsion systems for air-to-surface missiles are rocket motors and jet engines. These also tend to correspond to the range of the missiles - short and long, respectively. Some Soviet air-to-surface missiles are powered by ramjets, giving them both long range and high speed. (from Wikipedia)"')
|
MilitaryDevices.kif 1125-1134 | |
| s__documentation(s__AGM114,s__EnglishLanguage,'"AGM-114 Hellfire (Helicopter launched fire-and-forget) is a U.S. air-to-ground missile system designed to defeat tanks and other individual targets while minimizing the exposure of the launch vehicle to enemy fire. Hellfire uses laser guidance and is designed to accept other guidance packages. It is used on helicopters against heavily armored vehicles at longer standoff distances than any other U.S. Army missiles now in the inventory. The Hellfire II is the optimized version of the laser family of Hellfire missiles. The Longbow Hellfire Modular Missile System is an air-launched, radar aided, inertially guided missile that utilizes millimeter-wave radar technology. Despite the expanded acronym, most versions of the Hellfire missile are not truly fire-and-forget -- all the laser-guided versions require constant illumination or painting of the target from launch to impact. The AGM-114L is a true fire-and-forget weapon: it requires no further guidance after launch and can hit its target without the launcher being in line of sight of the target. The Hellfire (along with the Maverick and the air-launched TOW) was to be replaced by the Joint Common Missile (JCM) around 2011. The JCM was developed with a tri-mode seeker and a multi-purpose warhead that would combine the capabilities of the several Hellfire variants. In the budget for FY2006, the US Department of Defense canceled a number of projects that they felt no longer warranted continuation based on their cost effectiveness, including the JCM. Due to the U.S. militarys continuing need for a proven precision-strike aviation weapon in the interim until a successor to the JCM is fielded, as well as extensive foreign sales, it is likely the Hellfire will be in service for many years. (from Wikipedia)"')
|
MilitaryDevices.kif 1206-1231 | |
| s__documentation(s__AGM65,s__EnglishLanguage,'"The AGM-65 Maverick is an air-to-surface tactical missile (ASM) designed for close air support, prohibition, and forceful prevention. It is effective against a wide range of tactical targets, including armor, air defenses, ships, ground transportation, and fuel storage facilities. The AGM-65F (infrared targeting) used by the US Navy has an infrared guidance system optimized for ship tracking and a larger penetrating warhead than the shaped charge used by the US Marine Corps and the US Air Force (300 pounds (136 kg) vs 125 pounds (57 kg)). The AGM-65 has two types of warheads, one has a contact fuze in the nose, and the other has a heavyweight warhead with a delayed fuze, which penetrates the target with its kinetic energy before firing. The latter is most effective against large, hard targets. The propulsion system for both types is a solid-fuel rocket motor behind the warhead. (from Wikipedia)"')
|
MilitaryDevices.kif 1139-1151 | |
| s__documentation(s__AH1,s__EnglishLanguage,'"The Bell AH-1 Cobra, called the Huey Cobra, Cobra, Sea Cobra, or Snake (depending on the model), is an attack helicopter, designed by Bell Helicopter Textron. It shares a common engine, transmission and rotor system with the UH-1. It is now fully replaced by the AH-64 Apache in US Army service, but upgraded versions continue to fly with US Marine Corps, US Navy and several other users. (from Wikipedia)"')
|
MilitaryDevices.kif 1891-1896 | |
| s__documentation(s__AIM9,s__EnglishLanguage,'"The AIM-9 Sidewinder is a heat-seeking, short-range, air-to-air missile carried by fighter aircraft and recently, certain gunship helicopters. It is named after the Sidewinder snake, which also detects its prey via body heat. The Sidewinder was the first truly effective air-to-air missile, widely imitated and copied. Its latest variants remain in active service with many air forces. (from Wikipedia)"')
|
MilitaryDevices.kif 1179-1185 | |
| s__documentation(s__AMFMAlarmClock,s__EnglishLanguage,'"AMFMAlarmClock is a type of AlarmClock that is also a RadioReceiver, meaning it can get RadioBroadcast from RadioStation"')
|
Mid-level-ontology.kif 24573-24574 | |
| s__documentation(s__AMRadioStation,s__EnglishLanguage,'"An AMRadioStation is an engineeringSubcomponent of an AMRadioSystem."')
|
Communications.kif 295-296 | |
| s__documentation(s__AMRadioSystem,s__EnglishLanguage,'"An AMRadioSystem consists of Radios, AMRadioStations, and other components that work together to make AM radio broadcasting possible in a given area."')
|
Communications.kif 237-239 | |
| s__documentation(s__AOCnumber,s__EnglishLanguage,'"The certification number that signifies an Airline has recieved an Air Operator Certification, allowing the airline to use aircraft for commercial purposes."')
|
Transportation.kif 3177-3179 | |
| s__documentation(s__AONOrder,s__EnglishLanguage,'"All-or-none order (AON) is a type of option order which requires that the order be executed completely or not at all. An AON order may be either a day order or a GTC order."')
|
FinancialOntology.kif 2861-2863 | |
| s__documentation(s__APC,s__EnglishLanguage,'"Armoured personnel carriers (APCs) are armoured fighting vehicles developed to transport infantry on the battlefield. They usually have only a machine gun although variants carry recoilless rifles, anti-tank guided missiles (ATGMs), or mortars. They are not really designed to take part in a direct-fire battle, but to carry the troops to the battlefield safe from shrapnel and ambush. They may have wheels or tracks. Examples include the American M113 (tracked), M2 Bradley, the British FV 432 (tracked), the French VAB (wheeled), the German Boxer MRAV (wheeled) and the Soviet BTR (wheeled). (from Wikipedia)"')
|
MilitaryDevices.kif 1576-1585 | |
| s__documentation(s__APucikwarLanguage,s__EnglishLanguage,'"The APucikwarLanguage is a CentralGreatAndamaneseLanguage of India. SIL code: APQ. ISO 639-2: mis. Population: 36 (1997 CIIL). Region: Andaman Islands, Boratang Island, south coast of Middle Andaman Island, northeast coast of South Andaman Island. Alternate names: PUCIKWAR, PUCHIKWAR. Comments: Bilingualism in Hindi. Language shift to Hindi taking place. CIIL working to revive A-Pucikwar. Other languages in the Central Andamanese group are extinct. Great Andamanese is classified as a Scheduled Tribe in India, and Puchikwar is a subtribe. Dictionary. Grammar. Literacy rate in first language: Below 1%. Nearly extinct.(extract from http:/ / www.ethnologue.com/ )"')
|
Languages.kif 5380-5389 | |
| s__documentation(s__ASPFn__m,s__EnglishLanguage,'"Average Selling Price. Total GMV divided by the total number of items sold (not the transactions) in a given time interval."')
|
UXExperimentalTerms.kif 3475-3476 | |
| s__documentation(s__ATMMachine,s__EnglishLanguage,'"(Automatic Teller Machine) A banking terminal that accepts deposits and dispenses cash. ATMs are activated by inserting a cash or credit card that contains the users account number and PIN on a magnetic stripe. The ATM calls up the banks computers to verify the balance, dispenses the cash and then transmits a completed transaction notice."')
|
FinancialOntology.kif 3545-3549 | |
| s__documentation(s__ATMSlot,s__EnglishLanguage,'"A narrow opening in an ATM machine where cards are inserted."')
|
FinancialOntology.kif 3622-3622 | |
| s__documentation(s__ATVTire,s__EnglishLanguage,'"A Tire designed to fit the WheelRim on an AllTerrainVehicle."')
|
Cars.kif 4819-4820 | |
| s__documentation(s__ATandTCorp,s__ChineseLanguage,'" AT&T公司是美国最大的固网电话服务供应商及第一大的流动电话服务供应商， 此外还提供宽频及收费电视服务。合共1.5亿户提供服务，当中8,510万户为无线用户。西南贝尔公司创办于1983年， 是根据美国政府与美国电话电报公司的反垄断诉讼的判决，而成立的其中一间独立公司。 1995年西南贝尔公司易名为SBC通讯公司， 再于2005年收购了美国电话电报公司并易名为AT&T公司，此外并继承了原由美国电话电报公司所持有的商标及在纽约证券交易所的上市编码T （电话之意）。目前AT&T公司通过购买持有不少因1983年判决而剥离的资产。公司总部位于美国德州的达拉斯市中心。 AT&T公司荣获2008年度的技术与研发艾美奖中的同轴电缆艾美奖（The Emmy Award for Coaxial cable technology）。 2011年3月20日AT&T宣布，已与德国电信达成协议收购其旗下T-Mobile美国分部，后被美国司法部否决。（资料来自维基百科）"')
|
ComputingBrands.kif 2107-2113 | |
| s__documentation(s__ATandTCorp,s__ChineseTraditionalLanguage,'" AT&T公司是美國最大的固網電話服務供應商及第一大的流動電話服務供應商， 此外還提供寬頻及收費電視服務。合共1.5億戶提供服務，當中8,510萬戶為無線用戶。西南貝爾公司創辦於1983年， 是根據美國政府與美國電話電報公司的反壟斷訴訟的判決，而成立的其中一間獨立公司。 1995年西南貝爾公司易名為SBC通訊公司， 再於2005年收購了美國電話電報公司並易名為AT&T公司，此外並繼承了原由美國電話電報公司所持有的商標及在紐約證券交易所的上市編碼T （電話之意）。目前AT&T公司通過購買持有不少因1983年判決而剝離的資產。公司總部位於美國德州的達拉斯市中心。 AT&T公司榮獲2008年度的技術與研發艾美獎中的同軸電纜艾美獎（The Emmy Award for Coaxial cable technology）。 2011年3月20日AT&T宣布，已與德國電信達成協議收購其旗下T-Mobile美國分部，後被美國司法部否決。（資料來自維基百科）"')
|
ComputingBrands.kif 2099-2105 | |
| s__documentation(s__ATandTCorp,s__EnglishLanguage,'" AT&T Inc.（エイ ティ アンド ティ）は、アメリカ 合衆国の情報通信・メディアコングロマリット。米国最大手の電話会社であるAT&T地域電話会社およびAT&T コミュニケーションズとメディア企業のワーナーメディアを傘下に収める持株会社である。子会社を通じて、 固定電話、携帯電話、インターネット接続、データ通信、情報通信システムに係るビジネスソリューションの 提供、IP放送、衛星テレビ、ケーブルテレビ、テレビ番組の製作・配信、映画の製作・配給、出版、デジ タル・ターゲッティッド広告等の事業を行う。本社はテキサス州ダラスにあり、AT&Tとは旧社名The American Telephone & Companyの略。(ウィキペディア参照)"')
|
ComputingBrands.kif 2115-2121 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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