(=>     (and         (equal ?SPEEDLIST             (Mean3SecondWindSpeedListFn ?PLACE ?TIME))         (inList ?SPEED ?SPEEDLIST))     (instance ?SPEED FunctionQuantity))	Weather.kif 1998-2003	Lista e' igual a 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 4715-4721	Objeto e' igual a 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 1475-1484	Numero Real e' igual a VarianceFn Lista Numero Real e' igual a AverageFn Lista Numero Real e' igual a 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 1486-1497	Numero Real e' igual a VarianceAverageFn Numero Real and Lista 1 e' igual a comprimento de Lista Numero Real e' igual a ( 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 1453-1465	Numero Real e' igual a VarianceAverageFn Numero and Lista comprimento de Lista e' maior que 1 Numero Real e' igual a (VarianceAverageFn Numero and 1th elemento de Lista + VarianceAverageFn Numero and SubListFn 2, comprimento de Lista and Lista)
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W BalsaWood)         (subclass ?S PlantStem))     (initialPart ?S BalsaTree))	Economy.kif 5296-5301	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de BalsaWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and BalsaTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W BeechWood)         (subclass ?S PlantStem))     (initialPart ?S BeechTree))	Economy.kif 5306-5311	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de BeechWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and BeechTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W BirchWood)         (subclass ?S PlantStem))     (initialPart ?S BirchTree))	Economy.kif 5316-5321	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de BirchWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and BirchTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W CedarWood)         (subclass ?S PlantStem))     (initialPart ?S CedarTree))	Economy.kif 5421-5426	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de CedarWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and CedarTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W CherryWood)         (subclass ?S PlantStem))     (or         (initialPart ?S BlackCherryTree)         (initialPart ?S SweetCherryTree)))	Economy.kif 5326-5333	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de CherryWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and BlackCherryTree initialPart Objeto and SweetCherryTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W FirWood)         (subclass ?S PlantStem))     (initialPart ?S FirTree))	Economy.kif 5431-5436	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de FirWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and FirTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W Hardwood)         (subclass ?S PlantStem))     (modalAttribute         (initialPart ?S DeciduousTree) Likely))	Economy.kif 5284-5291	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Hardwood Objeto Organico e' uma sub-classe de PlantStem o argumento initialPart Objeto Organico and DeciduousTree tem a forca modal de Likely
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W LarchWood)         (subclass ?S PlantStem))     (initialPart ?S LarchTree))	Economy.kif 5441-5446	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de LarchWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and LarchTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W MapleWood)         (subclass ?S PlantStem))     (initialPart ?S MapleTree))	Economy.kif 5338-5343	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de MapleWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and MapleTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W OkoumeWood)         (subclass ?S PlantStem))     (initialPart ?S OkoumeTree))	Economy.kif 5348-5353	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de OkoumeWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and OkoumeTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W PineWood)         (subclass ?S PlantStem))     (initialPart ?S PineTree))	Economy.kif 5461-5466	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de PineWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and PineTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W PoplarWood)         (subclass ?S PlantStem))     (initialPart ?S PoplarTree))	Economy.kif 5358-5363	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de PoplarWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and PoplarTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W RedOakWood)         (subclass ?S PlantStem))     (initialPart ?S RedOakTree))	Economy.kif 5368-5373	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de RedOakWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and RedOakTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W SapeleWood)         (subclass ?S PlantStem))     (initialPart ?S SapeleTree))	Economy.kif 5378-5383	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de SapeleWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and SapeleTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W Softwood)         (subclass ?S PlantStem))     (modalAttribute         (initialPart ?S Conifers) Likely))	Economy.kif 5409-5416	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Softwood Objeto Organico e' uma sub-classe de PlantStem o argumento initialPart Objeto Organico and Conifers tem a forca modal de Likely
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W SpruceWood)         (subclass ?S PlantStem))     (initialPart ?S SpruceTree))	Economy.kif 5451-5456	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de SpruceWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and SpruceTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W WalnutWood)         (subclass ?S PlantStem))     (initialPart ?S WalnutTree))	Economy.kif 5388-5393	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de WalnutWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and WalnutTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W WhiteOakWood)         (subclass ?S PlantStem))     (initialPart ?S WhiteOakTree))	Economy.kif 5398-5403	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de WhiteOakWood Objeto e' uma sub-classe de PlantStem initialPart Objeto and WhiteOakTree
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W WoodProduct)         (subclass ?S PlantStem))     (exists (?T)         (and             (subclass ?T BotanicalTree)             (initialPart ?S ?T))))	Economy.kif 5235-5244	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de WoodProduct Objeto e' uma sub-classe de PlantStem Objeto Objeto e' uma sub-classe de BotanicalTree initialPart Objeto and Objeto
(=>     (and         (equal ?X             (ABPFn ?BUYINGS))         (member ?BUYING ?BUYINGS))     (instance ?BUYING Buying))	UXExperimentalTerms.kif 3231-3235	Medida de Divisa e' igual a ABPFn Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Comprar
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