TreeView Knowledge Base Browser - Publication

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Publication

Publication(publier)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3222-3223
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12869-12871
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12868-12868	Publier est une sous-classe de d�veloppement de contenu
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12867-12867	Publier est une sous-classe de manufacture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1188-1188
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1593-1593
No TPTP formula. May not be expressible in strict first order.	french_format.kif 866-866
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 398-398
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 401-401
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2550-2550
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 818-818
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 403-403
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 437-437
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 887-887
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 402-402

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15537-15554	nombre entier positif de objet exprimant un sens est objet exprimant un sens nombre entier positif de objet exprimant un sens est objet exprimant un sens nombre entier positif est plus grand que nombre entier positif processus est une instance de publier processus est une instance de publier entit� est une instance de objet exprimant un sens entit� est une instance de objet exprimant un sens entit� est un patient de processus entit� est un patient de processus la date de processus est jour la date de processus est jour la fin de jour se produit avant la fin de jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14623-14637	Series est une sous-classe de periodique le volume nombre entier positif dans les s�ries series est texte le volume nombre entier positif dans les s�ries series est texte nombre entier positif est plus grand que nombre entier positif processus est une instance de publier processus est une instance de publier entit� est une instance de texte entit� est une instance de texte entit� est un patient de processus entit� est un patient de processus la date de processus est jour la date de processus est jour la fin de jour se produit avant la fin de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12876-12881	Processus est une instance de publier entit� entit� est une instance de texte entit� est un patient de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15518-15526	Organisation publie texte entit� est une instance de texte processus processus est une instance de publier processus est un agent de organisation entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14788-14797	Classe est une sous-classe de Newspaper position temporel est une instance de semaine processus entit� processus est une instance de publier temps d'existence de processus est une partie de position temporel entit� est le resultat de processus entit� est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15813-15820	AutonomousAgent est une instance de PeriodicalPublisher processus entit� processus est une instance de publier processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de periodique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7256-7262	AutonomousAgent est une instance de Publisher processus processus est une instance de CommercialService processus est un agent de AutonomousAgent processus est une instance de publier

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