TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ProcessedMilk EnglishLanguage "ProcessedMilk is Milk from cows.")	Food.kif 2836-2836
(subclass ProcessedMilk Beverage)	Food.kif 2834-2834	ProcessedMilk 是饮料的 subclass
(subclass ProcessedMilk CowMilk)	Food.kif 2835-2835	ProcessedMilk 是 CowMilk 的 subclass
(subclass ProcessedMilk DairyArtifact)	Food.kif 2833-2833	ProcessedMilk 是乳制品的 subclass

appearance as argument number 2

(relatedInternalConcept Milk ProcessedMilk)	Mid-level-ontology.kif 12195-12195	乳和 ProcessedMilk 是内部相关
(subclass MilkFoam ProcessedMilk)	Food.kif 1228-1228	MilkFoam 是 ProcessedMilk 的 subclass
(subclass OnePercentMilk ProcessedMilk)	Food.kif 2971-2971	OnePercentMilk 是 ProcessedMilk 的 subclass
(subclass SemiSkimmedMilk ProcessedMilk)	Food.kif 2995-2995	SemiSkimmedMilk 是 ProcessedMilk 的 subclass
(subclass SkimmedMilk ProcessedMilk)	Food.kif 3020-3020	SkimmedMilk 是 ProcessedMilk 的 subclass
(subclass TwoPercentMilk ProcessedMilk)	Food.kif 2947-2947	TwoPercentMilk 是 ProcessedMilk 的 subclass
(subclass WholeMilk ProcessedMilk)	Food.kif 2852-2852	WholeMilk 是 ProcessedMilk 的 subclass
(termFormat EnglishLanguage ProcessedMilk "processed milk")	Food.kif 2837-2837	WholeMilk 是 ProcessedMilk 的 subclass

antecedent

(=> (and (instance ?FM FoamingMilk) (instance ?M ProcessedMilk) (patient ?FM ?M)) (exists (?H ?A ?B) (and (instance ?H Heating) (patient ?H ?M) (instance ?A Aerating) (patient ?A ?M) (result ?A ?B) (instance ?B Bubble) (during (WhenFn ?A) (WhenFn ?H)))))	Food.kif 1191-1206	如果过程是 FoamingMilk 的 instance 和实体是 ProcessedMilk 的 instance 和那个实体是那个过程的 patient，然后有存在另一个过程，第三过程， and 和另一个实体这样那个另外过程是加热的 instance 和那个实体是那个另外过程的 patient 和那个第三过程是曝气的 instance 和那个实体是那个第三过程的 patient 和那个另外实体是那个第三过程的 result 和那个另外实体是气泡的 instance 和那个第三过程出现的 time 在那个另外过程出现的 time 时段内发生
(=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?A Aerating) (patient ?A ?M)) (subProcess ?A ?FM))	Food.kif 1219-1226	如果过程是 FoamingMilk 的 instance 和实体是那个过程的 patient 和那个实体是 ProcessedMilk 的 instance 和另一个过程是曝气的 instance 和那个实体是那个另外过程的 patient，然后那个另外过程是那个过程的subProcess
(=> (and (instance ?FM FoamingMilk) (patient ?FM ?M) (instance ?M ProcessedMilk) (instance ?H Heating) (subProcess ?H ?FM) (measure ?M (MeasureFn ?T CelsiusDegree))) (approximateValue ?T 70.0))	Food.kif 1208-1217	如果过程是 FoamingMilk 的 instance 和物理是那个过程的 patient 和那个物理是 ProcessedMilk 的 instance 和另一个过程是加热的 instance 和那个另外过程是那个过程的subProcess 和那个物理的 measure 是实数摄氏度，然后 approximateValue 那个实数 and 70.0
(=> (instance ?PM ProcessedMilk) (exists (?P ?M) (and (instance ?P IntentionalProcess) (instance ?M CowMilk) (patient ?P ?M) (result ?P ?PM))))	Food.kif 2839-2846	如果实体是 ProcessedMilk 的 instance，然后有存在过程和另一个实体这样那个过程是有意图过程的 instance 和那个另外实体是 CowMilk 的 instance 和那个另外实体是那个过程的 patient 和那个实体是那个过程的 result

consequent

(=>
    (instance ?FM FoamingMilk)
    (exists (?M ?MF)
        (and
            (instance ?M ProcessedMilk)
            (instance ?MF MilkFoam)
            (patient ?FM ?M)
            (result ?FM ?MF))))

Food.kif 1182-1189

如果过程是 FoamingMilk 的 instance，
然后有存在实体和那个实体F 这样那个实体是 ProcessedMilk 的 instance 和那个实体F 是 MilkFoam 的 instance 和那个实体是那个过程的 patient 和那个实体F 是那个过程的 result

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

Show without tree

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

KB Term:			Term intersection

English Word: