hasFormalization

URI: https://gptkb.org/prop/hasFormalization
2 triples
GPTKB property
Random triples
Subject Object
gptkb:general_extensional_mereology gptkb:axiomatic_system
gptkb:general_extensional_mereology gptkb:first-order_logic