IrreflexiveRelation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation IrreflexiveRelation ChineseLanguage "Relation ?REL 属于非自反关系当且仅当没有一个?INST 是(?REL ?INST ?INST)。")	chinese_format.kif 1835-1836
(documentation IrreflexiveRelation EnglishLanguage "Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.")	Merge.kif 2247-2248
(documentation IrreflexiveRelation JapaneseLanguage "Relation ?REL は、(?REL ?INST ?INST) に?INSTの値がない場合のみ非再帰的である。")	japanese_format.kif 455-456
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png")	pictureList.kif 8550-8550
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png")	pictureList.kif 9356-9356
(subclass IrreflexiveRelation BinaryRelation)	Merge.kif 2245-2245	非反射関係は 2項関係の subclass では

appearance as argument number 2

(instance ancestor IrreflexiveRelation)	Merge.kif 16507-16507	ancestor は非反射関係の instance では
(instance ancestorOrganization IrreflexiveRelation)	Mid-level-ontology.kif 25814-25814	ancestorOrganization は非反射関係の instance では
(instance antagonistMuscles IrreflexiveRelation)	Mid-level-ontology.kif 11991-11991	antagonistMuscles は非反射関係の instance では
(instance attribute IrreflexiveRelation)	Merge.kif 1711-1711	attribute は非反射関係の instance では
(instance before IrreflexiveRelation)	Merge.kif 8195-8195	before は非反射関係の instance では
(instance brother IrreflexiveRelation)	Merge.kif 16660-16660	brother は非反射関係の instance では
(instance classmate IrreflexiveRelation)	Mid-level-ontology.kif 18196-18196	classmate は非反射関係の instance では
(instance colleague IrreflexiveRelation)	Mid-level-ontology.kif 18217-18217	colleague は非反射関係の instance では
(instance conjugate IrreflexiveRelation)	Mid-level-ontology.kif 7428-7428	conjugate は非反射関係の instance では
(instance connectedEngineeringComponents IrreflexiveRelation)	Merge.kif 16254-16254	connectedEngineeringComponents は非反射関係の instance では
(instance customer IrreflexiveRelation)	Mid-level-ontology.kif 8878-8878	customer は非反射関係の instance では
(instance decreasesLikelihood IrreflexiveRelation)	Merge.kif 2611-2611	decreasesLikelihood は非反射関係の instance では
(instance diplomaticRelations IrreflexiveRelation)	Government.kif 4505-4505	diplomaticRelations は非反射関係の instance では
(instance disjointRelation IrreflexiveRelation)	Merge.kif 403-403	disjointRelation は非反射関係の instance では
(instance during IrreflexiveRelation)	Merge.kif 8405-8405	during は非反射関係の instance では
(instance earlier IrreflexiveRelation)	Merge.kif 8467-8467	earlier は非反射関係の instance では
(instance exportPartner IrreflexiveRelation)	Economy.kif 2610-2610	exportPartner は非反射関係の instance では
(instance finishes IrreflexiveRelation)	Merge.kif 8137-8137	finishes は非反射関係の instance では
(instance finishesDuring IrreflexiveRelation)	Merge.kif 8172-8172	finishesDuring は非反射関係の instance では
(instance graphPart IrreflexiveRelation)	Merge.kif 5897-5897	graphPart は非反射関係の instance では
(instance greaterThan IrreflexiveRelation)	Merge.kif 1840-1840	greaterThan は非反射関係の instance では
(instance hindersSubclass IrreflexiveRelation)	Merge.kif 4320-4320	hindersSubclass は非反射関係の instance では
(instance hostileForces IrreflexiveRelation)	Mid-level-ontology.kif 9628-9628	hostileForces は非反射関係の instance では
(instance husband IrreflexiveRelation)	Merge.kif 16730-16730	husband は非反射関係の instance では
(instance importPartner IrreflexiveRelation)	Economy.kif 2995-2995	importPartner は非反射関係の instance では

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation)) (instance ?REL AsymmetricRelation))	Merge.kif 2282-2286	エンティティーは反対称関係の instance ではエンティティーは非反射関係の instance ではエンティティーは非対称関係の instance では
(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (?REL ?INST ?INST))))	Merge.kif 2250-2254	エンティティーは非反射関係の instance ではエンティティーエンティティーエンティティー and エンティティー

consequent

(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))

Merge.kif 2276-2280

エンティティーは非対称関係の instance では
エンティティーは反対称関係の instance ではエンティティーは非反射関係の instance では

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: