Allotrope Merged Ontology Suite

Last uploaded: April 4, 2024
Jump to:
loading...
Preferred Name

proposition
Synonyms

assertion

content

statement
Definitions

A proposition is an information content entity that is statement or assertion that has a truth value. [Allotrope]
ID

http://purl.allotrope.org/ontologies/result#AFR_0000991
alternative label

assertion

content

statement
definition

A proposition is an information content entity that is statement or assertion that has a truth value. [Allotrope]
is universal class

true
isDefinedBy

http://purl.allotrope.org/voc/afo/REC/2024/03/aft
label

proposition
note

true

A proposition is an information content entity that is statement or assertion that has a truth value. [Allotrope]
preferred label

proposition
prefixIRI

af-r:AFR_0000991
source

http://www.ei.sanken.osaka-u.ac.jp/pub/miz/Part3V3.pdf
subClassOf

http://purl.obolibrary.org/obo/IAO_0000030
Add comment
Add proposal
Delete Subject Author Type Created
No notes to display
Create mapping

Delete Mapping To Ontology Source
http://semanticscience.org/resource/proposition MATERIALSMINE LOOM
http://semanticscience.org/resource/SIO_000256 SIO LOOM
http://www.ifomis.org/acgt/1.0#Proposition ACGT-MO LOOM
http://www.owl-ontologies.com/Ontology1184060740.owl#OWLClass_2579c158_db35_499c_a17f_47700d01980a EXACT LOOM
http://neurolog.unice.fr/ontoneurolog/v3.0/ontoneurolog-extension-of-dolce.owl#proposition ONL-MSA LOOM
http://neurolog.unice.fr/ontoneurolog/v3.0/ontoneurolog-extension-of-dolce.owl#proposition OntoVIP LOOM
http://neurolog.unice.fr/ontoneurolog/v3.0/ontoneurolog-extension-of-dolce.owl#proposition ONL-MR-DA LOOM
http://neurolog.unice.fr/ontoneurolog/v3.0/ontoneurolog-extension-of-dolce.owl#proposition ONL-DP LOOM
http://semanticscience.org/resource/SIO_000256 HHEARP LOOM
http://semanticscience.org/resource/SIO_000256 CHEAR LOOM
http://semanticscience.org/resource/SIO_000256 BIOMO LOOM
http://semanticscience.org/resource/SIO_000256 SCO LOOM
http://semanticscience.org/resource/SIO_000256 HHEAR LOOM
http://semanticscience.org/resource/SIO_000256 GSSO LOOM
http://semanticscience.org/resource/SIO_000256 HASCO LOOM
http://purl.obolibrary.org/obo/SEPIO_0000000 SEPIO LOOM
http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Proposition SITBAC LOOM
http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Proposition OGDI LOOM
http://swrl.stanford.edu/ontologies/built-ins/3.3/temporal.owl#Proposition BCGO LOOM
http://www.limics.fr/ontologies/menelastop#Proposition TOP-MENELAS LOOM