Formula

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


(domain holdsDuring 2 Formula) Merge.kif 3751-3751
(domain holdsObligation 1 Formula) Merge.kif 16289-16289
(domain holdsRight 1 Formula) Merge.kif 16269-16269
(domain increasesLikelihood 1 Formula) Merge.kif 2501-2501
(domain increasesLikelihood 2 Formula) Merge.kif 2502-2502
(domain independentProbability 1 Formula) Merge.kif 2538-2538
(domain independentProbability 2 Formula) Merge.kif 2539-2539
(domain knows 2 Formula) Merge.kif 2731-2731
(domain modalAttribute 1 Formula) Merge.kif 16145-16145
(domain permits 2 Formula) Law.kif 35-35
(domain prefers 2 Formula) Merge.kif 2592-2592
(domain prefers 3 Formula) Merge.kif 2593-2593
(domain prohibits 2 Formula) Law.kif 57-57
(domain rateDetail 2 Formula) Hotel.kif 2944-2944
(domain treatedPageDefinition 2 Formula) UXExperimentalTerms.kif 4349-4349
(domain visitorParameter 2 Formula) UXExperimentalTerms.kif 1360-1360


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