(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (exists (?R ?O)         (and             (instance ?R                 (DeadFn ?ORG))             (part ?R ?O)             (instance ?O ?ORG))))	Economy.kif 5608-5617	equal Objeto and OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Objeto Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto e' uma instancia de Objeto Organico
(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (or         (subclass ?ORG Organism)         (subclass ?ORG AnatomicalStructure)))	Economy.kif 5599-5606	equal Objeto and OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Organico e' uma sub-classe de Organismo Objeto Organico e' uma sub-classe de Estructura Anatomica
(=>     (and         (equal ?P             (OrganicObjectFn ?S))         (subclass ?P Pelt))     (subclass ?S Skin))	Economy.kif 5373-5377	equal Objeto and OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Pelt Objeto Organico e' uma sub-classe de Skin
(=>     (and         (equal ?PLANE             (LevelPlaneFn ?P ?A))         (part ?P ?R)         (instance ?R Region)         (located ?R ?A))     (exists (?L)         (and             (instance ?L LineInSpace)             (endPointsOfLineInSpace ?P                 (CenterOfPlanetFn ?A) ?L)             (orientation ?PLANE ?L RightAngle))))	Mid-level-ontology.kif 27429-27441	equal PlaneInSpace and LevelPlaneFn PointInSpace and Corpo Astronomico PointInSpace e' uma &parte de Objeto Objeto e' uma instancia de Regiao Objeto e' situado em Corpo Astronomico FiniteLineInSpace FiniteLineInSpace e' uma instancia de LineInSpace endPointsOfLineInSpace PointInSpace, CenterOfPlanetFn Corpo Astronomico and FiniteLineInSpace PlaneInSpace e' RightAngle em relacao a FiniteLineInSpace
(=>     (and         (equal ?PROCESSSTART             (BeginFn                 (WhenFn ?PROCESS)))         (equal ?AGENTEND             (EndFn                 (WhenFn ?AGENT)))         (benefits ?PROCESS ?AGENT))     (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 24561-24566	equal Ponto no tempo and o comeco de tempo de existencia de Processo equal Ponto no tempo and o fim de tempo de existencia de AutonomousAgent benefits Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
(=>     (and         (equal ?PROCESSSTART             (BeginFn                 (WhenFn ?PROCESS)))         (equal ?AGENTEND             (EndFn                 (WhenFn ?AGENT)))         (suffers ?PROCESS ?AGENT))     (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 31514-31523	equal Ponto no tempo and o comeco de tempo de existencia de Processo equal Ponto no tempo and o fim de tempo de existencia de AutonomousAgent suffers Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
(=>     (and         (equal ?R             (SubListFn ?S ?E ?L))         (equal             (SubtractionFn ?E ?S) 0))     (equal ?R NullList))	Merge.kif 3183-3190	equal Lista and SubListFn Numero Inteiro, Numero Inteiro and Lista equal ( Numero Inteiro + Numero Inteiro) and 0 equal Lista and NullList
(=>     (and         (equal ?R             (SubListFn ?S ?E ?L))         (equal             (SubtractionFn ?E ?S) 1))     (equal ?R         (ListFn             (ListOrderFn ?L ?S))))	Merge.kif 3192-3201	equal Lista and SubListFn Inteiro positivo, Numero Inteiro and Lista equal ( Numero Inteiro + Inteiro positivo) and 1 equal Lista and ( Inteiro positivoth elemento de Lista)
(=>     (and         (equal ?R             (SubListFn ?S ?E ?L))         (greaterThan             (SubtractionFn ?E ?S) 1))     (equal ?R         (ListConcatenateFn             (ListFn                 (ListOrderFn ?L ?S))             (SubListFn                 (AdditionFn 1 ?S) ?E ?L))))	Merge.kif 3203-3215	equal Lista and SubListFn Inteiro positivo, Numero Inteiro and Lista ( Numero Inteiro + Inteiro positivo) e' maior que 1 equal Lista and a lista composta de ( Inteiro positivoth elemento de Lista) e SubListFn (1 + Inteiro positivo), Numero Inteiro and Lista
(=>     (and         (equal ?R RightAngle)         (angularMeasure ?R             (MeasureFn ?N AngularDegree)))     (equal ?N 90.0))	Mid-level-ontology.kif 5482-5487	equal TwoDimensionalAngle and RightAngle angularMeasure TwoDimensionalAngle and Numero Real AngularDegree(s) equal Numero Real and 90.0
(=>     (and         (equal ?S             (OrganicObjectFn ?F))         (subclass ?S Suet)         (subclass ?F FatTissue))     (or         (initialPart ?F Cattle)         (initialPart ?F Sheep)))	Food.kif 2913-2921	equal Objeto and OrganicObjectFn Objeto Objeto e' uma sub-classe de Suet Objeto e' uma sub-classe de Tecido Gorduroso initialPart Objeto and Cattle initialPart Objeto and Sheep
(=>     (and         (equal ?S             (OrganicObjectFn ?O))         (subclass ?S Lambskin)         (subclass ?O Skin))     (initialPart ?O Lamb))	Economy.kif 5382-5387	equal Objeto and OrganicObjectFn Objeto Objeto e' uma sub-classe de Lambskin Objeto e' uma sub-classe de Skin initialPart Objeto and Lamb
(=>     (and         (equal ?S             (OrganicObjectFn ?O))         (subclass ?S Sheepskin)         (subclass ?O Skin))     (initialPart ?O Sheep))	Economy.kif 5392-5397	equal Objeto and OrganicObjectFn Objeto Objeto e' uma sub-classe de Sheepskin Objeto e' uma sub-classe de Skin initialPart Objeto and Sheep
(=>     (and         (equal ?S             (SongFn ?MC ?LC))         (realization ?S ?MUSIC))     (exists (?MM ?MV)         (and             (patient ?MM ?MC)             (patient ?MV ?LC)             (subProcess ?MM ?MUSIC)             (subProcess ?MV ?MUSIC))))	Music.kif 869-878	equal Song and SongFn MusicalComposition and LyricalContent Song exprime o conteudo de Processo Processo Processo MusicalComposition e' um patient de Processo LyricalContent e' um patient de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo
(=>     (and         (equal ?S CircleSector)         (equal ?A CentralAngle)         (angleOfFigure ?A ?S)         (equal ?L ClosedLineSegment)         (sideOfFigure ?L ?A)         (sideOfIntersection ?A ?S ?L)         (lineMeasure ?L ?R))     (exists (?AC)         (and             (equal ?AC CircularArc)             (sideOfFigure ?AC ?S)             (arcLength ?AC ?R)             (angularMeasure ?A                 (MeasureFn 1 Radian)))))	Mid-level-ontology.kif 5753-5767	equal TwoDimensionalFigure and CircleSector equal TwoDimensionalAngle and CentralAngle angleOfFigure TwoDimensionalAngle and TwoDimensionalFigure equal OneDimensionalFigure and ClosedLineSegment o lado de TwoDimensionalAngle e' OneDimensionalFigure sideOfIntersection TwoDimensionalAngle, TwoDimensionalFigure and OneDimensionalFigure lineMeasure OneDimensionalFigure and Medida de Comprimento TwoDimensionalAngleC equal TwoDimensionalAngleC and CircularArc o lado de TwoDimensionalFigure e' TwoDimensionalAngleC arcLength TwoDimensionalAngleC and Medida de Comprimento angularMeasure TwoDimensionalAngle and 1 Radian(s)
(=>     (and         (equal ?S CircleSector)         (equal ?C Circle)         (geometricPart ?S ?C)         (equal ?L ClosedLineSegment)         (sideOfFigure ?L ?S))     (lineMeasure ?L         (RadiusFn ?C)))	Mid-level-ontology.kif 5626-5633	equal GeometricFigure and CircleSector equal Circle and Circle geometricPart GeometricFigure and Circle equal OneDimensionalFigure and ClosedLineSegment o lado de GeometricFigure e' OneDimensionalFigure lineMeasure OneDimensionalFigure and RadiusFn Circle
(=>     (and         (equal ?S CircularSegment)         (equal ?A CircularArc)         (geometricPart ?A ?S)         (equal ?C ChordOfACircle)         (geometricPart ?C ?S))     (exists (?P1 ?P2)         (and             (not                 (equal ?P1 ?P2))             (endPointsOfLine ?P1 ?P2 ?C)             (pointOfIntersection ?A ?C ?P1)             (pointOfIntersection ?A ?C ?P2))))	Mid-level-ontology.kif 5889-5902	equal GeometricFigure and CircularSegment equal OneDimensionalFigure and CircularArc geometricPart OneDimensionalFigure and GeometricFigure equal OneDimensionalFigure and ChordOfACircle geometricPart OneDimensionalFigure and GeometricFigure GeometricPoint GeometricPoint equal GeometricPoint and GeometricPoint endPointsOfLine GeometricPoint, GeometricPoint and OneDimensionalFigure pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint
(=>     (and         (equal ?S SecantLine)         (pointOfFigure ?P1 ?S)         (pointOfFigure ?P2 ?S)         (not             (equal ?P1 ?P2))         (equal ?C Circle)         (pointOfFigure ?P1 ?C)         (pointOfFigure ?P2 ?C))     (exists (?CHORD)         (and             (equal ?CHORD ChordOfACircle)             (endPointsOfLine ?P1 ?P2 ?CHORD)             (geometricPart ?CHORD ?S))))	Mid-level-ontology.kif 5867-5881	equal GeometricFigure and SecantLine GeometricPoint e' um ponto de GeometricFigure GeometricPoint e' um ponto de GeometricFigure equal GeometricPoint and GeometricPoint equal GeometricFigure and Circle GeometricPoint e' um ponto de GeometricFigure GeometricPoint e' um ponto de GeometricFigure GeometricFigureHORD equal GeometricFigureHORD and ChordOfACircle endPointsOfLine GeometricPoint, GeometricPoint and GeometricFigureHORD geometricPart GeometricFigureHORD and GeometricFigure
(=>     (and         (equal ?S SouthPole)         (located ?S Antarctica))     (exists (?A)         (and             (axis ?A PlanetEarth)             (traverses ?A ?S))))	Geography.kif 3988-3995	equal Objeto and SouthPole Objeto e' situado em Antarctica Objeto axis Objeto and PlanetEarth Objeto traversa Objeto
(=>     (and         (equal ?SPEEDLIST             (Mean3SecondWindSpeedListFn ?PLACE ?TIME))         (inList ?SPEED ?SPEEDLIST))     (exists (?TIMELIST ?INT)         (and             (equal ?TIMELIST                 (TimeIntervalListFn ?TIME                     (MeasureFn 3 SecondDuration)))             (inList ?INT ?TIMELIST)             (equal ?SPEED                 (Mean3SecondWindSpeedFn ?PLACE ?INT)))))	Weather.kif 2690-2702	equal Lista and Mean3SecondWindSpeedListFn Area Geografica and Intervalo Temporal Funcao de Quantidade e' um membro de Lista Intervalo TemporalLIST Intervalo Temporal equal Intervalo TemporalLIST and TimeIntervalListFn Intervalo Temporal and 3 SecondDuration(s) Intervalo Temporal e' um membro de Intervalo TemporalLIST equal Funcao de Quantidade and Mean3SecondWindSpeedFn Area Geografica and Intervalo Temporal
(=>     (and         (equal ?SPEEDLIST             (Mean3SecondWindSpeedListFn ?PLACE ?TIME))         (inList ?SPEED ?SPEEDLIST))     (instance ?SPEED FunctionQuantity))	Weather.kif 2683-2688	equal Lista and Mean3SecondWindSpeedListFn Area Geografica and Intervalo Temporal Entidade e' um membro de Lista Entidade e' uma instancia de Funcao de Quantidade
(=>     (and         (equal ?T             (OrganicObjectFn ?S))         (subclass ?T TeaPlantAerialPart)         (subclass ?S PlantStem))     (initialPart ?S TeaPlant))	Economy.kif 5053-5059	equal Objeto and OrganicObjectFn Objeto Objeto e' uma sub-classe de TeaPlantAerialPart Objeto e' uma sub-classe de PlantStem initialPart Objeto and TeaPlant
(=>     (and         (equal ?V             (VarianceFn ?L))         (equal ?M             (AverageFn ?L)))     (equal ?V         (DivisionFn             (VarianceAverageFn ?M ?L)             (ListLengthFn ?L))))	Weather.kif 2161-2170	equal Numero Real and VarianceFn Lista equal Numero Real and AverageFn Lista equal Numero Real and VarianceAverageFn Numero Real and Lista + comprimento de Lista
(=>     (and         (equal ?VA             (VarianceAverageFn ?M ?L))         (equal 1             (ListLengthFn ?L)))     (equal ?VA         (MultiplicationFn             (SubtractionFn ?M                 (ListOrderFn ?L 1))             (SubtractionFn ?M                 (ListOrderFn ?L 1)))))	Weather.kif 2172-2183	equal Numero Real and VarianceAverageFn Numero Real and Lista equal 1 and comprimento de Lista equal Numero Real and ( Numero Real + 1th elemento de Lista) + ( Numero Real + 1th elemento de Lista)
(=>     (and         (equal ?VA             (VarianceAverageFn ?M ?L))         (greaterThan             (ListLengthFn ?L) 1))     (equal ?VA         (AdditionFn             (VarianceAverageFn ?M                 (ListOrderFn ?L 1))             (VarianceAverageFn ?M                 (SubListFn 2                     (ListLengthFn ?L) ?L)))))	Weather.kif 2139-2151	equal Numero Real and VarianceAverageFn Numero and Lista comprimento de Lista e' maior que 1 equal Numero Real and (VarianceAverageFn Numero and 1th elemento de Lista + VarianceAverageFn Numero and SubListFn 2, comprimento de Lista and Lista)
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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