Task: Property Constraint Reasoning (ontology: Sciences/Computer_Science)

The property 'is software for' applies to instances of 'software', and 'iBioSim' is a subclass of 'software'. Which class can appear as the value of 'is software for' for instances of 'iBioSim'?

A. software
B. pathologic distant metastases stage for colon according to AJCC 7th edition
C. audio format
D. TCGA Data Use Certification

Answer: software