TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Answering EnglishLanguage "Responding to a Questioning, i.e. trying to answer someone's question.")	Mid-level-ontology.kif 888-889
(subclass Answering Stating)	Mid-level-ontology.kif 887-887	Answering は記載の subclass では %n

appearance as argument number 2

(termFormat ChineseLanguage Answering "回答中")	domainEnglishFormat.kif 7728-7728
(termFormat ChineseTraditionalLanguage Answering "回答中")	domainEnglishFormat.kif 7727-7727
(termFormat EnglishLanguage Answering "answering")	domainEnglishFormat.kif 7726-7726

antecedent

(=>
    (instance ?ANSWER Answering)
    (exists (?QUESTION)
        (and
            (instance ?QUESTION Questioning)
            (refers ?ANSWER ?QUESTION)
            (earlier
                (WhenFn ?QUESTION)
                (WhenFn ?ANSWER)))))

Mid-level-ontology.kif 891-897

物理は Answering の instance では %n
物理物理は質問の instance では %n 物理は物理への reference を includes %n{ない} 物理の time の existence は物理の time の existence より earlier happens %n{ない}

consequent

(=> (dayPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 6) (lessThan ?Num 18) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely)))))))	FinancialOntology.kif 3691-3711	dayPhone 記号文字列 and AutonomousAgent Telephone エンティティー and 実数 phoneNumber 記号文字列 and Telephone 実数は 6 より greater では　%n 実数は 18 より less では %n エンティティーエンティティーは Telephoning の instance では %n エンティティーは AutonomousAgent に ends %n{ない} Telephone はエンティティーの patient では %n AutonomousAgent は Telephone を possesses %n{ない} ステートメントエンティティーエンティティーは Answering の instance では %n エンティティーはエンティティー% の subprocess では %n AutonomousAgent はエンティティーの agent では %n には Likely の modal force があるはエンティティーは実数 hour 目の instance では %n の during holds %n{ない}
(=> (eveningPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 18) (lessThan ?Num 6) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely)))))))	FinancialOntology.kif 3735-3755	eveningPhone 記号文字列 and AutonomousAgent Telephone エンティティー and 実数 phoneNumber 記号文字列 and Telephone 実数は 18 より greater では　%n 実数は 6 より less では %n エンティティーエンティティーは Telephoning の instance では %n エンティティーは AutonomousAgent に ends %n{ない} Telephone はエンティティーの patient では %n AutonomousAgent は Telephone を possesses %n{ない} ステートメントエンティティーエンティティーは Answering の instance では %n エンティティーはエンティティー% の subprocess では %n AutonomousAgent はエンティティーの agent では %n には Likely の modal force があるはエンティティーは実数 hour 目の instance では %n の during holds %n{ない}

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: