TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3919-3920
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17609-17610
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17608-17608	Unlikely est une instance de ProbabilityAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17596-17596	Likely est l'oppos� de Unlikely
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60478-60478
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60477-60477
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60476-60476

antecedent

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

Merge.kif 17612-17618

L'argument formule a la force modale de Unlikely
le probabilit� de truth formule and False est plus grand que le probabilit� de truth formule and True

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13563-13572	defaultMaximumMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est plus grand que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13574-13585	defaultMaximumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY entit�(s) est plus grand que nombre r�el unit� de mesure(s) a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13513-13524	defaultMaximumSphereRadius objet and nombre r�el unit� de mesure(s) objet est une instance de objet Sphere est un attribut de objet l'argument nombre r�elADIUS sphereRadius objet and nombre r�elADIUS unit� de mesure(s) nombre r�elADIUS est plus grand que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13593-13602	defaultMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est plus grand que nombre r�el + 1.5 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13604-13613	defaultMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est moins que nombre r�el + .5 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13532-13541	defaultMinimumMeasure objet and nombre r�el unit� de mesure(s) unit� de mesure est une instance de CompositeUnitOfMeasure l'argument entit� nombre r�elUANTITY entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY unit� de mesure(s) nombre r�elUANTITY est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13543-13554	defaultMinimumMeasure objet and nombre r�el unit� de mesure(s) classe est une sous-classe de NonCompositeUnitOfMeasure unit� de mesure est une instance de classe l'argument entit� nombre r�elUANTITY and entit� entit� est une instance de objet la mesure de entit� est nombre r�elUANTITY entit�(s) entit� est une instance de classe nombre r�elUANTITY est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13494-13504	defaultMinimumSphereRadius objet and nombre r�el unit� de mesure(s) objet est une instance de objet Sphere est un attribut de objet l'argument nombre r�elADIUS sphereRadius objet and nombre r�elADIUS unit� de mesure(s) nombre r�elADIUS est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2784-2796	Entit� est une instance de COVIDAntibody Covid19 est un attribut de entit� entit� est une partie de entit� pendant position temporel l'argument Covid19 est un attribut de entit� a la force modale de Unlikely pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1581-1591	Processus est une instance de Flooding objet est une instance de zone de terre eventLocated processus and objet point temporel est une instance de point temporel point temporel se produit avant temps d'existence de processus l'argument objet est une instance de SubmergedLandArea pendant point temporel a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9801-9822	Transf�re est une instance de ing�rer AutonomousAgent exp�rimente transf�re objectTransferred transf�re and objet objet est une instance de MoodStabilizer processus est une instance de processusC involvedInEvent processus and AutonomousAgent processusS est un attribut de AutonomousAgent pendant temps d'existence de processus processusS est une instance de �tat �motionnel processus2 est une instance de processusC involvedInEvent processus2 and AutonomousAgent temps d'existence de processus2 arrive plus t�t que temps d'existence de transf�re l'argument processusS est un attribut de AutonomousAgent pendant processus2 a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	Objet en une partie est une instance de LiquidDrop objet en une partie est une surface de objet en une partie l'argument objet en une partieS entit� entit� est une instance de substance Liquid est un attribut de entit� objet en une partie est entit� objet en une partieS est une surface de entit� objet en une partie rencontre objet en une partieS a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29871-29877	approximateValue nombre r�el and nombre r�el l'argument 0.9 est plus grand que nombre r�el + nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29879-29885	approximateValue nombre r�el and nombre r�el l'argument 0.9 est plus grand que nombre r�el + nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 667-675	checkInTime organisation and point temporel l'argument entit� entit� entit� est une instance de point temporel entit� est une instance de CheckInService entit� est un agent de organisation le d�but de temps d'existence de entit� se produit avant entit� a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13392-13401	defaultMaximumHeight objet and nombre r�el unit� de mesure(s) l'argument entit� nombre r�elEIGHT entit� est une instance de objet la hauteur de entit� est nombre r�elEIGHT unit� de mesure(s) nombre r�elEIGHT est plus grand que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13458-13467	defaultMaximumLength objet and nombre r�el unit� de mesure(s) l'argument entit� nombre r�elENGTH entit� est une instance de objet le longueur de entit� est nombre r�elENGTH unit� de mesure(s) nombre r�elENGTH est plus grand que unit� de mesure a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13425-13434	defaultMaximumWidth objet and nombre r�el unit� de mesure(s) l'argument entit� nombre r�elIDTH entit� est une instance de objet la largeur de entit� est nombre r�elIDTH unit� de mesure(s) nombre r�elIDTH est plus grand que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13376-13384	defaultMinimumHeight objet and nombre r�el unit� de mesure(s) l'argument entit� nombre r�elEIGHT entit� est une instance de objet la hauteur de entit� est nombre r�elEIGHT unit� de mesure(s) nombre r�elEIGHT est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13442-13450	defaultMinimumLength objet and nombre r�el unit� de mesure(s) l'argument entit� nombre r�elENGTH entit� est une instance de objet le longueur de entit� est nombre r�elENGTH unit� de mesure(s) nombre r�elENGTH est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13409-13417	defaultMinimumWidth objet and nombre r�el unit� de mesure(s) l'argument entit� nombre r�elIDTH entit� est une instance de objet la largeur de entit� est nombre r�elIDTH unit� de mesure(s) nombre r�elIDTH est moins que nombre r�el a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Law.kif 422-430	distrusts agent cognitif, AutonomousAgent and processus intentionnel agent cognitif croit l'argument processus intentionnelI processus intentionnelI est une instance de processus intentionnel processus intentionnelI est un agent de AutonomousAgent a la force modale de Unlikely

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: