part - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order.	Merge.kif 920-924
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 143-146
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 168-171
No TPTP formula. May not be expressible in strict first order.	Merge.kif 917-917	Le nombre 1 argument de part est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 918-918	Le nombre 2 argument de part est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 916-916	part est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 915-915	part est une instance de relation partiellement dirig�e
No TPTP formula. May not be expressible in strict first order.	Merge.kif 914-914	part est une instance de relation spatial

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1018-1018	contains et part sont disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 161-161
No TPTP formula. May not be expressible in strict first order.	english_format.kif 162-162
No TPTP formula. May not be expressible in strict first order.	french_format.kif 100-100
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 210-210
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1929-1929
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 52-52
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 64-64
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 197-197
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 248-248
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 119-119
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 402-402
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23697-23697	initialPart est reli� � l'int�rieur de SUMO � part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23724-23724	initiallyContainsPart est reli� � l'int�rieur de SUMO � part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23750-23750	partTypes est reli� � l'int�rieur de SUMO � part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23623-23623	typicalPart est reli� � l'int�rieur de SUMO � part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23660-23660	typicallyContainsPart est reli� � l'int�rieur de SUMO � part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 965-965	component est une sous-relation de part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 34-34	geneticSubstrateOfVirus est une sous-relation de part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13171-13171	half est une sous-relation de part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24375-24375	inString est une sous-relation de part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9714-9714	interiorPart est une sous-relation de part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13214-13214	most est une sous-relation de part

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.	Geography.kif 7440-7451	Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet
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 10684-10695	antagonistMuscles muscle and muscle d�palcement est une instance de Extension muscleC est un instrument pour d�palcement moves d�palcement and muscleC muscleC est une instance de muscle muscleC est une instance de muscle muscleC est une partie de objet muscleC est une partie de objet objet est une instance de animal muscleC est capable de faire Flexion dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10671-10682	antagonistMuscles muscle and muscle d�palcement est une instance de Flexion muscleC est un instrument pour d�palcement moves d�palcement and muscleC muscleC est une instance de muscle muscleC est une instance de muscle muscleC est une partie de objet muscleC est une partie de objet objet est une instance de animal muscleC est capable de faire Extension dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1754-1759	FlatTerrain est un attribut de objet zone de terre est une partie de objet slopeGradient zone de terre and nombre r�el non n�gatif 0.005 est plus grand que nombre r�el non n�gatif
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1766-1771	LowTerrain est un attribut de objet zone de terre est une partie de objet slopeGradient zone de terre and nombre r�el non n�gatif 0.03 est plus grand que nombre r�el non n�gatif
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.	ComputingBrands.kif 2693-2704	Concave est un attribut de objet en une partie objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objet est une partie de objet en une partie objet est LineFn objet and objet objet est objet objet est une partie de objet objet est Outside � objet en une partie
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	Convex est un attribut de objet en une partie objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objet est une partie de objet en une partie objet est LineFn objet and objet objet est objet objet est une partie de objet objet est Inside � objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19442-19452	Stressed est un attribut de objet objet est une instance de mot objet est une partie de objet objet2 objet2 est une instance de Syllable objet2 est une partie de objet Stressed est un attribut de objet2 objet2 est objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9737-9742	L' arri�re de objet en une partie est objet en une partie objet est une partie de objet en une partie objet est connect� � objet en une partie objet est Above � objet en une partie
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 702-710	chromosomeNumber EukaryoticCell and nombre entier objet est une partie de EukaryoticCell objet est une instance de CellNucleus EukaryoticCellOLL est une instance de collection EukaryoticCellOLL est situ� � objet memberType EukaryoticCellOLL and Chromosome memberCount EukaryoticCellOLL and nombre entier
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.	Geography.kif 514-518	Objet est connect� � objet objet est une partie de objet objet est connect� � objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1549	cylinderBore trou and mesure de longueur trou est une instance de trou shape trou and Cylinder objet est une partie de trou objet est une instance de r�gion shape objet and Circle le diam�tre de objet est mesure de longueur
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.	Anatomy.kif 1923-1939	ennervates Nerve and muscle objet est une instance de Nerve objet est une instance de muscle objet est une partie de objet objet est une partie de objet Healthy est un attribut de objet objet est une instance de humain objet a pour but objetF entit� objetF est une instance de NerveFiring objet est un instrument pour objetF muscle est une instance de MuscleContraction objet est un instrument pour objetV objetF cause muscle
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2636-2644	Objet est LineFn objet and objet objet est une partie de objet objet est une partie de objet objet est objet objet2 est LineFn objet and objet objet2 est une partie de objet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 793-802	haploidNumber Gamete and nombre entier Gamete est une instance de Gamete objet est une partie de Gamete objet est une instance de CellNucleus collection est une instance de collection collection est situ� � objet memberType collection and Chromosome memberCount collection and nombre entier
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	LateralRecumbant est un attribut de objet objet est On � objet pendant position temporel objet est une instance de LeftArm objet est une partie de objet objet est une instance de RightArm objet est une partie de objet objet est une instance de LeftLeg objet est une partie de objet objet est une instance de RightLeg objet est une partie de objet objet rencontre objet objet rencontre objet objet ne rencontre %n{pas} objet objet ne rencontre %n{pas} objet pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	LateralRecumbant est un attribut de objet objet est On � objet pendant position temporel objet est une instance de LeftArm objet est une partie de objet objet est une instance de RightArm objet est une partie de objet objet est une instance de LeftLeg objet est une partie de objet objet est une instance de RightLeg objet est une partie de objet objet rencontre objet objet rencontre objet objet ne rencontre %n{pas} objet objet ne rencontre %n{pas} objet pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	Prone est un attribut de objet objet est On � objet pendant position temporel objet est une instance de Chest objet est une partie de objet objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18268-18276	DeadOrMissingBodyPartFn classe est un attribut de objet pendant position temporel classeI est une instance de classe classeI est une partie de objet classeI a pour but formule formule

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 12488-12495	Processus est une instance de combiner objet est une resource pour processus entit� est le resultat de processus objet est une partie de entit� pendant le d�but de temps d'existence de processus objet est une partie de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11681-11688	Objet est une instance de os objet objet est une instance de Skeleton objet est une instance de Exoskeleton objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1277-1287	totalFacilityTypeInArea secteur g�ographique, la classe correspondant � AirportWithPavedRunway and nombre entier non n�gatif cha�ne sympbolique entit� cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 632-640	accountAtSite UserAccount and WebSite objet WebSite_OWNER objet est une instance de Database WebSite_OWNER est une instance de AutonomousAgent WebSite_OWNER poss�de WebSite WebSite_OWNER poss�de objet UserAccount est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	albumCoverImage Album and Image objet est une instance de AlbumCopiesFn Album and DataStorageDevice objet en une partie contient objet l'argument Image est une partie de le devant de objet en une partie a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 426-436	MashupRecording est un attribut de objet objet est une instance de Recording objet1 objet2, musique and musique musicInterpretation objet1 and musique musicInterpretation objet2 and musique musique est musique objet1 est une partie de objet objet2 est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19442-19452	Stressed est un attribut de objet objet est une instance de mot objet est une partie de objet objet2 objet2 est une instance de Syllable objet2 est une partie de objet Stressed est un attribut de objet2 objet2 est objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	GeometricFigure est un attribut de objet objet est une instance de FourPosterBed GeometricFigure est une instance de Quadrilateral le taille de GeometricFigure est OneDimensionalFigure le taille de GeometricFigure est OneDimensionalFigure OneDimensionalFigure est OneDimensionalFigure objet objet, GeometricPoint and objet objet est une partie de objet objet est une instance de Floor objet est On � objet objet est Vertical � objet pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint GeometricPoint est un attribut de objet objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1207-1216	Attribut est un attribut de objet attribut est une instance de HotelLevelAttribute objet est une instance de BuildingLevel objet objet est une instance de HotelBuilding objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation est un attribut de AutonomousAgent AutonomousAgent est capable de faire RoomCleaningService dans le r�le agent agent cognitif objet AutonomousAgent emploie agent cognitif Maid est un attribut de agent cognitif objet est une instance de HotelUnit objet est une partie de appartenir � AutonomousAgent objet est capable de faire RoomCleaningService dans le r�le patient agent cognitif est capable de faire RoomCleaningService dans le r�le serviceProvider
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.	Mid-level-ontology.kif 11966-11976	connectedBodyPart partie du corps and partie du corps Healthy est un attribut de objet partie du corpsI partie du corpsI partie du corpsI est une instance de partie du corps partie du corpsI est une instance de partie du corps partie du corpsI est une partie de objet partie du corpsI est une partie de objet partie du corpsI est connect� � partie du corpsI
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes partie du corps, partie du corps and organisme organismeC est une instance de organisme maladie ou syndrome est un attribut de objet objet objet objet est une instance de partie du corps objet est une instance de partie du corps objet est objet objet est une partie de organismeC objet est une partie de organismeC objet est connect� � objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	Objet est un appartenir � organisation AnnexRoom est un attribut de objet objet est une instance de HotelRoom objet objet and organisation organisation est une partie de l'organization organisation organisation est une instance de HotelFrontDesk organisation est situ� � objet objet est un appartenir � organisation objet est un appartenir � organisation objet est une partie de objet objet est objet
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2636-2644	Objet est LineFn objet and objet objet est une partie de objet objet est une partie de objet objet est objet objet2 est LineFn objet and objet objet2 est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	Objet est OrganicObjectFn objet organique objet est une sous-classe de objet objet objet objet est une instance de DeadFn objet organique objet est une partie de objet objet est une instance de objet organique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6356-6363	AutonomousAgent exp�rimente processus AutonomousAgent est une instance de PainFn partie du corps partie du corpsART partie du corpsART est une partie de processus partie du corpsART est situ� � partie du corps
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.	Merge.kif 9916-9923	Trou est un trou dans objet en une partie trou est un trou dans objet en une partie trou trou est une partie de l' union des parties de trou et trou trou est un trou dans objet en une partie
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23709-23718	initialPart objet and objet physique est une instance de objet entit� entit� est une instance de objet physique est une partie de entit� pendant le d�but de temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23736-23744	initiallyContainsPart objet and objet physique est une instance de objet entit� entit� est une instance de objet entit� est une partie de physique pendant le d�but de temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6237-6246	Objet est une instance de BodyAreaFn partie du corps objet est une instance de animal objet est une partie de objet objet objet est une instance de partie du corps objet est Near � objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	Processus est une instance de Amputating entit� est un patient de processus objet est une instance de Limb objet objet objet est une partie de objet objet est une partie de objet objet est une instance de os objet est une partie de entit� pendant immediatement avant temps d'existence de processus objet est une partie de entit� pendant immediatement avant temps d'existence de processus

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1162-1162	ViralPartFn virus and VirusPart est une partie de virus
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 711-711	AtlantaGeorgia est une partie de Georgia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 662-662	Australia est une partie de Oceania
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 714-714	BaltimoreMaryland est une partie de Maryland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 724-724	BostonMassachusetts est une partie de Massachusetts
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1611-1611	ChicagoUnitedStates est une partie de Illinois
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 854-854	ClevelandOhio est une partie de Ohio
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 915-915	Connecticut est une partie de NewEngland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 851-851	DallasTexas est une partie de Texas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 841-841	DetroitMichigan est une partie de Michigan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 835-835	FargoNorthDakota est une partie de NorthDakota
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1242-1242	Germany est une partie de Europe
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1245-1245	Greece est une partie de Europe
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 828-828	HoustonTexas est une partie de Texas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 832-832	HudsonRiver est une partie de NewYorkState
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 728-728	KansasCityMissouri est une partie de Missouri
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 820-820	KoreanPeninsula est une partie de Asia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 805-805	LongIsland est une partie de NewYorkState
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 810-810	LosAngelesCalifornia est une partie de California
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 731-731	ManchesterNewHampshire est une partie de NewHampshire
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 989-989	Massachusetts est une partie de NewEngland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 733-733	MemphisTennessee est une partie de Tennessee
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 737-737	MinneapolisMinnesota est une partie de Minnesota
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 740-740	MississippiRiver est une partie de UnitedStates
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 746-746	MontrealCanada est une partie de Canada

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: