(domain holdsDuring 2 Formula)	Merge.kif 3882-3882	holdsDuring の数値 2 引数は 公式 の instance では %n
(domain holdsObligation 1 Formula)	Merge.kif 17446-17446	holdsObligation の数値 1 引数は 公式 の instance では %n
(domain holdsRight 1 Formula)	Merge.kif 17426-17426	holdsRight の数値 1 引数は 公式 の instance では %n
(domain increasesLikelihood 1 Formula)	Merge.kif 2596-2596	increasesLikelihood の数値 1 引数は 公式 の instance では %n
(domain increasesLikelihood 2 Formula)	Merge.kif 2597-2597	increasesLikelihood の数値 2 引数は 公式 の instance では %n
(domain independentProbability 1 Formula)	Merge.kif 2633-2633	independentProbability の数値 1 引数は 公式 の instance では %n
(domain independentProbability 2 Formula)	Merge.kif 2634-2634	independentProbability の数値 2 引数は 公式 の instance では %n
(domain knows 2 Formula)	Merge.kif 2826-2826	knows の数値 2 引数は 公式 の instance では %n
(domain modalAttribute 1 Formula)	Merge.kif 17302-17302	modalAttribute の数値 1 引数は 公式 の instance では %n
(domain permits 2 Formula)	Law.kif 22-22	permits の数値 2 引数は 公式 の instance では %n
(domain prefers 2 Formula)	Merge.kif 2687-2687	prefers の数値 2 引数は 公式 の instance では %n
(domain prefers 3 Formula)	Merge.kif 2688-2688	prefers の数値 3 引数は 公式 の instance では %n
(domain prohibits 2 Formula)	Law.kif 44-44	prohibits の数値 2 引数は 公式 の instance では %n
(domain rateDetail 2 Formula)	Hotel.kif 2989-2989	rateDetail の数値 2 引数は 公式 の instance では %n
(domain says 2 Formula)	Merge.kif 2846-2846	says の数値 2 引数は 公式 の instance では %n
(domain treatedPageDefinition 2 Formula)	UXExperimentalTerms.kif 4142-4142	treatedPageDefinition の数値 2 引数は 公式 の instance では %n
(domain visitorParameter 2 Formula)	UXExperimentalTerms.kif 1163-1163	visitorParameter の数値 2 引数は 公式 の instance では %n

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