Query

Help
?X part ?Yfind facts with part relationship
?X is ?Yfind facts by type
?X has ?propfind facts that have a property
?X has ?prop ?valfind facts with property value
find <substring>search fact paths
transitive <fact> [part|is]follow transitive chain
ruleslist inference rules

Variables start with ?. Join conditions with AND.