(domain temporalPart 2 TimePosition)	Merge.kif 7933-7933	temporalPart の数値 2 引数は 時間位置 の instance では %n
(domain time 2 TimePosition)	Merge.kif 3867-3867	time の数値 2 引数は 時間位置 の instance では %n
(domain visibilityInMeteorology 2 TimePosition)	Weather.kif 2703-2703	visibilityInMeteorology の数値 2 引数は 時間位置 の instance では %n
(domainSubclass agreementAdoptionDate 2 TimePosition)	Government.kif 699-699	agreementAdoptionDate の数値 2 引数は 時間位置 のsubclass では %n
(domainSubclass agreementEffectiveDuring 2 TimePosition)	Government.kif 759-759	agreementEffectiveDuring の数値 2 引数は 時間位置 のsubclass では %n
(domainSubclass agreementRevisionDate 2 TimePosition)	Government.kif 730-730	agreementRevisionDate の数値 2 引数は 時間位置 のsubclass では %n
(domainSubclass dateDissolved 2 TimePosition)	Government.kif 2556-2556	dateDissolved の数値 2 引数は 時間位置 のsubclass では %n
(domainSubclass dateEstablished 2 TimePosition)	Mid-level-ontology.kif 979-979	dateEstablished の数値 2 引数は 時間位置 のsubclass では %n
(domainSubclass dateOpenedForSignature 2 TimePosition)	Geography.kif 3071-3071	dateOpenedForSignature の数値 2 引数は 時間位置 のsubclass では %n
(domainSubclass electionDatePlannedForPosition 2 TimePosition)	Government.kif 1737-1737	electionDatePlannedForPosition の数値 2 引数は 時間位置 のsubclass では %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