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 16906-16908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16904-16904	Le nombre 1 argument de consistent est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16905-16905	Le nombre 2 argument de consistent est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16902-16902	consistent est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16903-16903	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 14149-14163

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 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.	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 13862-13869	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 29691-29703	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 13157-13170	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: