TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1748-1748
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1958-1958
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 356-356
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1956-1956	Nombre entier est compl�tement d�compos� en nombre entier n�gatif + nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1955-1955	Nombre entier est compl�tement d�compos� en nombre entier impair + nombre entier �gal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1954-1954	Nombre entier est une sous-classe de nombre rationnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 857-857	Le domaine de AvailableForMilitaryServiceMaleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5510-5510	Le domaine de CardinalityFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4785-4785	Le domaine de CeilingFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4812-4812	Le domaine de DenominatorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Military.kif 879-879	Le domaine de FitForMilitaryServiceMaleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4830-4830	Le domaine de FloorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4848-4848	Le domaine de GreatestCommonDivisorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4933-4933	Le domaine de LeastCommonMultipleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5038-5038	Le domaine de NumeratorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31725-31725	Le domaine de PopulationFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5336-5336	Le domaine de PredecessorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Military.kif 917-917	Le domaine de ReachingMilitaryAgeAnnuallyMaleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5099-5099	Le domaine de RemainderFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5191-5191	Le domaine de SignumFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5303-5303	Le domaine de SuccessorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1960-1960	Nombre entier �gal est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1985-1985	Nombre entier n�gatif est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1975-1975	Nombre entier non n�gatif est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1965-1965	Nombre entier impair est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1970-1970	Nombre premier est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 866-866
No TPTP formula. May not be expressible in strict first order.	english_format.kif 934-934
No TPTP formula. May not be expressible in strict first order.	french_format.kif 542-542
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 72-72

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4821-4821	Le nombre 2 argument de ExponentiationFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4849-4849	Le nombre 1 argument de GreatestCommonDivisorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4934-4934	Le nombre 1 argument de LeastCommonMultipleFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5335-5335	Le nombre 1 argument de PredecessorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5097-5097	Le nombre 1 argument de RemainderFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5098-5098	Le nombre 2 argument de RemainderFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3162-3162	Le nombre 1 argument de SubListFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3163-3163	Le nombre 2 argument de SubListFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5302-5302	Le nombre 1 argument de SuccessorFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8591-8591	Le nombre 1 argument de YearFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3076-3076	Le nombre 2 argument de airQualityIndex est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10406-10406	Le nombre 3 argument de breathingRate est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 788-788	Le nombre 3 argument de capacityByArrangement est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 698-698	Le nombre 2 argument de chromosomeNumber est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 824-824	Le nombre 3 argument de chromosomeSetCount est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3097-3097	Le nombre 2 argument de coilCount est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Communications.kif 135-135	Le nombre 3 argument de communicationSatelliteForArea est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 644-644	Le nombre 2 argument de criticalityLevel est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18520-18520	Le nombre 2 argument de defaultMaxValue est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18503-18503	Le nombre 2 argument de defaultMinValue est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18537-18537	Le nombre 2 argument de defaultValue est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Media.kif 2070-2070	Le nombre 2 argument de exactCardinality est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Media.kif 2071-2071	Le nombre 3 argument de exactCardinality est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3515-3515	Le nombre 2 argument de fleetSize est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 789-789	Le nombre 2 argument de haploidNumber est une instance de nombre entier

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 5087-5092	Nombre r�el est une instance de nombre entier nombre r�el est nombre r�el + le reciproque de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30980-30995	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier 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 collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30922-30932	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30947-30962	shortage AutonomousAgent, objet, mesure de devise, interval temporel and nombre entier nombre entier est une instance de nombre entier transf�re collection transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and collection transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent collection est une instance de collection memberType collection and objet memberCount collection and nombre entier AutonomousAgent poss�de collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5329-5331	Nombre entier est une instance de nombre entier nombre entier est nombre entier+1)+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5325-5327	Nombre entier est une instance de nombre entier nombre entier est nombre entier+2)+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5345-5347	Nombre entier est une instance de nombre entier nombre entier est plus grand que ( nombre entier+2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5312-5314	Nombre entier est une instance de nombre entier nombre entier est moins que ( nombre entier+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5083-5085	Nombre r�el est une instance de nombre entier le reciproque de nombre r�el est nombre r�el �lev� � la puissance -1

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24293-24303	birthdate humain and jour jour est une instance de le jour nombre entier positif jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	Processus est une instance de BarMitzvah humain est un patient de processus humain est une instance de Boy humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	Processus est une instance de BatMitzvah humain est un patient de processus humain est une instance de Girl humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3393-3397	Function est une instance de sequence function s�quence le domaine de function est une instance de classe classe est une sous-classe de nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24252-24263	Physique est une instance de Wedding la date de physique est jour jour est une instance de le jour nombre entier positif jour nombre entier weddingAnniversary physique and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4900-4905	multiplicativeFactor nombre entier and nombre entier nombre r�el nombre r�el est une instance de nombre entier nombre entier est nombre entier + nombre r�el

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: