propertyStatus

P34351
predicate

Indicates the current condition, state, or classification assigned to a property within a given context (e.g., availability, legal standing, or operational state).

Try in SPARQL

All labels observed (4)

Label Occurrences
realEstateStatus 5
propertyStatus canonical 4
propertyVerified 4

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: propertyStatus
Generated description
Indicates the current condition, state, or classification assigned to a property within a given context (e.g., availability, legal standing, or operational state).

Sample triples (14)

Subject Object
National University Corporation university assets owned by the corporation ⓘ
Jennings family sparsely populated atoll ⓘ
Lutyens Bungalow Zone one of the most expensive residential areas in India via predicate surface "realEstateStatus" ⓘ
Alipore one of the most expensive areas in Kolkata via predicate surface "realEstateStatus" ⓘ
Squire Gresham declining via predicate surface "estateCondition" ⓘ
Point Piper one of the most expensive suburbs in Australia via predicate surface "realEstateStatus" ⓘ
Point Piper among the most expensive residential areas in Sydney via predicate surface "realEstateStatus" ⓘ
Adiala Road area emerging residential investment area via predicate surface "realEstateStatus" ⓘ
Bridget Hyde major landholder ⓘ
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
functional correctness via predicate surface "propertyVerified" ⓘ
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
memory safety via predicate surface "propertyVerified" ⓘ
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
control-flow integrity at the kernel level via predicate surface "propertyVerified" ⓘ
“seL4: Formal Verification of an OS Kernel”
surface form: seL4: Formal Verification of an OS Kernel
information-flow related security properties (in later extensions building on the paper) via predicate surface "propertyVerified" ⓘ
Golden Nugget Companies original assets later sold to other operators ⓘ