TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3258-3259
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13139-13140
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13138-13138	D�clarer est une sous-classe de LinguisticCommunication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13036-13036	Communication est compl�tement d�compos� en d�clarer, Supposing, diriger, investir, exprimer, + d�clarer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 894-894	Answering est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29615-29615	Apologizing est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 906-906	Arguing est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29634-29634	Confirming est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29686-29686	Correcting est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13150-13150	Disagreeing est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4180-4180	Misdiagnosing est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16124-16124	Pleading est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Media.kif 125-125	ReachingAgreement est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 882-882	Registering est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2692-2692	SITREP est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 450-450	TerminalAttackControl est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 502-502	TerminalGuidance est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16162-16162	Testifying est une sous-classe de d�clarer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1198-1198
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1613-1613
No TPTP formula. May not be expressible in strict first order.	french_format.kif 876-876
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 409-409
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 412-412
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2560-2560
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 828-828
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 414-414
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 448-448

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13142-13148	Processus est une instance de d�clarer processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de formule AutonomousAgent croit entit� pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14236-14241	Processus est une instance de d�clarer entit� est le resultat de processus entit� est une instance de phrase entit� est une instance de Statement

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29639-29653	Interval temporel est une instance de Confirming interval temporel est un agent de Agreement interval temporel contient information proposition interval temporel ContentBearingPhysical and Agreement2 interval temporel est une instance de d�clarer interval temporel arrive plus t�t que interval temporel ContentBearingPhysical est une instance de ReachingAgreement interval temporel est un agent de Agreement2 ContentBearingPhysical contient information proposition interval temporel contient information proposition partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	Organisation est une instance de GovernmentCabinet organisation est une partie de l'organization le gouvernment de secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique organisation a pour but entit� entit� entit� est une instance de d�clarer entit� est un agent de organisation entit� est un patient de entit� leader entit� and le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	Objet corpusculaire est une instance de ViewItemPage processus est une instance de WebListing processus est un composant de objet corpusculaire entit� est un patient de processus entit� est une instance de physique processus processus and processusCONTENT processus est une instance de d�clarer processus est un patient de processus processus inclut une r�f�rence � entit� processusCONTENT est le resultat de processus processusCONTENT est une partie de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16153-16160	describes formule and objet processus AutonomousAgent processus est une instance de d�clarer processus est un agent de AutonomousAgent formule est un patient de processus processus inclut une r�f�rence � objet
No TPTP formula. May not be expressible in strict first order.	Law.kif 65-78	prohibits AutonomousAgent and entit� pendant interval temporel processus entit� and entit� processus est une instance de d�clarer temps d'existence de processus prend place pendant interval temporel processus est un agent de AutonomousAgent containsFormula processus and entit� est un agent de entit� cause truth entit� and True punishes AutonomousAgent and entit�
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.	UXExperimentalTerms.kif 2043-2052	Objet est une instance de ProductDescriptionPage entit� processus, processus and processusCONTENT entit� est une instance de classe processus est une instance de d�clarer processus est un patient de processus processus inclut une r�f�rence � entit� processusCONTENT est le resultat de processus processusCONTENT est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Law.kif 400-415	trusts agent cognitif, AutonomousAgent and processus intentionnel agent cognitif croit entit� processus intentionnelI and processus intentionnel entit� est une instance de d�clarer containsFormula entit� and processus intentionnelI est une instance de processus intentionnel processus intentionnelI est un agent de AutonomousAgent l'argument processus intentionnelI est une instance de processus intentionnel processus intentionnelI est un agent de AutonomousAgent a la force modale de Likely

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: