DevelopmentalAttribute - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4020-4021
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18137-18138
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18136-18136	完全成型是所有的发育属性的 attributes
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18135-18135	发育属性是生物属性的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18140-18140	完全成型是发育属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18152-18152	没有完全形成是发育属性的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 189-189	病毒是发育属性的 instance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1260-1260
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1741-1741
No TPTP formula. May not be expressible in strict first order.	french_format.kif 938-938
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 474-474
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 477-477
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2622-2622
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 890-890
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 513-513
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 959-959
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 478-478

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14323-14323	发育形态的 2 数量是发育属性的 instance
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 223-223	生命阶段实现的 2 数量是发育属性的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 241-246

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 18158-18163