Loading...

Loading...

Last uploaded:
June 3, 2019

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...

ID |
http://purl.obolibrary.org/obo/BFO_0000004 |

Preferred Name |
independent continuant |

Definitions |
b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002]) |

Type |
http://www.w3.org/2002/07/owl#Class |

isDefinedBy | |

IAO_0000115 | b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002]) |

IAO_0000602 | (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] |

IAO_0000112 | the bottom right portion of a human torso an orchestra. the interior of your mouth an atom a chair a molecule a spatial region a heart an organism a leg |

disjointWith | |

IAO_0000601 | For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002]) For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001]) |

prefixIRI | BFO:0000004 |

definition | b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002]) |

BFO_0000180 | IndependentContinuant |

prefLabel | independent continuant |

BFO_0000179 | ic |

label | independent continuant |

subClassOf | |

disjointWith |

Add comment

Delete | Subject | Author | Type | Created |
---|---|---|---|---|

No notes to display |

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...

Loading...