VerbPhrase - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VerbPhrase ChineseLanguage "这是有着和 Verb 一样功能的 Phrase。")	chinese_format.kif 3546-3546
(documentation VerbPhrase EnglishLanguage "A Phrase that has the same function as a Verb.")	Merge.kif 15363-15364
(subclass VerbPhrase Phrase)	Merge.kif 15362-15362	Verb phrase is a subclass of phrase

appearance as argument number 2

(disjoint NounPhrase VerbPhrase)	Merge.kif 15374-15374	Noun phrase is disjoint from verb phrase
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)	Merge.kif 15348-15348	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat ChineseLanguage VerbPhrase "动词短语")	chinese_format.kif 1035-1035	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat EnglishLanguage VerbPhrase "verb phrase")	english_format.kif 1282-1282	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat FrenchLanguage VerbPhrase "syntagme verbal")	french_format.kif 713-713	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat Hindi VerbPhrase "kriyaa vaakyaansha")	terms-hindi.txt 245-245	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat ItalianLanguage VerbPhrase "SintagmaVerbale")	terms-it.txt 248-248	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat JapaneseLanguage VerbPhrase "動詞句")	japanese_format.kif 2396-2396	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat PortugueseLanguage VerbPhrase "Sintagma Verbal")	portuguese_format.kif 665-665	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat cb VerbPhrase " berbong mugbong pinulongan")	terms-cb.txt 250-250	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat cz VerbPhrase "verb phrase")	terms-cz.txt 283-283	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat ro VerbPhrase "grup verbal")	relations-ro.kif 734-734	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(termFormat tg VerbPhrase "Pariralang Pandiwa")	terms-tg.txt 249-249	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase

antecedent

(=>
    (instance ?PHRASE VerbPhrase)
    (exists (?VERB)
        (and
            (instance ?VERB Verb)
            (part ?VERB ?PHRASE))))

Merge.kif 15366-15371

If an object is an instance of verb phrase,
then there exists another object such that the other object is an instance of verb and the other object is a part of the object

consequent

(=>
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
        (and
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))

Merge.kif 15378-15385

If an object is an instance of sentence,
then there exist another object and a third object such that the other object is an instance of noun phrase and the third object is an instance of verb phrase and the other object is a part of the object and the third object is a part of the object

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

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: