appearance as argument number 1

(subrelation travelPolicyClause policyClause)	TravelPolicies.kif 304-304	travelPolicyClause is a subrelation of policy clause
(instance travelPolicyClause QuaternaryPredicate)	TravelPolicies.kif 305-305	travelPolicyClause is an instance of quaternary predicate

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners