TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2632-2634
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7505-7508
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1347-1349
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7502-7502	Le nombre 1 argument de measure est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7503-7503	Le nombre 2 argument de measure est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7501-7501	measure est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7500-7500	measure est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 607-607
No TPTP formula. May not be expressible in strict first order.	english_format.kif 610-610
No TPTP formula. May not be expressible in strict first order.	french_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 177-177
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2102-2102
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 794-794
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 215-215
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 390-390
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 409-409
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 350-350
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 868-868	absorbedDose est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7517-7517	age est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25663-25663	airTemperature est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7837-7837	barometricPressure est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1386-1386	effectiveRange est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1005-1005	fleetDeadWeightTonnage est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 987-987	fleetGrossRegisteredTonnage est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7530-7530	linearExtent est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13726-13726	loudness est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1660-1660	memorySize est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9863-9863	phMeasure est une sous-relation de measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1524-1524	significantWaveHeight est une sous-relation de measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13604-13610	La mesure de physique est nombre r�el MetricTon(s) la mesure de physique est nombre r�el + 2205.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	La mesure de physique est nombre r�el AngularDegree(s) la mesure de physique est 60.0 + nombre r�el ArcMinute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	La mesure de physique est nombre r�el ArcMinute(s) la mesure de physique est 60.0 + nombre r�el ArcSecond(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13325-13330	La mesure de physique est nombre r�el OunceMass(s) la mesure de physique est nombre r�el + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2548-2551	La mesure de solution est nombre r�el PHValue(s) potentialOfHydrogen solution and nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount substance, objet corpusculaire and nombre r�el UnitOfMass(s) substanceI est une instance de substance la mesure de substanceI est nombre r�el2 UnitOfMass(s) substanceI est une partie de objet corpusculaire liste nombre r�el2 UnitOfMass(s) est un membre de liste liste est AmountsFn substance, objet corpusculaire and UnitOfMass nombre r�el est ListSumFn liste
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17947-17958	approximateDiameter objet en une partie and nombre r�el nombre r�elM(s) sphereRadius objet and nombre r�el + 2.0 nombre r�elM(s) la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet en une partie est nombre r�el unit� de mesure(s) nombre r�elM est une instance de UnitOfLength unit� de mesure est une instance de UnitOfVolume nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) objet est une instance de classe objet est une instance de classe unit� de mesure est une instance de unit� de mesure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	Anemia est un attribut de objet objet est une instance de sang objet est une partie de objet Female est un attribut de objet la mesure de objet est 0.1 Liter(s) objetE est une instance de Hemoglobin objetE est une partie de objet objetE2 est une instance de Hemoglobin objetE est objetE2 objet2 est une partie de objet la mesure de objetE est nombre r�el Gram(s) nombre r�el est moins que 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	Anemia est un attribut de objet objet est une instance de sang objet est une partie de objet Male est un attribut de objet la mesure de objet est 0.1 Liter(s) objetE est une instance de Hemoglobin objetE est une partie de objet objetE2 est une instance de Hemoglobin objetE est objetE2 objet2 est une partie de objet la mesure de objetE est nombre r�el Gram(s) nombre r�el est moins que 13
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, acheter and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency askPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus petit ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, vendre and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) bidPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13876	boilingPoint substance pure and nombre r�el unit� de mesure(s) entit� est une instance de substance pure la mesure de entit� est nombre r�el unit� de mesure(s) pendant interval temporel unit� de mesure est une instance de UnitOfTemperature nombre r�el est plus grand ou �gal � nombre r�el Gas est un attribut de entit� pendant interval temporel processus interval temporel recouvre temps d'existence de processus processus est une instance de �vaporer entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 659-669	comparativeArea secteur g�ographique, BinaryRelationExtendedToQuantities, nombre r�el positif and secteur g�ographique unit� de mesure est une instance de UnitOfArea la mesure de secteur g�ographique est nombre r�el unit� de mesure(s) la mesure de secteur g�ographique est nombre r�el unit� de mesure(s) BinaryRelationExtendedToQuantities nombre r�el unit� de mesure(s) and nombre r�el positif + nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	concentration nombre r�el unit� de mesure(s), substance, nombre r�el unit� de mesure2(s) and mixture substanceI est une instance de substance substanceI est une partie de mixture la mesure de substanceI est nombre r�el unit� de mesure3(s) substanceI est une partie de mixture substanceI2 est une instance de substance substanceI est substanceIE2 substanceI2 est une partie de mixture la mesure de mixture est nombre r�el unit� de mesure2(s) approximateValue nombre r�el and nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	engineIdleSpeed InternalCombustionEngine and RotationFn nombre r�el MilesPerHour(s) and dur�e temporel objet est une instance de Automobile processus est une instance de GasPedal processus est une instance de Pushing processus aboutit � objet InternalCombustionEngine est une partie de objet objet est une partie de objet objet est une instance de Crankshaft objet est une partie de InternalCombustionEngine la mesure de objet est RotationFn entit� MilesPerHour(s) and dur�e temporel pendant temps d'existence de processus l'argument entit� est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 862-866	RadiationMeasure est nombre r�el Rad(s) la mesure de objet est RadiationMeasure absorbedDose objet and RadiationMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2890-2908	governorSpeed SpeedGovernor and function de quantit� nombre r�el MilesPerHour(s) est mesure de longueur par dur�e temporel nombre r�el MilesPerHour(s) est mesure de longueur par dur�e temporel nombre r�el est plus grand que nombre r�el nombre r�elPROB est probabilit� de la mesure de SpeedGovernor est nombre r�el MilesPerHour(s) nombre r�elPROB est probabilit� de la mesure de SpeedGovernor est nombre r�el MilesPerHour(s) nombre r�elPROB est plus grand que nombre r�elPROB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2573-2589	La mesure de objet est function de quantit� pendant position temporel engineIdleSpeed InternalCombustionEngine and function de quantit� objet est une instance de Automobile InternalCombustionEngine est une partie de objet objet est une partie de InternalCombustionEngine l'argument entit� entit� entit� prend place pendant position temporel entit� est une instance de Pushing entit� aboutit � entit� entit� est une partie de objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30650-30671	Dieting est un attribut de AutonomousAgent pendant interval temporel Dieting est un attribut de AutonomousAgent pendant interval temporel objet est une instance de Meal processus est une instance de manger processus est un agent de AutonomousAgent objet est une resource pour processus temps d'existence de processus prend place pendant interval temporel la mesure de objet est nombre r�el Calorie(s) objet est une instance de Meal processus est une instance de manger processus est un agent de AutonomousAgent objet est une resource pour processus temps d'existence de processus prend place pendant interval temporel la mesure de objet est nombre r�el Calorie(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 1321-1332	Objet est une instance de Americano substance est une partie de objet substance est une partie de objet substance est une instance de Espresso substance est une instance de DrinkingWater la mesure de substance est 90.0 CelsiusDegree(s) mixtureRatio substance, substance, nombre r�el, nombre r�el and Liter approximateValue nombre r�el and 0.03 approximateValue nombre r�el and 0.15
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2873-2884	Objet est une instance de Brine la mesure de objet est 1.0 Liter(s) objet est une partie de objet objet est une instance de SodiumChloride la mesure de objet est nombre r�el Gram(s) nombre r�el est plus grand que 35.0 nombre r�el est plus petit ou �gal � 260.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13853-13861	Processus est une instance de �vaporer boilingPoint substance pure and nombre r�el unit� de mesure(s) entit� est une instance de substance pure entit� est un patient de processus la mesure de entit� est nombre r�el unit� de mesure(s) pendant temps d'existence de processus unit� de mesure est une instance de UnitOfTemperature nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4089-4121	Objet est une instance de BimetalTemperatureSensor objet est une instance de m�tal objet est une instance de m�tal objet est objet objet est une partie de objet objet est une partie de objet entit� est une instance de mesure de temperature entit� est une instance de mesure de temperature nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur entit� est entit� position temporel est position temporel la mesure de objet est entit� la mesure de objet est nombre r�el la mesure de objet est nombre r�el pendant position temporel la mesure de objet est entit� la mesure de objet est nombre r�el la mesure de objet est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el + nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	Objet est une instance de Cappuccino substance est une partie de objet substance est une partie de objet substance est une instance de Espresso substance est une instance de MilkFoam mixtureRatio substance, substance, nombre r�el, nombre r�el and Liter objet en une partie est une partie de substance objet en une partie est une instance de Bubble le dessus de substance est objet en une partie la mesure de objet en une partie est nombre r�el Millimeter(s) approximateValue nombre r�el and 0.03 approximateValue nombre r�el and 0.15 approximateValue nombre r�el and 20.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7780-7788	Objet est plus large que objet nombre r�el nombre r�el and unit� de mesure la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13604-13610	La mesure de physique est nombre r�el MetricTon(s) la mesure de physique est nombre r�el + 2205.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	La mesure de physique est nombre r�el AngularDegree(s) la mesure de physique est 60.0 + nombre r�el ArcMinute(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	La mesure de physique est nombre r�el ArcMinute(s) la mesure de physique est 60.0 + nombre r�el ArcSecond(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13325-13330	La mesure de physique est nombre r�el OunceMass(s) la mesure de physique est nombre r�el + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	arableLandArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea secteur g�ographique secteur g�ographique est une instance de ArableLand geographicSubregion secteur g�ographique and secteur g�ographique la mesure de secteur g�ographique est nombre r�el + nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, acheter and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency askPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus petit ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, vendre and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) bidPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	Oversized est un attribut de objet objet est une instance imm�diate de classe classe est une sous-classe de HotelUnit physique nombre r�el, nombre r�el and unit� de mesure physique est une instance imm�diate de classe unit� de mesure est une instance de UnitOfArea la mesure de physique est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) nombre r�el est une instance de mesure d'aire nombre r�el est une instance de mesure d'aire nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25675-25684	Attribut est un attribut de objet attribut est une instance de TemperatureAttribute objet est une instance de objet objet la mesure de objet est objet objet est une instance de mesure de temperature attribut est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13535-13544	defaultMaximumMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est plus grand que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13546-13557	defaultMaximumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY entit�(s) est plus grand que nombre r�el unit� de mesure(s) a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13565-13574	defaultMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est plus grand que nombre r�el + 1.5 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13576-13585	defaultMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est moins que nombre r�el + .5 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13504-13513	defaultMinimumMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13515-13526	defaultMinimumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6165-6176	graphMeasure graph and unit� de mesure �lement du graph est une instance de noeud du graph �lement du graph est une partie de graph arc du graph est une partie de graph arc du graph est une instance de arc du graph abstractCounterpart �lement du graph and physique abstractCounterpart arc du graph and physique la valeur de arc du graph est nombre r�el la mesure de physique est nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	Objet est une instance imm�diate de classe physique est une instance imm�diate de classe Oversized est un attribut de objet objetSIZE physiqueSIZE and unit� de mesure unit� de mesure est une instance de unit� de mesure la mesure de objet est objetSIZE unit� de mesure(s) la mesure de physique est physiqueSIZE unit� de mesure(s) objetSIZE est plus grand que physiqueSIZE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25710-25725	Objet est une instance imm�diate de classe objet est une instance imm�diate de classe ColdTemperature est un attribut de objet HotTemperature est un attribut de objet nombre r�el nombre r�el and unit� de mesure la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfTemperature nombre r�el est une instance de mesure de temperature la mesure de objet est nombre r�el unit� de mesure(s) nombre r�el est une instance de mesure de temperature nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17142-17163	Processus est une instance de Accelerating processus est un agent de AutonomousAgent nombre r�el nombre r�el, nombre r�el, nombre r�el, entit� and entit� la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant le d�but de temps d'existence de processus la mesure de AutonomousAgent est nombre r�el entit�(s) par nombre r�el entit�(s) pendant la fin de temps d'existence de processus nombre r�el est plus grand que nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28800-28804	Physique est une instance de Actinium physique est une instance de atome la mesure de physique est 227 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27466-27470	Physique est une instance de Aluminum physique est une instance de atome la mesure de physique est 26.9815 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28906-28910	Physique est une instance de Americium physique est une instance de atome la mesure de physique est 243 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28100-28104	Physique est une instance de Antimony physique est une instance de atome la mesure de physique est 121.75 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27549-27553	Physique est une instance de Argon physique est une instance de atome la mesure de physique est 39.948 Amu(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: