subclass - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1371-1373
No TPTP formula. May not be expressible in strict first order.	Merge.kif 133-135
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 27-29
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 28-30
No TPTP formula. May not be expressible in strict first order.	Merge.kif 131-131	Le nombre 1 argument de subclass est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	Le nombre 2 argument de subclass est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 129-129	subclass est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18646-18646	subclass est une instance de ClosedWorldPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 130-130	subclass est une instance de relation partiellement dirig�e

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 319-319
No TPTP formula. May not be expressible in strict first order.	english_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.	french_format.kif 182-182
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 271-271
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2002-2002
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 419-419
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 308-308
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 202-202
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 192-192
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 463-463
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22973-22973	subField est une sous-relation de subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55737-55737	subField est une sous-relation de subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 320-320	subField est une sous-relation de subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55736-55736	subField est une sous-relation de subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55735-55735	subField est une sous-relation de subclass
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 133-133	subField est une sous-relation de subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3987-4007	ADHD est un attribut de AutonomousAgent ADHD est un attribut de AutonomousAgent AutonomousAgent est AutonomousAgent processus est une instance de classe processus est une instance de classe classe est une sous-classe de processus psycholoqique intentionnel processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent la dur�� de temps d'existence de processus est dur�e temporel la dur�� de temps d'existence de processus est dur�e temporel l'argument dur�e temporel est plus grand que dur�e temporel a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1194-1209	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.	Biography.kif 738-748	Writer est un attribut de AutonomousAgent entit� est une instance de objet exprimant un sens objet exprimant un sens est une sous-classe de texte objet exprimant un sens est une sous-classe de Document processus est une instance de �crire processus est un agent de AutonomousAgent entit� est le resultat de processus AutonomousAgent est l' auteur de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.	WMD.kif 789-793	biochemicalAgentDelivery BiochemicalAgent and processus processus est une sous-classe de processus biochemicalAgentDelivery BiochemicalAgent and processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 976-980	biologicalAgentCarrier BiologicalAgent and organisme organisme est une sous-classe de organisme biologicalAgentCarrier BiologicalAgent and organisme
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	Objet est capable de faire processus dans le r�le r�le d�pendant du cas processus est une sous-classe de tirer objet objet est une instance de arme objet est une partie de objet objet est capable de faire processus dans le r�le r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	commemoratesDate Holiday and le jour nombre entier positif entit� est une instance de Holiday Holiday est une sous-classe de FixedHoliday nombre entier est plus petit ou �gal � entit�_YEAR entit� est une instance de le jour nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de objet entit� est une instance de physique AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de processus entit� est une resource pour entit� entit� est un instrument pour entit� entit� est un patient de entit� entit� est un agent de agent cognitif agent cognitif exp�rimente entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de processus l'argument entit� entit� and entit� entit� est un appartenir � AutonomousAgent entit� est un agent de AutonomousAgent agent cognitif est un patient de entit� entit� est une instance de physique entit� est une instance de physique entit� est un sous-processus de entit� entit� est situ� � entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14904-14915	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 14873-14884	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.	WMD.kif 957-961	diseaseMedicine maladie ou syndrome, substance biologique active and processus processus est une sous-classe de processus diseaseMedicine maladie ou syndrome, substance biologique active and processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	diseaseMedicine maladie ou syndrome, substance biologique active and processus substance biologique active est une sous-classe de substance biologique active diseaseMedicine maladie ou syndrome, substance biologique active and processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2352-2361	electricityConsumptionInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityConsumption secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2396-2405	electricityExportInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityExport secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2442-2451	electricityImportInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityImport secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2220-2229	electricityProductionInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityProduction secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 2883-2889	Objet est OrganicObjectFn objet objet est une sous-classe de AnimalFat objet est une sous-classe de tissu gras initialPart objet and animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4967-4972	Objet est OrganicObjectFn objet objet est une sous-classe de CoffeeBean objet est une sous-classe de Seed initialPart objet and CoffeePlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5031-5037	Objet est OrganicObjectFn objet objet est une sous-classe de CocoaBean objet est une sous-classe de Seed initialPart objet and CocoaTree
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	Obtenir est ReceivingAnObjectFn objet obtenir est ReceivingAnObjectFn objet objet est une sous-classe de objet obtenir est une sous-classe de obtenir
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19989-19994	Organisation est DepartmentOfPreventingFn organisation and physique physique est une sous-classe de processus organisation est une partie de l'organization organisation organisation inhibe physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5285-5290	Objet est OrganicObjectFn objet organique objet est une sous-classe de viande objet organique est une sous-classe de animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4503-4509	Objet est OrganicObjectFn objet objet est une sous-classe de Malt objet est une sous-classe de CerealGrain initialPart objet and CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4881	Objet est OrganicObjectFn objet objet est une sous-classe de OilFromPlant objet est une sous-classe de Seed objet est une sous-classe de Fruit objet objet est une sous-classe de plant florissante initialPart objet and objet

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.	Mid-level-ontology.kif 33091-33098	applicableRelation objet and relation objet est une instance de objetC le nombre 1 argument de relation est une instance de classe objetC est classe objetC est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4201-4225	ToxicandInfectiousSubstance est un attribut de objet objet est une instance de substance objet est une instance de microorganisme AutonomousAgent processus, processus and processus AutonomousAgent est une instance de humain AutonomousAgent est une instance de animal objet est Near � AutonomousAgent processus est une instance de Inhaling processus est une instance de ing�rer processus est une instance de toucher processus est un agent de AutonomousAgent objet est un patient de processus processus cause processus AutonomousAgent est un patient de processus processus est une instance de processus objet est capable de faire processus dans le r�le resource processus est une sous-classe de blesser processus est une sous-classe de mort
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1489-1502	DutyFree est un attribut de objet objet est une instance de Store secteur g�opolitique entit�, objet and processus secteur g�opolitique est une instance de secteur g�opolitique objet est situ� � secteur g�opolitique objet est une sous-classe de objet importCommodityType secteur g�opolitique and objet entit� est une instance de objet processus est une instance de vendre entit� est un patient de processus processus est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25902-25912	birthdate humain and jour jour est une instance de le jour nombre entier positif jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 215-221	Le nombre nombre entier positif argument de relation est une instance de classe le nombre nombre entier positif argument de relation est une instance de classe classe est une sous-classe de classe classe est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3003-3008	Le nombre nombre entier positif argument de relation est une sous-classe de classe relation est une instance de predicat relation @ROW nombre entier positifth sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 238-244	Le nombre nombre entier positif argument de relation est une sous-classe de classe le nombre nombre entier positif argument de relation est une sous-classe de classe classe est une sous-classe de classe classe est une sous-classe de classe
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	Obtenir est ReceivingAnObjectFn objet obtenir est ReceivingAnObjectFn objet objet est une sous-classe de objet obtenir est une sous-classe de obtenir
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5285-5290	Objet est OrganicObjectFn objet organique objet est une sous-classe de viande objet organique est une sous-classe de animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4881	Objet est OrganicObjectFn objet objet est une sous-classe de OilFromPlant objet est une sous-classe de Seed objet est une sous-classe de Fruit objet objet est une sous-classe de plant florissante initialPart objet and objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5599-5606	Objet est OrganicObjectFn objet organique objet est une sous-classe de objet objet organique est une sous-classe de organisme objet organique est une sous-classe de structure anatomique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5373-5377	Objet est OrganicObjectFn objet organique objet est une sous-classe de Pelt objet organique est une sous-classe de Skin
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5576-5585	Objet est OrganicObjectFn objet objet est une sous-classe de WoodProduct objet est une sous-classe de PlantStem objet objet est une sous-classe de BotanicalTree initialPart objet and objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1775-1783	Objet est AttrFn objet and attribut objet est une instance de objet objet est une instance de objet objet est une sous-classe de objet attribut est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4177-4182	Objet est une instance de AegilopsGrass objet est une partie de objet objet est une instance de objetLASS objetLASS est une sous-classe de DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4300-4305	Objet est une instance de CommonWheatGrass objetELL est une partie de objet objetELL est une instance de objetLASS objetLASS est une sous-classe de HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4330-4335	Objet est une instance de SpeltWheatGrass objetELL est une partie de objet objetELL est une instance de objetLASS objetLASS est une sous-classe de HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12149-12161	Processus est une instance de Deciding processus est un agent de agent cognitif ensemble est une instance de ensemble ensemble est un patient de processus entit� est un ensemble agent cognitif croit entit� entit� est une instance de entit� entit� est une sous-classe de processus intentionnel agent cognitif est capable de faire entit� dans le r�le agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4241-4246	Objet est une instance de DurumWheatGrass objet est une partie de objet objet est une instance de objetLASS objetLASS est une sous-classe de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4271-4276	Objet est une instance de EinkornWheatGrass objet est une partie de objet objet est une instance de objetLASS objetLASS est une sous-classe de DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4209-4214	Objet est une instance de EmmerWheatGrass objet est une partie de objet objet est une instance de objetLASS objetLASS est une sous-classe de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4285-4290	Objet est une instance de TriticumUrartu objet est une partie de objet objet est une instance de objetLASS objetLASS est une sous-classe de DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5827-5835	Processus est une instance de Felling entit� est le resultat de processus entit�TEM entit� est une instance de DeadFn entit�TEM entit�TEM est une sous-classe de PlantStem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19672-19680	Processus est une instance de Harvesting entit� est le resultat de processus entit�RG entit� est une instance de DeadFn entit�RG entit�RG est une sous-classe de objet organique
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3508-3537	WearableItem est une instance de HearingProtection animal est une instance de humain animal porte WearableItem WearableItem a pour but entit� entit� and entit� entit� est une instance de processus entit� est une sous-classe de la classe d�crite par entit� entit� previent l'occurrence de entit� WearableItem est un instrument pour entit�

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Military.kif 953-964	FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5170-5173	Objet objet est une sous-classe de HandToolBox manufacturer objet and SortimoCorp

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1170-1170	AAM est une sous-classe de AirAttackMissile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1169-1169	AAM est une sous-classe de AirLaunchMissile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1171-1171	AAM est une sous-classe de GuidedMissile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1647-1647	AAV est une sous-classe de AmphibiousVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1646-1646	AAV est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1648-1648	AAV est une sous-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1649-1649	AAV est une sous-classe de PoweredVehicle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 778-778	ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve est une sous-classe de Nerve
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28013-28013	ACPowerSource est une sous-classe de PowerSource
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3294-3294	ADHD est une sous-classe de dysfonctionement psychologique
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1123-1123	AGM est une sous-classe de AirLaunchMissile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1124-1124	AGM est une sous-classe de GroundAttackMissile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1203-1203	AGM114 est une sous-classe de AGM
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1205-1205	AGM114 est une sous-classe de AntiArmorWeapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1204-1204	AGM114 est une sous-classe de BeamRidingGMissile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1136-1136	AGM65 est une sous-classe de AGM
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1138-1138	AGM65 est une sous-classe de AntiArmorWeapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1137-1137	AGM65 est une sous-classe de InfraRedGMissile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1889-1889	AH1 est une sous-classe de Helicopter
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1890-1890	AH1 est une sous-classe de MilitaryVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1177-1177	AIM9 est une sous-classe de AAM
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1178-1178	AIM9 est une sous-classe de InfraRedGMissile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2130-2130	AMEV est une sous-classe de Ambulance
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2129-2129	AMEV est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2128-2128	AMEV est une sous-classe de MilitaryVehicle

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

KB Term:			Term intersection

English Word: