not - Sigma Knowledge base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41283-41283
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41282-41282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41281-41281

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	Processus est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus liquidity FinancialAccount and HighLiquidity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17276-17284	Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 506-510	HighIncomeCountry est un attribut de AutonomousAgent AutonomousAgent est un membre de OrganizationOfPetroleumExportingCountries economyType AutonomousAgent and DevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) objet est une instance de classe objet est une instance de classe unit� de mesure est une instance de unit� de mesure nombre r�el est plus grand que nombre r�el
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.	Medicine.kif 3984-4004	ADHD est un attribut de AutonomousAgent ADHD est un attribut de AutonomousAgent AutonomousAgent est AutonomousAgent processus est une instance de classe processus est une instance de classe classe est une sous-classe de processus psycholoqique intentionnel processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent la dur�� de temps d'existence de processus est dur�e temporel la dur�� de temps d'existence de processus est dur�e temporel l'argument dur�e temporel est plus grand que dur�e temporel a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12536-12546	Attribut est un attribut de objet attribut est une instance de Fingerprint objet est une instance de Finger attributR objet objet est un instrument pour attributR objet est une instance de Finger attribut est un attribut de objet objet est un patient de attributR
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 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.	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.	Medicine.kif 367-385	breathingRate AutonomousAgent, interval temporel and nombre entier interval temporel est une instance de minute nombre entier nombre entier est une instance de r�cr�ation ou exercice nombre entier est un agent de AutonomousAgent interval temporel prend place pendant temps d'existence de nombre entier HumanAdult est un attribut de AutonomousAgent pendant interval temporel nombre entier est plus grand que 16 nombre entier est moins que 12 Healthy est un attribut de AutonomousAgent pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Military.kif 772-778	Humain est un citoyen de nation objet humain est situ� � objet humain est situ� � nation
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.	Dining.kif 1148-1156	La probabilit� de ComfortFood est un attribut de entit� pourvu que HeartHealthyFood est un attribut de entit� vaut nombre r�el la probabilit� de ComfortFood est un attribut de entit� pourvu que HeartHealthyFood est un attribut de entit� vaut nombre r�el nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9576-9582	Objet est connect� � objet objet est connect� � objet objet est connect� � objet objet relie objet et objet
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.	Merge.kif 476-484	@ROW est l'oppos� de attribut est entit� attribut est entit� nombre entier positif est nombre entier positif entit� a un attribute attribut entit� a un attribute attribut
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer agent cognitif and AutonomousAgent corkageFee mesure de devise, objet and AutonomousAgent objet est une instance de objet processus processus est une instance de acheter objet est un patient de processus processus aboutit � agent cognitif processus a pour origine AutonomousAgent processus est une instance de boire processus est un agent de agent cognitif objet est une resource pour processus processus processus est une instance de Corkage processus est un agent de agent cognitif processus inclut une r�f�rence � objet processus aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	Composant d'un appareil est un composant de Internet composant d'un appareil est un composant de Internet composant d'un appareil est composant d'un appareil Internet a pour but entit� entit� est une instance de communication entit� est un agent de composant d'un appareil entit� aboutit � composant d'un appareil Internet est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4861-4872	Le plus grand diviseur commun de @ROW est nombre entier nombre entier est nombre entier nombre entier est un membre de (@ROW) nombre entier reste nombre entier est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	Le plus grand diviseur commun de @ROW est nombre entier nombre entier est nombre entier nombre entier est plus grand que nombre entier nombre entier nombre entier est un membre de (@ROW) nombre entier reste nombre entier est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4946-4956	La racine carr�e de nombre entier de @ROW est nombre entier nombre entier est nombre entier nombre entier est un membre de (@ROW) nombre entier reste nombre entier est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	La racine carr�e de nombre entier de @ROW est nombre entier nombre entier est nombre entier nombre entier est moins que nombre entier nombre entier nombre entier est un membre de (@ROW) nombre entier reste nombre entier est &%�gal � 0

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.	Mid-level-ontology.kif 30166-30176	Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
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.	People.kif 357-390	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 751-762	PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	OpenSea est un attribut de objet physique nombre r�el objet est une instance de plan d'eau sal� objet est une instance de LandlockedWater la distance entre physique et objet est nombre r�el NauticalMile(s) nombre r�el est plus grand que 5.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23060-23075	cousin humain and humain Woman Man grandmother humain and Woman grandfather humain and Man grandmother humain and Woman grandfather humain and Man organisme organisme organisme est la m�re de humain organisme est le p�re de humain organisme est la m�re de humain organisme est le p�re de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30120-30128	Barefoot est un attribut de entit� pendant position temporel entit� entit� est une instance de Shoe entit� porte entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30133-30141	Naked est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement entit� porte entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30211-30224	Alone est un attribut de entit� pendant interval temporel entit�2 processus entit� est entit�2 entit�2 est une instance de AutonomousAgent processus est une instance de interaction social temps d'existence de processus prend place pendant interval temporel involvedInEvent processus and entit� involvedInEvent processus and entit�2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30259-30267	Mute est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de Speaking temps d'existence de processus prend place pendant interval temporel processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6477-6487	Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 294-306	lengthOfUnclassifiedGaugeRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30284-30298	Processus est ex�cut� de la fa�on Harmless processus est une instance de endommager processus2 processus2 est une instance de endommager processus2 est un sous-processus de processus processus2 processus2 est une instance de endommager processus cause processus2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13849-13856	L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17438-17440	L'argument formule a la force modale de Necessity l'argument formule n' %n{pas} la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17501-17503	L'argument formule a la force modale de Obligation l'argument formule n' %n{pas} la force modale de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17537-17539	L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de Permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9118-9121	Objet est Outside � objet objet est partiellement localis� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23151-23158	stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23168-23175	stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14090-14097	agreementClause proposition , Prohibition, Agreement and agent cognitif agent cognitif n' %n{pas} le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14054-14057	agreementExpirationDate Agreement and point temporel Agreement a un attribute ActiveAgreement pendant apr�s point temporel

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Media.kif 2546-2550

Position temporel est une instance de le jour 3 SerbiaAndMontenegro est une instance de IndependentState pendant apr�s position temporel

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2011-2015	~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElement est une instance de InterfaceWindow }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2226-2229	~{ GUIElement est une instance de Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState }
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1952-1955	~{ GUIElement est une instance de MouseCursor } ~{ hasGUEState GUIElement and GUE_ActiveState }
No TPTP formula. May not be expressible in strict first order.	Government.kif 2915-2915	BigSix est GroupOf6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6099-6106	Chemin du graph chemin du graph chemin du graph est une instance de l' ensemble de chemins qui partitionnent graph en deux graph s�par� chemin du graph est une instance de l' ensemble minimal de chemins qui partitionnent graph en deux graph s�par� la longueur de chemin du graph est nombre entier positif la longueur de chemin du graph est nombre entier positif nombre entier positif est moins que nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Government.kif 3219-3219	Denmark est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3220-3220	Sweden est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Government.kif 3221-3221	UnitedKingdom est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7890-7890	BeforeCommonEra ne recouvre %n{pas} CommonEra
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3585-3585	vegetationType ArcticRegion and BotanicalTree

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: