TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3857-3861
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17304-17310
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17302-17302	Le nombre 1 argument de modalAttribute est une instance de formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17303-17303	Le nombre 2 argument de modalAttribute est une instance de attribut normatif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17298-17298	modalAttribute est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17297-17297	modalAttribute est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17299-17299	modalAttribute est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17300-17300	modalAttribute est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17301-17301	modalAttribute est une sous-relation de property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	english_format.kif 594-594
No TPTP formula. May not be expressible in strict first order.	french_format.kif 353-353
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 192-192
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2100-2100
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 775-775
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 230-230
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 375-375
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 393-393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38199-38199
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 591-591
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38198-38198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38197-38197

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13850-13857	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 17416-17418	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 17479-17481	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 17515-17517	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.	Dining.kif 772-795	AutonomousAgent est une instance de AutonomousAgent potentialCustomer agent cognitif and AutonomousAgent l'argument entit� est une instance de Reserving entit� aboutit � AutonomousAgent a la force modale de Necessity la probabilit� de entit�ES1 entit�ES1 est une instance de Reservation reservingEntity agent cognitif and entit�ES1 fulfillingEntity AutonomousAgent and entit�ES1 pourvu que customer agent cognitif and AutonomousAgent vaut nombre r�el la probabilit� de entit�ES2 entit�ES2 est une instance de Reservation reservingEntity agent cognitif and entit�ES2 fulfillingEntity AutonomousAgent and entit�ES2 pourvu que customer agent cognitif and AutonomousAgent vaut nombre r�el nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processus est une instance de Bleeding entit� est une instance de mort formule est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus formule est Near � AutonomousAgent l'argument processus cause entit� a la force modale de Likely entit� entit� est une instance de attacher entit� est un agent de formule entit� aboutit � AutonomousAgent est oblig� d'ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17312-17316	L'argument formule a la force modale de attribut normatif formule n�cessite formule l'argument formule a la force modale de attribut normatif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13814-13819	L'argument entit� a la force modale de Law pendant interval temporel interval temporel LegislativeBill est un attribut de entit� pendant interval temporel interval temporel arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17529-17531	L'argument formule a la force modale de Likely le probabilit� de truth formule and True est plus grand que le probabilit� de truth formule and False
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17420-17422	L'argument formule a la force modale de Necessity l'argument formule a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17483-17485	L'argument formule a la force modale de Obligation l'argument formule a la force modale de Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17318-17320	L'argument formule a la force modale de Permission l'argument formule a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17537-17539	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 13850-13857	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 17416-17418	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 17479-17481	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 17515-17517	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 14079-14089	agreementClause proposition , deontic attribute, Agreement and agent cognitif deontic attribute est Obligation deontic attribute est Promise l'argument entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	albumCoverImage Album and Image objet est une instance de AlbumCopiesFn Album and DataStorageDevice objet en une partie contient objet l'argument Image est une partie de le devant de objet en une partie a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	allergic humain and substance substanceUB est une instance de substance substanceUB rencontre humain pendant position temporel l'argument entit� entit� est une instance de AllergicReaction humain exp�rimente entit� temps d'existence de entit� recouvre position temporel le d�but de position temporel se produit avant le d�but de temps d'existence de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29458-29463	DeviceDamaged est un attribut de objet objet a pour but formule l'argument formule n' %n{pas} la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29431-29435	DeviceNormal est un attribut de objet objet a pour but formule l'argument formule a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	Maladie ou syndrome est un attribut de objet diseaseTreatment maladie ou syndrome and processus therapeutique processus est une instance de TherpeuticProcess processus est un agent de maladie ou syndromeOC objet est un patient de processus MedicalDoctor est un attribut de maladie ou syndromeOC l'argument processus est une instance de processus therapeutique a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim est un attribut de AutonomousAgent valeur de ce que poss�de AutonomousAgent est mesure de devise l'argument entit� entit�, entit�, entit� and entit� entit� est une instance de Zakat entit� est une instance de ann�e entit� prend place pendant temps d'existence de AutonomousAgent FullyFormed est un attribut de AutonomousAgent pendant entit� entit� est un agent de AutonomousAgent entit� est un patient de entit� valeur de entit� est entit� entit�(s) entit� est une instance de UnitOfCurrency entit� est plus grand que mesure de devise + 0.025 a la force modale de Obligation
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.	ArabicCulture.kif 134-143	Muslim est un attribut de objet objet est capable de faire Hajj dans le r�le agent l'argument entit� entit� est une instance de Hajj entit� est un agent de objet a la force modale de Obligation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute est un attribut de objet objet est une instance de Table processus est une instance de manger processus est un agent de AutonomousAgent AutonomousAgent est une instance de GroupOfPeople eventLocated processus and objet l'argument entit� entit� and objet2 entit� est une instance de manger entit� est un agent de entit� AutonomousAgent est entit� entit� est une instance de GroupOfPeople eventLocated entit� and objet2 temps d'existence de processus rencontre temps d'existence de entit� objet est objet2 a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	Multilingual est un attribut de AutonomousAgent processus est une instance de Speaking processus est un agent de AutonomousAgent l'argument entit� entit� entit� est une instance de SpokenHumanLanguage entit� est une instance de SpokenHumanLanguage entit� est entit� entit� est un patient de processus entit� est un patient de processus a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	WheelchairAccessible est un attribut de objet objet est une instance de immeuble objet est une instance de pi�ce l'argument entit� entit� entit� est une instance de d�palcement entit� est un instrument pour entit� entit� est une instance de Wheelchair eventLocated entit� and objet a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	Organisation est capable de faire ValetParking dans le r�le agent customer agent cognitif and organisation organisation est situ� � objet processus est une instance de Arriving processus est un agent de agent cognitif entit� est un patient de processus processus aboutit � objet humain humain occupe la position de Valet organisation l'argument entit� entit� entit� est une instance de ValetParking entit� est un agent de humain entit� est un patient de entit� entit� aboutit � entit� entit� est une instance de ParkingRegion a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer agent cognitif and AutonomousAgent propertyAmenity AutonomousAgent and physique physique est une sous-classe de processus l'argument entit� entit� and entit� entit� est un appartenir � AutonomousAgent entit� est un agent de AutonomousAgent agent cognitif est un patient de entit� entit� est une instance de physique entit� est une instance de physique entit� est un sous-processus de entit� entit� est situ� � entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18446-18451	defaultMaxValue predicat, nombre entier positif and quantit� predicat @ARGS entit� est nombre entier positifth quantit� est plus grand que entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13536-13545	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 13547-13558	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 13486-13497	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 13566-13575	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 13577-13586	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.	Merge.kif 18429-18434	defaultMinValue predicat, nombre entier positif and quantit� predicat @ARGS entit� est nombre entier positifth entit� est plus grand que quantit� a la force modale de Likely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3170-3170	L'argument AmericansWithDisabilitiesAct-US a la force modale de Law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2407-2407	L'argument AntiterrorismAndEffectiveDeathPenaltyAct a la force modale de Law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2405-2405	L'argument ImmigrationAndNationalityAct-Section219-US a la force modale de Law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2402-2402	L'argument ImmigrationAndNationalityAct-US a la force modale de Law

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

KB Term:			Term intersection

English Word: