ImmediatePastFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2741-2742
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8522-8524
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1467-1468
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8519-8519	Le nombre 1 argument de ImmediatePastFn est une instance de position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8516-8516	ImmediatePastFn est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8518-8518	ImmediatePastFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8517-8517	ImmediatePastFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8520-8520	Le domaine de ImmediatePastFn est une instance de interval temporel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 459-459
No TPTP formula. May not be expressible in strict first order.	english_format.kif 465-465
No TPTP formula. May not be expressible in strict first order.	french_format.kif 266-266
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 139-139
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2056-2056
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 218-218
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 272-272
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 600-600
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 178-178
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 287-287
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 293-293
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 282-282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29361-29361
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 460-460
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29360-29360
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29359-29359
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 283-283

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9838-9860	Objet est une instance de Antacid d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet objet est une instance de Stomach objet est une partie de AutonomousAgent objet contient objet objet est une instance de Fluid pendant immediatement avant temps d'existence de d�palcement objet contient objet objet est une instance de Fluid pendant immediatement apr�s temps d'existence de d�palcement phMeasure objet and nombre r�el phMeasure objet and nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9899-9921	Objet est une instance de ProtonPumpInhibitor d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet objet est une instance de Stomach objet est une partie de AutonomousAgent objet contient objet objet est une instance de Fluid pendant immediatement avant temps d'existence de d�palcement objet contient objet objet est une instance de Fluid pendant immediatement apr�s temps d'existence de d�palcement phMeasure objet and nombre r�el phMeasure objet and nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1926-1940	ComputerProcess est une instance de DataCompression dataProcessed ComputerProcess and DigitalData memorySize DigitalData and nombre r�el entit�(s) pendant immediatement avant temps d'existence de ComputerProcess memorySize DigitalData and nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de ComputerProcess nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4566-4576	Processus est une instance de DeletingAnAccount entit� est une instance de Account hasAccount AutonomousAgent and entit� pendant immediatement avant temps d'existence de processus entit� est un patient de processus processus est un agent de AutonomousAgent hasAccount AutonomousAgent and entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7016-7030	Processus est une instance de Deposition entit� est un patient de processus la mesure de entit� est nombre r�el Joule(s) pendant immediatement avant temps d'existence de processus la mesure de entit� est nombre r�el Joule(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	Financial transaction est une instance de Deposit FinancialAccount est une instance de FinancialAccount financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) currentAccountBalance FinancialAccount, immediatement avant temps d'existence de financial transaction and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) currentAccountBalance FinancialAccount, immediatement apr�s apr�s financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	Objet est une instance de Lever processus est une instance de Pushing physique est une instance de d�palcement unit� de mesure est une instance de UnitOfLength processus aboutit � objet physicalEnd objet and objet physicalEnd objet and objet objet est objet objet est situ� � processus1 pendant immediatement avant temps d'existence de physique objet est situ� � processus2 pendant immediatement apr�s temps d'existence de physique objet est situ� � processus3 pendant immediatement avant temps d'existence de physique objet est situ� � processus4 pendant immediatement apr�s temps d'existence de physique la distance entre processus1 et processus2 est nombre r�el unit� de mesure(s) la distance entre processus3 et processus4 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10554-10569	Processus est une instance de MuscleRelaxing entit� est un patient de processus entit� est une instance de muscle le longueur de entit� est nombre r�el entit�(s) pendant immediatement avant temps d'existence de processus le longueur de entit� est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10532-10547	Processus est une instance de MuscularContraction entit� est un patient de processus entit� est une instance de muscle le longueur de entit� est nombre r�el entit�(s) pendant immediatement avant temps d'existence de processus le longueur de entit� est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	Financial transaction est une instance de Payment financial transaction a pour origine CurrencyFn FinancialAccount FinancialAccount est une instance de FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) currentAccountBalance FinancialAccount, immediatement avant temps d'existence de financial transaction and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) currentAccountBalance FinancialAccount, immediatement apr�s temps d'existence de financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1993-2005	Entit� est une instance de objet en une partie processus est une instance de Compressing entit� est un patient de processus la mesure de entit� est nombre r�el entit�(s) pendant immediatement avant temps d'existence de processus entit� est une instance de UnitOfVolume la mesure de entit� est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7068-7082	Processus est une instance de Sublimation entit� est un patient de processus la mesure de entit� est nombre r�el Joule(s) pendant immediatement avant temps d'existence de processus la mesure de entit� est nombre r�el Joule(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	Financial transaction est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount financial transaction a pour origine FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) currentAccountBalance FinancialAccount, immediatement avant temps d'existence de financial transaction and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) currentAccountBalance FinancialAccount, immediatement apr�s apr�s financial transaction and nombre r�el unit� de mesure(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	agreementRevisionDate proposition , position temporel and proposition position temporel position temporel est une instance de position temporel proposition est une sous-proposition de proposition pendant immediatement avant position temporel proposition est une sous-proposition de proposition pendant immediatement apr�s position temporel proposition est une sous-proposition de proposition pendant immediatement avant position temporel proposition est une sous-proposition de proposition pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	Processus est une instance de Amputating entit� est un patient de processus objet est une instance de Limb objet objet objet est une partie de objet objet est une partie de objet objet est une instance de os objet est une partie de entit� pendant immediatement avant temps d'existence de processus objet est une partie de entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4482-4491	Processus est une instance de ActivatingADeactivatedAccount entit� est une instance de UserAccount entit� est un patient de processus AccountDeactivated est un attribut de entit� pendant immediatement avant temps d'existence de processus AccountActive est un attribut de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18678-18694	Transf�re est une instance de Bequeathing transf�re est un agent de AutonomousAgent transf�re aboutit � entit� objectTransferred transf�re and AutonomousAgentROP processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de transf�re AutonomousAgent poss�de AutonomousAgentROP pendant immediatement avant temps d'existence de processus confersNorm AutonomousAgent, entit� poss�de AutonomousAgentROP and Permission
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1252-1267	Processus est une instance de Braking entit� est un patient de processus nombre r�el MilesPerHour(s) est AccelerationFn entit�, entit�, entit� and entit� pendant immediatement avant temps d'existence de processus nombre r�el MilesPerHour(s) est AccelerationFn entit�, entit�, entit� and entit� pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit� and entit� entit� est une instance de Lung entit� est une instance de Throat entit� est une instance de objet entit� est une instance de supprimer entit� est une partie de AutonomousAgent entit� est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	Processus est une instance de Cricothyroidotomy entit� est un patient de processus processus a pour but entit� entit� est une instance de ImpairmentFn respirer entit� est un patient de entit� pendant immediatement avant temps d'existence de processus entit� entit� est une instance de ImpairmentFn respirer entit� est un patient de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	Processus est une instance de Sneezing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit�OSE and entit� entit� est une instance de NasalCavity entit�OSE est une instance de Nose entit�OSE est h�te du trou entit� entit� est une instance de objet entit� est une instance de supprimer entit�OSE est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 137-146	Entit� est une instance de Check processus est une instance de ProcessingACheck entit� est un patient de processus processus processus est une instance de DepositingACheck entit� est un patient de processus processus existe pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 391-401	Processus est une instance de ClosingAnAccount entit� est un patient de processus entit� est une instance de FinancialAccount pendant immediatement avant temps d'existence de processus entit� est une instance de FinancialAccount pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4498-4507	Processus est une instance de DeactivatingAnAccount entit� est une instance de UserAccount entit� est un patient de processus AccountDeactivated est un attribut de entit� pendant immediatement apr�s temps d'existence de processus AccountActive est un attribut de entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10244-10259	Processus est une instance de mort AutonomousAgent est une instance de organisme AutonomousAgent exp�rimente processus entit� entit� entit� est le resultat de processus entit� est une instance de objet organique Dead est un attribut de entit� pendant apr�s temps d'existence de processus entit� est une partie de entit� pendant immediatement apr�s temps d'existence de processus entit� est une partie de AutonomousAgent pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4451-4461	Processus est une instance de Forgetting AutonomousAgent exp�rimente processus entit� AutonomousAgent ne conna�t %n{pas} entit� pendant immediatement apr�s temps d'existence de processus AutonomousAgent conna�t entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18620-18638	Processus est une instance de Inheriting processus est un agent de agent cognitif processus a pour origine AutonomousAgent entit� est un patient de processus processus processus est une instance de mort AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que temps d'existence de processus AutonomousAgent poss�de entit� pendant immediatement avant temps d'existence de processus AutonomousAgent autorise agent cognitif � ex�cut� des t�ches du type agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5711-5718	Processus est une instance de Irrigating entit� est un patient de processus entit� est une instance de zone de terre Dry est un attribut de entit� pendant immediatement avant temps d'existence de processus Damp est un attribut de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	Processus est une instance de MovingAwayFromPeople processus est un agent de AutonomousAgent entit� entit�, nombre r�el and nombre r�el entit� est une instance de humain entit� est une instance de UnitOfLength la distance entre processus et AutonomousAgent est nombre r�el entit�(s) pendant immediatement avant temps d'existence de processus la distance entre processus et AutonomousAgent est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	Processus est une instance de MovingTowardsPeople processus est un agent de AutonomousAgent entit� entit�, nombre r�el and nombre r�el entit� est une instance de humain entit� est une instance de UnitOfLength la distance entre processus et AutonomousAgent est nombre r�el entit�(s) pendant immediatement avant temps d'existence de processus la distance entre processus et AutonomousAgent est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5778-5797	Processus est une instance de RelievingPain objet est un patient de processus physique immediatement avant temps d'existence de processus recouvre temps d'existence de physique physique est une instance de Pain physique est situ� � objet physique immediatement apr�s temps d'existence de processus recouvre temps d'existence de physique physique est une instance de Pain physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7847-7861	Processus est une instance de BargainSale entit� est un patient de processus entit� est une instance de objet nombre r�el nombre r�el, entit�, entit� and entit� entit� est une instance de UnitOfCurrency price entit�, nombre r�el entit�(s) and entit� pendant immediatement avant temps d'existence de processus price entit�, nombre r�el entit�(s) and entit� pendant temps d'existence de processus nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objet est une instance de VentedChestSeal transf�re est une instance de attacher objectTransferred transf�re and objet transf�re aboutit � entit� objet a pour but transf�re entit�, entit� and entit� transf�re est une instance de Air entit� est une instance de Lung entit� est une instance de Chest entit� est une partie de entit� entit� est une partie de entit� transf�re est entre entit� et entit� pendant immediatement avant temps d'existence de transf�re objet a pour but transf�re est Outside � entit� pendant immediatement apr�s temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	Proposition est une instance de Argument processus est une instance de raisonner proposition est une instance de Archeology proposition est une sous-proposition de proposition processus exprime le contenu de proposition processus entit�, physique, nombre r�el, entit� and entit� processus est une instance de Discovering physique est une instance de objet physique est un patient de processus processus inclut une r�f�rence � processus temps d'existence de processus arrive plus t�t que temps d'existence de processus l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand que 50 entit� est une surface de entit� entit� est une instance de BodyOfWater physique est Below � entit� entit� est une surface de entit� entit� est une instance de zone de terre physique est Below � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 802-809	status ComputerProcess and ProcessFailure ComputerProcess a pour but formule formule pendant immediatement avant temps d'existence de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4000-4010	confersNorm entit�, entit� and entit� pendant position temporel l'argument entit� n' %n{pas} la force modale de entit� pendant immediatement avant position temporel l'argument entit� a la force modale de entit� pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4022-4031	deprivesNorm entit�, entit� and entit� pendant position temporel l'argument entit� a la force modale de entit� pendant immediatement avant position temporel l'argument entit� n' %n{pas} la force modale de entit� pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1519-1529	Physique est une instance de BleedingAir physique a pour but entit� entit� entit� est une instance de FluidContainer entit� est une instance de Air entit� contient entit� pendant immediatement avant physique entit� ne contient %n{pas} entit� pendant immediatement apr�s physique

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: