TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3784-3785
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16928-16930
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16926-16926	Le nombre 1 argument de consistent est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16927-16927	Le nombre 2 argument de consistent est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16924-16924	consistent est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16925-16925	consistent est une instance de relation sym�trique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 536-536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 535-535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 534-534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16698-16698
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16697-16697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16696-16696

antecedent

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

Mid-level-ontology.kif 14148-14162

Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est un agent de agent cognitif processus exprime le contenu de proposition consistent proposition and Agreement
l'argument entit� entit� est une instance de action l�gale plaintiff entit� and agent cognitif defendant entit� and agent cognitif a la force modale de Possibility

consequent

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.	MilitaryProcesses.kif 2244-2252	Processus est une instance de CivilAffairsOperation processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de nation proposition est une instance de RegionalLawFn secteur g�opolitique processus exprime le contenu de proposition consistent proposition and proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13861-13868	Processus est une instance de CriminalAction formule proposition and proposition l'argument formule a la force modale de Law formule contient information proposition processus exprime le contenu de proposition consistent proposition and proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29679-29691	Processus est une instance de Correcting processus processus, processusP and processusP processus est une instance de Disagreeing processus est un sous-processus de processus processus est une instance de d�clarer processus est un sous-processus de processus processus contient information processusP processus contient information processusP processusP inclut une r�f�rence � processusP consistent processusP and processusP
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13179-13192	Processus est une instance de Disagreeing AutonomousAgent AutonomousAgent, processus, processus, proposition and proposition processus est un sous-processus de processus processus est un sous-processus de processus processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent AutonomousAgent est AutonomousAgent processus contient information proposition processus contient information proposition consistent proposition and proposition

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

KB Term:			Term intersection

English Word: