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	Ang bilang 1 bahagi ng subclass ay ang halimbawa ng klase
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	Ang bilang 2 bahagi ng subclass ay ang halimbawa ng klase
No TPTP formula. May not be expressible in strict first order.	Merge.kif 129-129	subclass ay ang kasapi sa dalawang panaguri
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18660-18660	subclass ay ang kasapi sa ClosedWorldPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 130-130	subclass ay ang kasapi sa PartialOrderingRelation

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 22956-22956	subField ay ang kaugnayan mas tiyak ng subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55708-55708	subField ay ang kaugnayan mas tiyak ng subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 320-320	subField ay ang kaugnayan mas tiyak ng subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55707-55707	subField ay ang kaugnayan mas tiyak ng subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55706-55706	subField ay ang kaugnayan mas tiyak ng subclass
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 133-133	subField ay ang kaugnayan mas tiyak ng subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3987-4007	Kong AutonomousAgent may katangian ng ADHD at AutonomousAgent hindi may katangian ng ADHD at AutonomousAgent hindi ay pareho sa AutonomousAgent at paraan ay ang kasapi sa klase at paraan ay ang kasapi sa klase at klase ay ang klase mas tiyak sa paraan ng sadyang sikolohiya at paraan ang kumakatawan sa AutonomousAgent at paraan ang kumakatawan sa AutonomousAgent at ang tagal ng ang panahon ng kabuhayan ng paraan ay tagal ng panahon at ang tagal ng ang panahon ng kabuhayan ng paraan ay tagal ng panahon, kung gayon modalAttribute tagal ng panahon ay mas malaki sa tagal ng panahon and Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1194-1209	Kong bagay may katangian ng Oversized at bagay ay ang kasapi ng agad sa klase at klase ay ang klase mas tiyak sa HotelUnit, kung gayon mayroon materyal, tunay na numero,, , tunay na numero, and at batayang sukat para sa ganoon materyal ay ang kasapi ng agad sa klase at batayang sukat ay ang kasapi sa UnitOfArea at ang sukatan ng materyal ay tungkulin ng sukatan tunay na numero and batayang sukat at ang sukatan ng bagay ay tungkulin ng sukatan tunay na numero and batayang sukat at tunay na numero ay ang kasapi sa sukat ng lawak at tunay na numero ay ang kasapi sa sukat ng lawak at tunay na numero ay mas malaki sa ** tunay na numero
No TPTP formula. May not be expressible in strict first order.	Biography.kif 738-748	Kong AutonomousAgent may katangian ng Writer at kahit ano ay ang kasapi sa tagadala ng impormasiyon at tagadala ng impormasiyon ay ang klase mas tiyak sa Teksto o tagadala ng impormasiyon ay ang klase mas tiyak sa Document at paraan ay ang kasapi sa sumulat at paraan ang kumakatawan sa AutonomousAgent at kahit ano ay ang hangga ng paraan, kung gayon AutonomousAgent ay ang sumulat ng ** tagadala ng impormasiyon
No TPTP formula. May not be expressible in strict first order.	WMD.kif 789-793	Kong biochemicalAgentDelivery BiochemicalAgent and paraan at paraan ay ang klase mas tiyak sa paraan, kung gayon biochemicalAgentDelivery BiochemicalAgent and paraan
No TPTP formula. May not be expressible in strict first order.	WMD.kif 976-980	Kong biologicalAgentCarrier BiologicalAgent and kinapal at kinapal ay ang klase mas tiyak sa kinapal, kung gayon biologicalAgentCarrier BiologicalAgent and kinapal
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	Kong kaya paraan gawin CaseRole at paraan ay ang klase mas tiyak sa binabaril, kung gayon mayroon bagay para sa ganoon bagay ay ang kasapi sa sandata at bagay ay ang bahagi ng bagay at kaya paraan gawin CaseRole
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	Kong commemoratesDate Holiday and ang araw positibong numero at kahit ano ay ang kasapi sa Holiday at Holiday ay ang klase mas tiyak sa FixedHoliday at buong numero ay meno o pareho ng kahit ano_YEAR, kung gayon kahit ano ay ang kasapi sa ang araw ** positibong numero
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	Kong customer kinatawan may kaalaman and AutonomousAgent at propertyAmenity AutonomousAgent and materyal at materyal ay ang klase mas tiyak sa bagay at kahit ano ay ang kasapi sa materyal, kung gayon AutonomousAgent nagpapahintulot kinatawan may kaalaman gawin ang gawain sa ang klase mayroon kahit ano para sa ganoon kahit ano ay ang kasapi sa paraan at kahit ano ay ang kakayahan ng kahit ano o kahit ano ay ang kasangkapan ng kahit ano o kahit ano ay sumasali ng kahit ano at kahit ano ang kumakatawan sa kinatawan may kaalaman o kinatawan may kaalaman ay danas ** kahit ano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	Kong customer kinatawan may kaalaman and AutonomousAgent at propertyAmenity AutonomousAgent and materyal at materyal ay ang klase mas tiyak sa paraan, kung gayon modalAttribute mayroon kahit ano, kahit ano, and at kahit ano para sa ganoon kahit ano ay ang elemento sa pag-aari ng AutonomousAgent at kahit ano ang kumakatawan sa AutonomousAgent at kinatawan may kaalaman ay sumasali ng kahit ano at kahit ano ay ang kasapi sa materyal o kahit ano ay ang kasapi sa materyal at kahit ano ay ang paraan mas baba ng kahit ano at kahit ano ay sa ** kahit ano and Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14886-14897	Kong defaultMaximumMeasure bagay and tungkulin ng sukatan tunay na numero and batayang sukat at klase ay ang klase mas tiyak sa NonCompositeUnitOfMeasure at batayang sukat ay ang kasapi sa klase, kung gayon modalAttribute mayroon kahit ano, tunay na numeroUANTITY, and at kahit ano para sa ganoon kahit ano ay ang kasapi sa bagay at ang sukatan ng kahit ano ay tungkulin ng sukatan tunay na numeroUANTITY and kahit ano at kahit ano ay ang kasapi sa klase at tungkulin ng sukatan tunay na numeroUANTITY and kahit ano ay mas malaki sa tungkulin ng sukatan tunay na numero and ** batayang sukat and Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14855-14866	Kong defaultMinimumMeasure bagay and tungkulin ng sukatan tunay na numero and batayang sukat at klase ay ang klase mas tiyak sa NonCompositeUnitOfMeasure at batayang sukat ay ang kasapi sa klase, kung gayon modalAttribute mayroon kahit ano, tunay na numeroUANTITY, and at kahit ano para sa ganoon kahit ano ay ang kasapi sa bagay at ang sukatan ng kahit ano ay tungkulin ng sukatan tunay na numeroUANTITY and kahit ano at kahit ano ay ang kasapi sa klase at tunay na numeroUANTITY ay meno ng tunay na numero and Unlikely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 957-961	Kong diseaseMedicine sakit, BiologicallyActiveSubstance and paraan at paraan ay ang klase mas tiyak sa paraan, kung gayon diseaseMedicine sakit, BiologicallyActiveSubstance and ** paraan
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	Kong diseaseMedicine sakit, BiologicallyActiveSubstance and paraan at BiologicallyActiveSubstance ay ang klase mas tiyak sa BiologicallyActiveSubstance, kung gayon diseaseMedicine sakit, BiologicallyActiveSubstance and ** paraan
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2352-2361	Kong electricityConsumptionInPeriod laki ukol sa politika sa pamahalaan, dami ng materyal and pagitan ng panahon at pagitan ng panahon ay ang klase mas tiyak sa taon o pagitan ng panahon ay ang klase mas tiyak sa FiscalYearFn laki ukol sa politika sa pamahalaan, kung gayon mayroon kalagayan ng panahon para sa ganoon kalagayan ng panahon ay ang kasapi sa pagitan ng panahon at annualElectricityConsumption laki ukol sa politika sa pamahalaan and dami ng materyal ay tutoo panahon ng ** kalagayan ng panahon
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2396-2405	Kong electricityExportInPeriod laki ukol sa politika sa pamahalaan, dami ng materyal and pagitan ng panahon at pagitan ng panahon ay ang klase mas tiyak sa taon o pagitan ng panahon ay ang klase mas tiyak sa FiscalYearFn laki ukol sa politika sa pamahalaan, kung gayon mayroon kalagayan ng panahon para sa ganoon kalagayan ng panahon ay ang kasapi sa pagitan ng panahon at annualElectricityExport laki ukol sa politika sa pamahalaan and dami ng materyal ay tutoo panahon ng ** kalagayan ng panahon
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2442-2451	Kong electricityImportInPeriod laki ukol sa politika sa pamahalaan, dami ng materyal and pagitan ng panahon at pagitan ng panahon ay ang klase mas tiyak sa taon o pagitan ng panahon ay ang klase mas tiyak sa FiscalYearFn laki ukol sa politika sa pamahalaan, kung gayon mayroon kalagayan ng panahon para sa ganoon kalagayan ng panahon ay ang kasapi sa pagitan ng panahon at annualElectricityImport laki ukol sa politika sa pamahalaan and dami ng materyal ay tutoo panahon ng ** kalagayan ng panahon
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2220-2229	Kong electricityProductionInPeriod laki ukol sa politika sa pamahalaan, dami ng materyal and pagitan ng panahon at pagitan ng panahon ay ang klase mas tiyak sa taon o pagitan ng panahon ay ang klase mas tiyak sa FiscalYearFn laki ukol sa politika sa pamahalaan, kung gayon mayroon kalagayan ng panahon para sa ganoon kalagayan ng panahon ay ang kasapi sa pagitan ng panahon at annualElectricityProduction laki ukol sa politika sa pamahalaan and dami ng materyal ay tutoo panahon ng ** kalagayan ng panahon
No TPTP formula. May not be expressible in strict first order.	Food.kif 2883-2889	Kong bagay ay pareho sa OrganicObjectFn bagay at bagay ay ang klase mas tiyak sa AnimalFat at bagay ay ang klase mas tiyak sa taba ng laman, kung gayon initialPart ** bagay and hayop
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4967-4972	Kong bagay ay pareho sa OrganicObjectFn bagay at bagay ay ang klase mas tiyak sa CoffeeBean at bagay ay ang klase mas tiyak sa Seed, kung gayon initialPart ** bagay and CoffeePlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5031-5037	Kong bagay ay pareho sa OrganicObjectFn bagay at bagay ay ang klase mas tiyak sa CocoaBean at bagay ay ang klase mas tiyak sa Seed, kung gayon initialPart ** bagay and CocoaTree
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	Kong pagkuha ay pareho sa ReceivingAnObjectFn bagay at pagkuha ay pareho sa ReceivingAnObjectFn bagay at bagay ay ang klase mas tiyak sa bagay, kung gayon pagkuha ay ang klase mas tiyak sa pagkuha
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19972-19977	Kong kapisanan ay pareho sa DepartmentOfPreventingFn kapisanan and materyal at materyal ay ang klase mas tiyak sa paraan at subOrganization kapisanan and kapisanan, kung gayon kapisanan ay pipigilin ** materyal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5285-5290	Kong bagay ay pareho sa OrganicObjectFn bagay ng buhay at bagay ay ang klase mas tiyak sa karne, kung gayon bagay ng buhay ay ang klase mas tiyak sa hayop
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4503-4509	Kong bagay ay pareho sa OrganicObjectFn bagay at bagay ay ang klase mas tiyak sa Malt at bagay ay ang klase mas tiyak sa CerealGrain, kung gayon initialPart ** bagay and CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4881	Kong bagay ay pareho sa OrganicObjectFn bagay at bagay ay ang klase mas tiyak sa OilFromPlant at bagay ay ang klase mas tiyak sa Seed o bagay ay ang klase mas tiyak sa Fruit, kung gayon mayroon bagay para sa ganoon bagay ay ang klase mas tiyak sa Halamang namumulaklak at initialPart bagay and ** bagay

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 33332-33339	Kong applicableRelation bagay and kaugnayan at bagay ay ang kasapi sa bagayC at ang bilang 1 bahagi ng kaugnayan ay ang halimbawa ng klase, kung gayon bagayC ay pareho sa klase o bagayC ay ang klase mas tiyak sa klase
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4203-4227	Kong bagay may katangian ng ToxicandInfectiousSubstance at bagay ay ang kasapi sa sangkap o bagay ay ang kasapi sa maliit na nilalang, kung gayon mayroon AutonomousAgent, paraan,, , paraan, and at paraan para sa ganoon AutonomousAgent ay ang kasapi sa tao o AutonomousAgent ay ang kasapi sa hayop at bagay ay malapit sa AutonomousAgent at paraan ay ang kasapi sa Inhaling o paraan ay ang kasapi sa lunukin o paraan ay ang kasapi sa hinihipo at paraan ang kumakatawan sa AutonomousAgent at bagay ay sumasali ng paraan at paraan ay nagbibigay paraan at AutonomousAgent ay sumasali ng paraan at paraan ay ang kasapi sa paraan at kaya paraan gawin resource at paraan ay ang klase mas tiyak sa sinusugatan o ** paraan ay ang klase mas tiyak sa kamatayan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1489-1502	Kong bagay may katangian ng DutyFree at bagay ay ang kasapi sa Store, kung gayon mayroon laki ukol sa politika sa pamahalaan, kahit ano,, , bagay, and at paraan para sa ganoon laki ukol sa politika sa pamahalaan ay ang kasapi sa laki ukol sa politika sa pamahalaan at bagay ay sa laki ukol sa politika sa pamahalaan at bagay ay ang klase mas tiyak sa bagay at importCommodityType laki ukol sa politika sa pamahalaan and bagay at kahit ano ay ang kasapi sa bagay at paraan ay ang kasapi sa nagbibili at kahit ano ay sumasali ng paraan at paraan ay sa ** bagay
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25883-25893	Kong birthdate tao and araw at araw ay ang kasapi sa ang araw positibong numero, kung gayon mayroon araw at buong numero para sa ganoon birthday tao and araw at araw ay ang klase mas tiyak sa araw at buong numero ay ang kasapi sa buong numero at araw ay pareho sa ang araw positibong numero at buong numero ay mas malaki sa buong numero
No TPTP formula. May not be expressible in strict first order.	Merge.kif 215-221	Kong ang bilang positibong numero bahagi ng kaugnayan ay ang halimbawa ng klase at ang bilang positibong numero bahagi ng kaugnayan ay ang halimbawa ng klase, kung gayon klase ay ang klase mas tiyak sa klase o klase ay ang klase mas tiyak sa ** klase
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3018-3023	Kong ang bliang positibong numero bahagi ng kaugnayan ay ang mas tiayk klase ng klase at kaugnayan ay ang kasapi sa panaguri at kaugnayan @ROW, kung gayon positibong numeroth elemento ng (@ROW ay ang klase mas tiyak sa klase
No TPTP formula. May not be expressible in strict first order.	Merge.kif 238-244	Kong ang bliang positibong numero bahagi ng kaugnayan ay ang mas tiayk klase ng klase at ang bliang positibong numero bahagi ng kaugnayan ay ang mas tiayk klase ng klase, kung gayon klase ay ang klase mas tiyak sa klase o klase ay ang klase mas tiyak sa ** klase
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	Kong pagkuha ay pareho sa ReceivingAnObjectFn bagay at pagkuha ay pareho sa ReceivingAnObjectFn bagay at bagay ay ang klase mas tiyak sa bagay, kung gayon pagkuha ay ang klase mas tiyak sa pagkuha
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5285-5290	Kong bagay ay pareho sa OrganicObjectFn bagay ng buhay at bagay ay ang klase mas tiyak sa karne, kung gayon bagay ng buhay ay ang klase mas tiyak sa hayop
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4881	Kong bagay ay pareho sa OrganicObjectFn bagay at bagay ay ang klase mas tiyak sa OilFromPlant at bagay ay ang klase mas tiyak sa Seed o bagay ay ang klase mas tiyak sa Fruit, kung gayon mayroon bagay para sa ganoon bagay ay ang klase mas tiyak sa Halamang namumulaklak at initialPart bagay and ** bagay
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5599-5606	Kong bagay ay pareho sa OrganicObjectFn bagay ng buhay at bagay ay ang klase mas tiyak sa bagay, kung gayon bagay ng buhay ay ang klase mas tiyak sa kinapal o bagay ng buhay ay ang klase mas tiyak sa kaanyuan ng katawan
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5373-5377	Kong bagay ay pareho sa OrganicObjectFn bagay ng buhay at bagay ay ang klase mas tiyak sa Pelt, kung gayon bagay ng buhay ay ang klase mas tiyak sa Skin
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5576-5585	Kong bagay ay pareho sa OrganicObjectFn bagay at bagay ay ang klase mas tiyak sa WoodProduct at bagay ay ang klase mas tiyak sa PlantStem, kung gayon mayroon bagay para sa ganoon bagay ay ang klase mas tiyak sa BotanicalTree at initialPart bagay and bagay
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1790-1798	Kong bagay ay pareho sa AttrFn bagay and katangian at bagay ay ang kasapi sa bagay, kung gayon bagay ay ang kasapi sa bagay at bagay ay ang klase mas tiyak sa bagay at bagay may katangian ng ** katangian
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4177-4182	Kong bagay ay ang kasapi sa AegilopsGrass at bagay ay ang bahagi ng bagay at bagay ay ang kasapi sa bagayLASS, kung gayon bagayLASS ay ang klase mas tiyak sa DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4300-4305	Kong bagay ay ang kasapi sa CommonWheatGrass at bagayELL ay ang bahagi ng bagay at bagayELL ay ang kasapi sa bagayLASS, kung gayon ** bagayLASS ay ang klase mas tiyak sa HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4330-4335	Kong bagay ay ang kasapi sa SpeltWheatGrass at bagayELL ay ang bahagi ng bagay at bagayELL ay ang kasapi sa bagayLASS, kung gayon ** bagayLASS ay ang klase mas tiyak sa HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12164-12176	Kong paraan ay ang kasapi sa Deciding at paraan ang kumakatawan sa kinatawan may kaalaman at isang huwego ay ang kasapi sa isang huwego at isang huwego ay sumasali ng paraan at kahit ano ay ang elemento sa isang huwego, kung gayon kinatawan may kaalaman naniniwala mayroon kahit ano para sa ganoon kahit ano ay ang kasapi sa kahit ano at kahit ano ay ang klase mas tiyak sa paraan ng pagkusa at kaya ** kahit ano gawin kumakatawan
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4241-4246	Kong bagay ay ang kasapi sa DurumWheatGrass at bagay ay ang bahagi ng bagay at bagay ay ang kasapi sa bagayLASS, kung gayon bagayLASS ay ang klase mas tiyak sa TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4271-4276	Kong bagay ay ang kasapi sa EinkornWheatGrass at bagay ay ang bahagi ng bagay at bagay ay ang kasapi sa bagayLASS, kung gayon ** bagayLASS ay ang klase mas tiyak sa DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4209-4214	Kong bagay ay ang kasapi sa EmmerWheatGrass at bagay ay ang bahagi ng bagay at bagay ay ang kasapi sa bagayLASS, kung gayon bagayLASS ay ang klase mas tiyak sa TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4285-4290	Kong bagay ay ang kasapi sa TriticumUrartu at bagay ay ang bahagi ng bagay at bagay ay ang kasapi sa bagayLASS, kung gayon ** bagayLASS ay ang klase mas tiyak sa DiploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5827-5835	Kong paraan ay ang kasapi sa Felling at kahit ano ay ang hangga ng paraan, kung gayon mayroon kahit anoTEM para sa ganoon kahit ano ay ang kasapi sa DeadFn kahit anoTEM at ** kahit anoTEM ay ang klase mas tiyak sa PlantStem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19655-19663	Kong paraan ay ang kasapi sa Harvesting at kahit ano ay ang hangga ng paraan, kung gayon mayroon kahit anoRG para sa ganoon kahit ano ay ang kasapi sa DeadFn kahit anoRG at ** kahit anoRG ay ang klase mas tiyak sa bagay ng buhay
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3508-3537	Kong WearableItem ay ang kasapi sa HearingProtection at hayop ay ang kasapi sa tao at wears hayop and WearableItem, kung gayon WearableItem may ang layon mayroon kahit ano, kahit ano, and at kahit ano para sa ganoon kahit ano ay ang kasapi sa paraan at kahit ano ay ang klase mas tiyak sa ang klase ilarawan ng kahit ano at kahit ano nagpipigil kahit ano at WearableItem ay ang kasangkapan ng ** kahit ano

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 963-974	FitForMilitaryServiceMaleFn laki ukol sa politika sa pamahalaan ay pareho sa an bilang halimbawa sa ang klase ilarawan ng teksto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5170-5173	Mayroon bagay para sa ganoon bagay ay ang klase mas tiyak sa HandToolBox at manufacturer bagay and SortimoCorp

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 778-778	ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve ay ang klase mas tiyak sa Nerve
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28254-28254	ACPowerSource ay ang klase mas tiyak sa PowerSource
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3294-3294	ADHD ay ang klase mas tiyak sa sakit sa pag-iisip
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27208-27208	AMFMAlarmClock ay ang klase mas tiyak sa AlarmClock
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27209-27209	AMFMAlarmClock ay ang klase mas tiyak sa RadioReceiver
No TPTP formula. May not be expressible in strict first order.	Communications.kif 293-293	AMRadioStation ay ang klase mas tiyak sa RadioStation
No TPTP formula. May not be expressible in strict first order.	Communications.kif 236-236	AMRadioSystem ay ang klase mas tiyak sa RadioSystem
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4075-4075	AOCnumber ay ang klase mas tiyak sa teksto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3601-3601	ATMMachine ay ang klase mas tiyak sa nakapirming bagay
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3677-3677	ATMSlot ay ang klase mas tiyak sa butas
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4876-4876	ATVTire ay ang klase mas tiyak sa Tire
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2169-2169	AVCTP ay ang klase mas tiyak sa programa sa kompyuter
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6430-6430	AVPUStatus ay ang klase mas tiyak sa katangian ng magkaugnay
No TPTP formula. May not be expressible in strict first order.	Food.kif 1994-1994	AbaloneMeat ay ang klase mas tiyak sa MolluskMeat
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4952-4952	Abatacept ay ang klase mas tiyak sa Immunosupressant
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 527-527	Abayah ay ang klase mas tiyak sa Cloak
No TPTP formula. May not be expressible in strict first order.	People.kif 1213-1213	Abbey ay ang klase mas tiyak sa kapisanan ng mga mananampalataya
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14148	Abdomen ay ang klase mas tiyak sa AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	arteries.kif 1272-1272	AbdominalAorta ay ang klase mas tiyak sa Artery
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 135-135	AbducensNerveCNVI ay ang klase mas tiyak sa Nerve
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2046-2046	Abducting ay ang klase mas tiyak sa galaw ng katawan
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2047-2047	Abducting ay ang klase mas tiyak sa MovingAwayFrom
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1608-1608	AbductorDigitiMinimiMuscle ay ang klase mas tiyak sa bisig
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2127-2127	AbductorHallucisMuscle ay ang klase mas tiyak sa bisig
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1581-1581	AbductorPollicisBrevisMuscle ay ang klase mas tiyak sa bisig

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: