Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - subSystem
subSystem

appearance as argument number 1
-------------------------


(documentation subSystem ChineseLanguage "(subSystem ?SUB ?SYSTEM) 的意思是 PhysicalSystem ?SUB 是 PhysicalSystem ?SYSTEM 的一部分。") chinese_format.kif 2387-2388
(documentation subSystem EnglishLanguage "(subSystem ?SUB ?SYSTEM) means that the PhysicalSystem ?SUB is a part of the PhysicalSystem ?SYSTEM.") Merge.kif 6156-6157
(documentation subSystem JapaneseLanguage "(subSystem ?SUB ?SYSTEM) とは、PhysicalSystem ?SUB が PhysicalSystem ?SYSTEM の一部である、という意味である。") japanese_format.kif 1067-1068
(domain subSystem 1 PhysicalSystem) Merge.kif 6153-6153 subSystem の数値 1 引数は PhysicalSysteminstance では
(domain subSystem 2 PhysicalSystem) Merge.kif 6154-6154 subSystem の数値 2 引数は PhysicalSysteminstance では
(instance subSystem BinaryPredicate) Merge.kif 6152-6152 subSystem2進述語instance では

appearance as argument number 2
-------------------------


(format ChineseLanguage subSystem "%2 %n 是 %1 的 sub 系统") domainEnglishFormat.kif 2403-2403
(format ChineseTraditionalLanguage subSystem "%2 %n 是 %1 的 sub 系統") domainEnglishFormat.kif 2402-2402
(format EnglishLanguage subSystem "%2 is %n a sub system of %1") domainEnglishFormat.kif 2401-2401
(termFormat ChineseLanguage subSystem "子系统") domainEnglishFormat.kif 55840-55840
(termFormat ChineseTraditionalLanguage subSystem "子系統") domainEnglishFormat.kif 55839-55839
(termFormat EnglishLanguage subSystem "sub system") domainEnglishFormat.kif 55838-55838

antecedent
-------------------------


(=>
    (and
        (subSystem ?S ?T)
        (routeInSystem ?P ?S))
    (routeInSystem ?P ?T))
Transportation.kif 3345-3349
(=>
    (and
        (subSystem ?SUB ?SYSTEM)
        (systemPart ?PART ?SUB))
    (systemPart ?PART ?SYSTEM))
Merge.kif 6167-6171


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