Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - documentation

appearance as argument number 1

s__documentation(s__documentation__m,s__ChineseLanguage,'在话语领域和自然语言的字符串,以某种 HumanLanguage 来陈述的物件之间一种关系。 documentation 领域不是常量 (名字),而是物体的本身。 也就是说在相关文档提到该物体时,是不会引用名字的。')

Merge.kif 416-418
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 411-415

Merge.kif 408-408 The number 1 argument of documentation is an instance of entity

Merge.kif 409-409 The number 2 argument of documentation is an instance of human language

Merge.kif 410-410 The number 3 argument of documentation is an instance of symbolic string


Merge.kif 407-407 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 75-75
s__format(s__FrenchLanguage,s__documentation__m,'%n %2')

french_format.kif 71-71

relations-it.txt 81-81
s__format(s__PortugueseLanguage,s__documentation__m,'%n %2')

portuguese_format.kif 23-23
s__format(s__ar__m,s__documentation__m,'%n %2')

arabic_format.kif 21-21

relations-de.txt 110-110

relations-hindi.txt 121-121

relations-cb.txt 115-115

chinese_format.kif 98-98 "文档" is the printable form of documentation in ChineseLanguage

domainEnglishFormat.kif 3764-3764 "documentation" is the printable form of documentation in english language

arabic_format.kif 471-471 "«تَفْسير»" is the printable form of documentation in ar

relations-tg.txt 178-178 "kasulutan" is the printable form of documentation in tg

appearance as argument number 0

s__documentation(s__AAA_Rating,s__EnglishLanguage,'The highest rating given by bond rating agencies')

FinancialOntology.kif 2444-2444
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 1171-1174
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 1649-1657
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 3430-3431
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 4615-4617
s__documentation(s__ACPowerSource,s__EnglishLanguage,'ACPowerSource refers to an alternating current PowerSource')

Mid-level-ontology.kif 23970-23971
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 1124-1133
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 1205-1230
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 1138-1150
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 1890-1895
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 1178-1184
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 23055-23056
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 3086-3088
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 2820-2822
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 1575-1584
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')

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 3473-3474
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 3475-3479
s__documentation(s__ATMSlot,s__EnglishLanguage,'A narrow opening in an ATM machine where cards are inserted.')

FinancialOntology.kif 3552-3552
s__documentation(s__ATVTire,s__EnglishLanguage,'A Tire designed to fit the WheelRim on an AllTerrainVehicle.')

Cars.kif 4828-4829
s__documentation(s__AalandIslands,s__EnglishLanguage,'The AalandIslands form a partly autonomous Archipelago in the BalticSea that is administratively part of Finland, but is populated mostly by ethnic Swedes.')

Media.kif 2534-2537
s__documentation(s__AariyaLanguage,s__EnglishLanguage,'The AariyaLanguage is a language of unknown classification from India. SIL code: AAR. ISO 639-2: mis. Population: No estimate available. Region: Madhya Pradesh.(extract from')

Languages.kif 3772-3774
s__documentation(s__Abayah,s__EnglishLanguage,'A traditional long black overgarment worn by conservative Arab woman that cover the body from the shoulders down to the feet.')

ArabicCulture.kif 508-510

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners