Formula(formula)

-------------------------


(domain holdsDuring 2 Formula) Merge.kif 3882-3882 The number 2 argument of holds during is an instance of formula
(domain holdsObligation 1 Formula) Merge.kif 17446-17446 The number 1 argument of holds obligation is an instance of formula
(domain holdsRight 1 Formula) Merge.kif 17426-17426 The number 1 argument of holds right is an instance of formula
(domain increasesLikelihood 1 Formula) Merge.kif 2596-2596 The number 1 argument of increases likelihood is an instance of formula
(domain increasesLikelihood 2 Formula) Merge.kif 2597-2597 The number 2 argument of increases likelihood is an instance of formula
(domain independentProbability 1 Formula) Merge.kif 2633-2633 The number 1 argument of independent probability is an instance of formula
(domain independentProbability 2 Formula) Merge.kif 2634-2634 The number 2 argument of independent probability is an instance of formula
(domain knows 2 Formula) Merge.kif 2826-2826 The number 2 argument of knows is an instance of formula
(domain modalAttribute 1 Formula) Merge.kif 17302-17302 The number 1 argument of modal attribute is an instance of formula
(domain permits 2 Formula) Law.kif 22-22 The number 2 argument of permits is an instance of formula
(domain prefers 2 Formula) Merge.kif 2687-2687 The number 2 argument of prefers is an instance of formula
(domain prefers 3 Formula) Merge.kif 2688-2688 The number 3 argument of prefers is an instance of formula
(domain prohibits 2 Formula) Law.kif 44-44 The number 2 argument of prohibits is an instance of formula
(domain rateDetail 2 Formula) Hotel.kif 2989-2989 The number 2 argument of rate detail is an instance of formula
(domain says 2 Formula) Merge.kif 2846-2846 The number 2 argument of says is an instance of formula
(domain treatedPageDefinition 2 Formula) UXExperimentalTerms.kif 4142-4142 The number 2 argument of treated page definition is an instance of formula
(domain visitorParameter 2 Formula) UXExperimentalTerms.kif 1163-1163 The number 2 argument of visitor profile parameter is an instance of formula


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners