TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1759-1767
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2028-2043
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 368-378
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2026-2026	Quantit� physique est compl�tement d�compos� en quantit� constante + function de quantit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2025-2025	Quantit� physique est une sous-classe de quantit�

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6350-6350	Le domaine de MeasureFn est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2045-2045	Quantit� constante est une sous-classe de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2100-2100	Function de quantit� est une sous-classe de quantit� physique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1644-1644	PerformanceMeasure est une sous-classe de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6198-6198	Unit� de mesure est une sous-classe de quantit� physique
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 875-875
No TPTP formula. May not be expressible in strict first order.	english_format.kif 952-952
No TPTP formula. May not be expressible in strict first order.	french_format.kif 551-551
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 81-81
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 84-84
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2236-2236
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 503-503
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 572-572
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 85-85

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6630-6630	Le nombre 1 argument de PerFn est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6631-6631	Le nombre 2 argument de PerFn est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6611-6611	Le nombre 1 argument de UnitFn est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2105-2105	Le nombre 2 argument de annualElectricityConsumption est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2149-2149	Le nombre 2 argument de annualElectricityExport est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2195-2195	Le nombre 2 argument de annualElectricityImport est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1973-1973	Le nombre 2 argument de annualElectricityProduction est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7817-7817	Le nombre 2 argument de barometricPressure est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1549-1549	Le nombre 2 argument de carrierFrequency est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10441-10441	Le nombre 2 argument de diastolicBloodPressure est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2779-2779	Le nombre 2 argument de earthAltitude est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2095-2095	Le nombre 2 argument de electricityConsumptionInPeriod est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2138-2138	Le nombre 2 argument de electricityExportInPeriod est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2183-2183	Le nombre 2 argument de electricityImportInPeriod est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1963-1963	Le nombre 2 argument de electricityProductionInPeriod est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 986-986	Le nombre 2 argument de fleetGrossRegisteredTonnage est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 252-252	Le nombre 2 argument de highAltitudeWindVelocity est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2001-2001	Le nombre 2 argument de imageResolution est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Food.kif 1658-1658	Le nombre 3 argument de ingredientAmount est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 215-215	Le nombre 2 argument de lowAltitudeWindSpeed est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 203-203	Le nombre 2 argument de lowAltitudeWindVelocity est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7503-7503	Le nombre 2 argument de measure est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 229-229	Le nombre 2 argument de mediumAltitudeWindVelocity est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2630-2630	Le nombre 2 argument de navigableForShippingTonnage est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Cars.kif 829-829	Le nombre 2 argument de resonantFrequency est une instance de quantit� physique

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.	Merge.kif 6620-6626	Quantit� physique est une instance de quantit� physique unit� de mesure est une instance de unit� de mesure quantit� physique est nombre r�el unit� de mesure(s) UnitFn quantit� physique est unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30973-30987	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30912-30921	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30940-30954	shortage AutonomousAgent, objet, mesure de devise, interval temporel and quantit� physique quantit� physique est une instance de quantit� physique transf�re objet transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and objet transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent objet est une instance de objet la mesure de objet est quantit� physique AutonomousAgent poss�de objet

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1784-1788	Liste est une instance de MeasuringResultList entit� est un membre de liste entit� est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13244-13249	Entit� est une instance de Chart entit� entit� est une instance de quantit� physique entit� inclut une r�f�rence � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13273-13278	Entit� est une instance de Chart entit� entit� est une instance de quantit� physique entit� inclut une r�f�rence � entit�

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: