TreeView Knowledge Base Browser - Replication

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Replication

Replication(Reproducao)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2916-2917
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10335-10336
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1665-1666
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11757-11757
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11758-11758
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10230-10230
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10333-10333	Reproducao e' uma sub-classe de Processo Organico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10367-10367	Reproducao Assexual e' uma sub-classe de Reproducao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10352-10352	Reproducao Sexual e' uma sub-classe de Reproducao
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1083-1083
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1377-1377
No TPTP formula. May not be expressible in strict first order.	french_format.kif 761-761
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 293-293
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 296-296
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2445-2445
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 713-713
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 332-332
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 782-782
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 297-297

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10338-10343	Processo e' uma instancia de Reproducao Processo e' um agente de Organismo Organismo e' o resultado de Processo Organismo e' um genitor de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14512-14520	AutonomousAgent e' uma instancia de Virus Processo e' uma instancia de Reproducao Processo e' um agente de AutonomousAgent Objeto Processo e' situado em Objeto Objeto e' uma instancia de Celula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10345-10350	Processo e' uma instancia de Reproducao Entidade Entidade e' uma instancia de Corpo Reprodutor Entidade e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5846-5858	Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo Movimento Processo and AutonomousAgent Movimento e' uma instancia de Translocation moves Movimento and AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo e' uma instancia de Reproducao AutonomousAgent experimenta Processo Movimento e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12646-12650	Objeto e' uma instancia de QueenInsect Female e' um atributo de Objeto Objeto e' capaz de fazer Reproducao no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12652-12664	Fisico e' uma instancia de QueenInsect Colecao Colecao e' uma instancia de Grupo Fisico e' membro de Colecao Objeto Objeto e' membro de Colecao Objeto e' capaz de fazer Reproducao no role agent Objeto e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10247-10254	Entidade e' uma instancia de MonoclonalAntibody Objeto Processo Processo e' uma instancia de Reproducao Objeto e' uma instancia de WhiteBloodCell Objeto e' um recurso para Processo Entidade e' o resultado de Processo

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