Publication - Sigma Knowledge base Browser

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 12893-12895
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12892-12892	Publier est une sous-classe de d�veloppement de contenu
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12891-12891	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 15561-15578	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 14651-14665	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 12900-12905	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 15542-15550	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 14816-14825	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 15841-15848	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 7284-7290	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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